+2007-11-24 Joel E. Denny <jdenny@ces.clemson.edu>
+
+ In the XML output, list useless and unused symbols and rules with the
+ useful ones and add a "usefulness" attribute. Discussed starting at
+ <http://lists.gnu.org/archive/html/bison-patches/2007-09/msg00017.html>.
+ * src/gram.c (grammar_rules_partial_print_xml): Remove.
+ (grammar_rules_print_xml): Print all rules instead of just those
+ useful in the grammar, and add a "usefulness" attribute.
+ * src/gram.h (grammar_rules_partial_print_xml): Remove prototype.
+ * src/print-xml.c (print_rules_useless_in_parser): Remove.
+ (print_grammar): Print all nonterminals instead of just useful ones,
+ and add a "usefulness" attribute to nonterminals and terminals.
+ (print_xml): Don't print a separate "reductions" or
+ "rules-useless-in-parser" element.
+ * src/reduce.c (reduce_output): Use reduce_token_unused_in_grammar.
+ (reduce_xml): Remove.
+ (reduce_token_unused_in_grammar): New.
+ (reduce_nonterminal_useless_in_grammar): New.
+ * src/reduce.h (reduce_xml): Remove prototype.
+ (reduce_token_unused_in_grammar): Add prototype.
+ (reduce_nonterminal_useless_in_grammar): Add prototype.
+ * data/xslt/xml2text.xsl: Update for XML changes.
+ * data/xslt/xml2xhtml.xsl: Update for XML changes.
+ * tests/reduce.at (Useless Terminals): Update output.
+ (Useless Rules): Update output.
+ (Reduced Automaton): Update output.
+
+ Say "Terminals unused in grammar" instead of "Unused terminals".
+ * NEWS (2.3a+): Update.
+ * doc/bison.texinfo (Understanding): Update example output.
+ * src/reduce.c (reduce_output): Implement.
+ * data/xslt/xml2text.xsl: Implement.
+ * data/xslt/xml2xhtml.xsl: Implement.
+
+2007-11-18 Joel E. Denny <jdenny@ces.clemson.edu>
+
+ Accept --report-file=FILE to override the default `.output' filename.
+ * NEWS (2.3a+): Mention.
+ * doc/bison.texinfo (Bison Options): Add an entry.
+ * src/files.c (compute_output_file_names): Don't override
+ spec_verbose_file if already set.
+ * src/getargs.c (usage): Document --report-file.
+ (REPORT_FILE_OPTION): New anonymous enum member.
+ (long_options): Add entry for it.
+ (getargs): Add case for it setting spec_verbose_file.
+
+ * build-aux/cross-options.pl: Don't record a short option just because
+ there's an arg.
+ * doc/.cvsignore: Add yacc.1.
+
+2007-11-14 Akim Demaille <akim@epita.fr>
+
+ * doc/yacc.1.in: New.
+ * configure.ac, doc/Makefile.am: Adjust.
+ * configure.ac (PACKAGE_COPYRIGHT_YEAR): New substitution, and new
+ config.h symbol.
+ Use AC_SUBST for assignments too.
+ * src/getargs.c (version): Use PACKAGE_COPYRIGHT_YEAR.
+
+2007-11-10 Joel E. Denny <jdenny@ces.clemson.edu>
+
+ * src/gram.c: Remove comments that duplicate comments in gram.h.
+
+ When reporting useless rules and nonterminals, say "useless in grammar"
+ instead of "useless", and say "useless in parser" instead of "never
+ reduced". Discussed starting at
+ <http://lists.gnu.org/archive/html/bison-patches/2007-10/msg00033.html>.
+ * NEWS (2.3a+): Mention this change.
+ * data/xslt/xml2text.xsl: Update output text and expected input XML
+ element names to match changes below.
+ * data/xslt/xml2xhtml.xsl: Likewise.
+ (xsl:template match="bison-xml-report"): Add missing entry in Table of
+ Contents: "Rules useless in parser due to conflicts".
+ * doc/bison.texinfo (Decl Summary): Reword a little.
+ (Understanding): Update example output for changes below.
+ * src/gram.c: (rule_useful_p): Rename to...
+ (rule_useful_in_grammar_p): ... this.
+ (rule_useless_p): Rename to...
+ (rule_useless_in_grammar_p): ... this.
+ (rule_never_reduced_p): Rename to...
+ (rule_useless_in_parser_p): ... this.
+ (grammar_rules_print): Update for renames.
+ (grammar_rules_print_xml): Update for renames.
+ (grammar_rules_never_reduced_report): Rename to...
+ (grammar_rules_useless_report): ... this since it is used for either
+ kind of useless rule.
+ * src/gram.h: Reword comments and update function names in prototypes.
+ * src/main.c (main): Say "rule useless in parser due to conflicts".
+ * src/print-xml.c (print_rules_never_reduced): Rename to...
+ (print_rules_useless_in_parser): ... this, and rename output XML
+ element "rules-never-reduced" to "rules-useless-in-parser".
+ (print_xml): Update for rename.
+ * src/print.c (print_results): Say "Rules useless in parser due to
+ conflicts".
+ * src/reduce.c (reduce_grammar_tables): Say "rule useless in grammar".
+ (nonterminals_reduce): Say "nonterminal useless in grammar".
+ (reduce_output): Say "Nonterminals useless in grammar".
+ Say "Rules useless in grammar".
+ (reduce_xml): Rename output XML element "useless" to
+ "useless-in-grammar".
+ (reduce_print): Don't report the count of grammatically useless rules
+ as "rules never reduced" just because %yacc is specified.
+ In the correct report of this count, say nonterminal(s) and rule(s)
+ "useless in grammar".
+ * tests/conflicts.at (S/R in initial): Update expected output.
+ (Defaulted Conflicted Reduction): Likewise.
+ (Unreachable States After Conflict Resolution): Likewise.
+ * tests/existing.at (GNU pic Grammar): Likewise.
+ * tests/reduce.at (Useless Nonterminals): Likewise.
+ (Useless Rules): Likewise.
+ (Reduced Automaton): Likewise.
+ (Underivable Rules): Likewise.
+ (Empty Language): Likewise.
+
+2007-11-09 Joel E. Denny <jdenny@ces.clemson.edu>
+
+ * data/bison.m4 (b4_cat): Put a newline after the end delimiter of the
+ here document and before the EOF so that BSD's implementation of Bourne
+ shell doesn't parse the delimiter as part of the here document.
+ * doc/.cvsignore: Add cross-options.texi.
+ * src/getargs.c (usage): Add a blank line after the warning categories.
+
+2007-11-08 Paolo Bonzini <bonzini@gnu.org>
+
+ * data/lalr1.java (Lexer): Remove usage of b4_pure_if.
+
+2007-11-05 Akim Demaille <akim@epita.fr>
+
+ Remove Id: from bison.1.
+ * doc/Makefile.am (remove_time_stamp): Include the sed invocation.
+ (perl -0777 -pi -e 's/\.PP\nId): New.
+ (.x.1): Use it to ignore the version control revision.
+
2007-11-05 Akim Demaille <demaille@gostai.com>
* build-aux/Makefile.am: Ship cross-options.pl.
projects / bison.git / blobdiff