]> git.saurik.com Git - bison.git/blobdiff - ChangeLog
Update
[bison.git] / ChangeLog
index c019e7da31f793338a1e8e3594502092585ee69d..a26be138b0b3ac8e34ab210d9f9117a4a670614e 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
+2001-08-30  Pascal Bart  <pascal.bart@epita.fr>
+
+       * src/main.c: Include macrotab.h.
+       * src/macrotab.h (macro_entry_s): Constify fields. 
+       Adjust functions prototypes.
+       * src/macrotab.c (macro_insert): Constify key and value.
+       (macro_find): Constify key.
+       (macro_insert): Include 'xalloc.h'
+       (macro_insert): Use XMALLOC.
+       (macro_find): Constify return value.
+       * src/output.c (output_table_data): Rename table to table_data.
+       (output_parser): Constify macro_key, macro_value.
+
+2001-08-30  Marc Autret  <autret_m@epita.fr>
+
+       * src/reader.c (parse_skel_decl): New.
+       (read_declarations): Add case `tok_skel', call parse_skel_decl (). 
+       * src/lex.h (token_t): New token `tok_skel'.
+       * src/lex.c (percent_table): Add skeleton option entry.
+       Standardize.
+
+2001-08-29  Marc Autret  <autret_m@epita.fr>
+
+       * src/bison.simple: Add %%user_code directive at the end.
+       * src/reader.c (read_additionnal_code): New.
+       (reader): Use it.
+       * src/output.c (output_program): Remove.
+       (output): Update.
+
+2001-08-28  Marc Autret  <autret_m@epita.fr>
+
+       * src/output.c (output_actions): Clean up.
+       (output_gram): CPP-out useless code.
+       * src/reader.c (reader): Clean up, CPP-out useless code.
+
+2001-08-28  Pascal Bart  <pascal.bart@epita.fr>
+
+       * src/output.c (output): Copy attrs_obstack in the '%%definitions' 
+       directive.
+       * src/bison.simple: Add `%%definitions'.
+
+2001-08-28  Marc Autret  <autret_m@epita.fr>
+
+       * config/depcomp: New file.
+
+2001-08-27  Paul Eggert  <eggert@twinsun.com>
+
+       * src/bison.simple (yyparse): Don't take the address of an
+       item before the start of an array, as that doesn't conform to
+       the C Standard.
+
+2001-08-27  Robert Anisko  <robert.anisko@epita.fr>
+
+       * src/output.c (output): Remove the initialization of the macro
+       obstack.  It was done too late here.
+
+       * src/reader.c (parse_macro_decl): Fix.  Use of the macro obstack was
+       completely wrong.
+       (reader): Initialize the macro obstack here, since we need it to grow
+       '%define' directives.
+
+       * src/reader.h: Declare the macro obstack as extern.
+
+2001-08-27  Robert Anisko  <robert.anisko@epita.fr>
+
+       * src/output.c (output_parser): Fix.  Store single '%' characters in
+       the output obstack instead of throwing them away.
+
+2001-08-27  Akim Demaille  <akim@epita.fr>
+
+       * Makefile.am (AUTOMAKE_OPTIONS): 1.5.
+
+2001-08-25  Robert Anisko  <robert.anisko@epita.fr>
+
+       * lib/Makefile.am: Adjust.
+
+2001-08-25  Robert Anisko  <robert.anisko@epita.fr>
+
+       * src/bison.simple: Update and add '%%' directives.
+
+2001-08-25  Robert Anisko  <robert.anisko@epita.fr>
+
+       * src/reader.c (reader): Remove calls to 'output_headers' and
+       'output_trailers'. Remove some C output.
+       (readgram): Disable a piece of code that was writing a default
+       definition for 'YYSTYPE'.
+       (reader_output_yylsp): Remove.
+       (packsymbols): Output token defintions to a macro.
+       (copy_definition): Disable C output.
+
+       * src/reader.c (parse_macro_decl): New function used to parse macro
+       declarations.
+       (copy_string2): Put the body of copy_string into this new function.
+       Add a parameter to let the caller choose whether he wants to copy the
+       string delimiters or not.
+       (copy_string): Be a simple call to copy_string2 with the last argument
+       bound to true.
+       (read_declarations): Add case for macro definition.
+       (copy_identifier): New.
+       (parse_macro_decl): Read macro identifiers using copy_identifier
+       rather than lex.
+
+2001-08-25  Robert Anisko  <robert.anisko@epita.fr>
+
+       * src/output.c (prepare): Add prefixed names.
+       (output_parser): Output semantic actions.
+       (output_parser): Fix bug on '%%line' directives.
+
+       * src/output.c (output_headers): Remove. The C code printed by this
+       function should now be in the skeletons.
+       (output_trailers): Remove.
+       (output): Disable call to 'reader_output_yylsp'.
+       (output_rule_data): Do not output tables to the table obstack.
+
+       * src/output.c: Remove some C dedicated output.
+       Improve the use of macro and output obstacks.
+       (output_defines): Remove.
+
+       * src/output.c (output_token_translations): Associate 'translate'
+       table with a macro. No output to the table obstack.
+       (output_gram): Same for 'rhs' and 'prhs'.
+       (output_stos): Same for 'stos'.
+       (output_rule_data): Same for 'r1' and 'r2'.
+       (token_actions): Same for 'defact'.
+       (goto_actions): Same for 'defgoto'.
+       (output_base): Same for 'pact' and 'pgoto'.
+       (output_table): Same for 'table'.
+       (output_check): Same for 'check'.
+
+       * src/output.c (output_table_data): New function.
+       (output_short_table): Remove.
+       (output_short_or_char_table): Remove.
+
+       * src/output.c (output_parser): Replace most of the skeleton copy code
+       with something new. Skeletons are now processed character by character
+       rather than line by line, and Bison looks for '%%' macros. This is the
+       first step in making Bison's output process (a lot) more flexible.
+       (output_parser): Use the macro table.
+
+2001-08-25  Robert Anisko  <robert.anisko@epita.fr>
+
+       * src/main.c (main): Initialize the macro table.
+
+2001-08-25  Robert Anisko  <robert.anisko@epita.fr>
+
+       * src/lex.c (percent_table): Add tok_define.
+       * src/lex.h: Add tok_define.
+
+2001-08-25  Robert Anisko  <robert.anisko@epita.fr>
+
+       * src/macrotab.c: New file.
+       * src/macrotab.h: New file.
+       * src/Makefile.am: Update.
+
+2001-08-25  Robert Anisko  <robert.anisko@epita.fr>
+
+       * lib/hash.c: New file.
+       * lib/hash.h: New file.
+       * lib/Makefile.am: Update.
+
+2001-08-15  Akim Demaille  <akim@epita.fr>
+
+       Version 1.28c.
+
+2001-08-15  Marc Autret  <autret_m@epita.fr>
+
+       * src/reader.c (readgram): Indent output macro YYSTYPE.
+       (packsymbols): Likewise.
+       (output_token_defines): Likewise.
+       * src/files.c: Standardize.
+       (compute_header_macro): New.
+       (defines_obstack_save): New. Use compute_header_macro.
+       (output_files): Update. Use defines_obstack_save.
+
+2001-08-15  Akim Demaille  <akim@epita.fr>
+
+       * doc/bison.texinfo (Table of Symbols): Document
+       YYSTACK_USE_ALLOCA.
+
+2001-08-15  Akim Demaille  <akim@epita.fr>
+
+       * missing: Update from CVS Automake.
+       * config/config.guess, config/config.sub, config/texinfo.tex:
+       Update from gnu.org.
+
+2001-08-15  Akim Demaille  <akim@epita.fr>
+
+       * Makefile.maint: Sync with CVS Autoconf.
+
+2001-08-14  Pascal Bart  <pascal.bart@epita.fr>
+
+       * doc/bison.texinfo: Include GNU Free Documentation License from
+       `fdl.texi'.
+       * doc/fdl.texi: Add to package.
+
+2001-08-14  Marc Autret  <autret_m@epita.fr>
+
+       Turn on %{source,header}_extension features.
+
+       * src/lex.c (percent_table): Un-CPP out header_extension and
+       source_extension.
+       * src/files.c (compute_exts_from_gf): Compare pointers with NULL.
+       (compute_exts_from_src): Remove conditions. It restores priorities
+       between options.
+
+2001-08-14  Marc Autret  <autret_m@epita.fr>
+
+       * src/files.c (compute_base_names): Add extensions computing when
+       `--file-prefix' used.
+       Standardize function calls.
+
+2001-08-13  Marc Autret  <autret_m@epita.fr>
+
+       * src/bison.simple (YYSTACK_USE_ALLOCA): Changed to allow users
+       defining it (defined but null disables alloca).
+
+2001-08-13  Marc Autret  <autret_m@epita.fr>
+
+       * src/bison.simple (_yy_memcpy): CPP reformat.
+
+2001-08-13  Pascal Bart  <pascal.bart@epita.fr>
+
+       * tests/atconfig.in (CPPFLAGS): Fix.
+
+2001-08-10  Pascal Bart  <pascal.bart@epita.fr>
+
+       * doc/bison.texinfo: Include GNU General Public License from
+       `gpl.texi'.
+       * doc/gpl.texi: Add to package.
+
+2001-08-10  Marc Autret  <autret_m@epita.fr>
+
+       * src/print_graph.h: Fix.
+       * src/reader.c (read_declarations): Use parse_header_extension_decl ().
+
+2001-08-10  Akim Demaille  <akim@epita.fr>
+
+       * src/system.h: Provide default declarations for stpcpy, strndup,
+       and strnlen.
+
+2001-08-10  Robert Anisko  <anisko_r@epita.fr>
+
+       * doc/bison.texinfo (Locations): Update @$ stuff.
+
+2001-08-09  Robert Anisko  <anisko_r@epita.fr>
+
+       * src/bison.simple (YYLLOC_DEFAULT): Update.
+       (yyparse): Adjust.
+
+2001-08-08  Marc Autret  <autret_m@epita.fr>
+
+       * doc/bison.texinfo: Change @samp{$<@dots{}>} to
+       @samp{$<@dots{}>@var{n}} in Section Actions in Mid-Rule.
+       Reported by Fabrice Bauzac.
+
+2001-08-08  Marc Autret  <autret_m@epita.fr>
+
+       * src/vcg_default.h: Use NULL instead of 0 to initialize pointers.
+       * src/vcg.c (output_node): Fix.
+       * src/vcg.h: Cleanup.
+       * src/print_graph.c: Add comments.
+       (node_output_size): New global variable. Simplify the formatting of
+       the VCG graph output.
+       (print_actions): Unused code is now used. It notifies the final state
+       and no action states in the VCG graph. It also give the reduce actions.
+       The `shift and goto' edges are red and the `go to state' edges are
+       blue.
+       Get the current node name and node_obstack by argument.
+       (node_obstack): New variable.
+       (print_state): Manage node_obstack.
+       (print_core): Use node_obstack given by argument.
+       A node is not only computed here but in print_actions also.
+       (print_graph): CPP out useless code instead of commenting it.
+
+2001-08-07  Pascal Bart  <pascal.bart@epita.fr>
+
+       * tests/atconfig.in (CPPFLAGS): Fix.
+
+2001-08-07  Akim Demaille  <akim@epita.fr>
+
+       * src/print_graph.c (quote): New.
+       (print_core): Use it.
+
+2001-08-06  Akim Demaille  <akim@epita.fr>, Marc Autret  <autret_m@epita.fr>
+
+       * src/vcg.c (complain.h): Include it.
+       Unepitaize `return' invocations.
+       [NDEBUG] (main): Remove.
+       * src/vcg.h (node_t, edge_t, graph_t): Constify the char * members.
+       * src/files.c (open_files): Initialize graph_obstack.
+       * src/print_graph.c (print_actions): CPP out useless code.
+       (print_core): Don't output the last `\n' in labels.
+       Use `quote'.
+       * src/files.c (output_files): Output the VCG file.
+       * src/main.c (main): Invoke print_graph ();
+
+2001-08-06  Marc Autret  <autret_m@epita.fr>
+
+       Automaton VCG graph output.
+       Using option ``-g'' or long option ``--graph'', you can generate
+       a gram_filename.vcg file containing a VCG description of the LALR (1)
+       automaton of your grammar.
+
+       * src/main.c: Call to print_graph() function.
+       * src/getargs.h: Update.
+       * src/getargs.c (options): Update to catch `-g' and `--graph' options.
+       (graph_flag): New flag.
+       (longopts): Update.
+       (getargs): Add case `g'.
+       * src/files.c (graph_obstack): New obstack struct.
+       (open_files): Initialize new obstack.
+       (output_files): Saves graph_obstack if required.
+       * src/files.h (graph_obstack): New extern declaration.
+       * src/Makefile.am: Add new source files.
+
+2001-08-06  Marc Autret   <autret_m@epita.fr>
+
+       * src/print_graph.c, src/print_graph.h (graph): New.
+       * src/vcg.h: New file.
+       * src/vcg.c: New file, VCG graph handling.
+
+2001-08-06  Marc Autret  <autret_m@epita.fr>
+
+       Add of %source_extension and %header_extension which specify
+       the source or/and the header output file extension.
+
+       * src/files.c (compute_base_names): Remove initialisation of
+       src_extension and header_extension.
+       (compute_exts_from_gf): Update.
+       (compute_exts_from_src): Update.
+       (output_files): Update.
+       * src/reader.c (parse_header_extension_decl): New.
+       (parse_source_extension_decl): New.
+       (read_declarations): New case statements for the new tokens.
+       * src/lex.c (percent_table): Add entries for %source_extension
+       and %header_extension.
+       * src/lex.h (token_e): New tokens tok_hdrext and tok_srcext.
+
+2001-08-06  Marc Autret  <autret_m@epita.fr>
+
+       * configure.in: Bump to 1.28c.
+       * doc/bison.texinfo: Texinfo thingies.
+
+2001-08-04  Pascal Bart  <pascal.bart@epita.fr>
+
+       * tests/atconfig.in (CPPFLAGS): Add.
+       * tests/calc.at (AT_CHECK): Use CPPFLAGS.
+
+2001-08-03  Akim Demaille  <akim@epita.fr>
+
+       Version 1.28b.
+
+2001-08-03  Akim Demaille  <akim@epita.fr>
+
+       * tests/Makefile.am (check-local): Ship testsuite.
+       * tests/calc.at (_AT_DATA_CALC_Y): Prototype all the functions.
+       Include `string.h'.
+
+2001-08-03  Akim Demaille  <akim@epita.fr>
+
+       * configure.in: Try using -Wformat when compiling.
+
+2001-08-03  Akim Demaille  <akim@epita.fr>
+
+       * configure.in: Bump to 1.28b.
+
+2001-08-03  Akim Demaille  <akim@epita.fr>
+
+       * src/complain.c: Adjust strerror_r portability issues.
+
+2001-08-03  Akim Demaille  <akim@epita.fr>
+
+       Version 1.28a.
+
+2001-08-03  Akim Demaille  <akim@epita.fr>
+
+       * src/getargs.c, src/getarg.h (skeleton)): Constify.
+       * src/lex.c (literalchar): Avoid name clashes on `buf'.
+       * src/getargs.c: Include complain.h.
+       * src/files.c, src/files.h (skeleton_find): Avoid name clashes.
+       * lib/quotearg.c, lib/quotearg.h: Update from fileutils 4.1.
+
+2001-08-03  Akim Demaille  <akim@epita.fr>
+
+       * src/reader.c (readgram): Display hidden chars in error messages.
+
+2001-08-03  Akim Demaille  <akim@epita.fr>
+
+       Update to gettext 0.10.39.
+
+2001-08-03  Akim Demaille  <akim@epita.fr>
+
+       * lib/strspn.c: New.
+
+2001-08-01  Marc Autret  <autret_m@epita.fr>
+
+       * doc/bison.texinfo: Update.
+       * doc/bison.1 (mandoc): Update.
+       * src/system.h (EXT_GUARD_C, EXT_STYPE_H): Remove .c and .h.
+       * src/files.c: Support output files extensions computing.
+       (src_extension): New static variable.
+       (header_extension): New static variable.
+       (tr): New function.
+       (get_extension_index): New function, gets the index of an extension
+       filename in a string.
+       (compute_exts_from_gf): New function, computes extensions from the
+       grammar file extension.
+       (compute_exts_from_src): New functions, computes extensions from the
+       C source file extension, file given by ``-o'' option.
+       (compute_base_names): Update.
+       (output_files): Update.
+
+2001-08-01  Robert Anisko  <anisko_r@epita.fr>
+
+       * doc/bison.texi: Document @$.
+       (Locations): New section.
+
+2001-07-18  Akim Demaille  <akim@epita.fr>
+
+       * Makefile.maint, GNUmakefile: New, from Autoconf 2.52.
+       * config/prev-version.txt, config/move-if-change: New.
+       * Makefile.am: Adjust.
+
+2001-07-08  Pascal Bart  <pascal.bart@epita.fr>
+
+       * src/bison.simple (yyparse): Suppress warning `comparaison
+       between signed and unsigned'.
+
+2001-07-05  Pascal Bart  <pascal.bart@epita.fr>
+
+       * src/getargs.h (raw_flag): Remove.
+       * src/getargs.c: Die on `-r'/`--raw'.
+       * src/lex.c (parse_percent_token): Die on `%raw'.
+       * src/reader.c (output_token_defines): Suppress call to `raw_flag'.
+       * tests/calc.at: Suppress test with option `--raw'.
+
+2001-07-14  Akim Demaille  <akim@epita.fr>
+
+       * config/: New.
+       * configure.in: Require Autoconf 2.50.
+       Update to gettext 0.10.38.
+
+2001-03-16  Akim Demaille  <akim@epita.fr>
+
+       * doc/bison.texinfo: ANSIfy the examples.
+
+2001-03-16  Akim Demaille  <akim@epita.fr>
+
+       * getargs.c (skeleton): New variable.
+       (longopts): --skeleton is a new option.
+       (shortopts, getargs): -S is a new option.
+       * getargs.h: Declare skeleton.
+       * output.c (output_parser): Use it.
+
+2001-03-16  Akim Demaille  <akim@epita.fr>
+
+       * m4/strerror_r.m4: New.
+       * m4/error.m4: Run AC_FUNC_STRERROR_R.
+       * lib/error.h, lib/error.c: Update.
+
+2001-03-16  Akim Demaille  <akim@epita.fr>
+
+       * src/getargs.c (longopts): Clean up.
+
+2001-02-21  Akim Demaille  <akim@epita.fr>
+
+       * src/reader.c (gensym): `gensym_count' is your own.
+       Use a static buf to create the symbol name, as token_buffer is no
+       longer a buffer.
+
+2001-02-08  Akim Demaille  <akim@epita.fr>
+
+       * src/conflicts.c (conflict_report): Be sure not to append to res
+       between two calls, which could happen if both first sprintf were
+       skipped, but not the first cp += strlen.
+
+2001-02-08  Akim Demaille  <akim@epita.fr>
+
+       * lib/memchr.c, lib/stpcpy.c, lib/strndup.c, lib/strnlen.c:
+       New, from fileutils 4.0.37.
+       * configure.in: Require Autoconf 2.49c.  I took some time before
+       making this decision.  This is the only way out for portability
+       issues in Bison, it would mean way too much duplicate effort to
+       import in Bison features implemented in 2.49c since 2.13.
+       AC_REPLACE_FUNCS and AC_CHECK_DECLS the functions above.
+
+2001-02-02  Akim Demaille  <akim@epita.fr>
+
+       * lib/malloc.c, lib/realloc.c: New, from the fileutils 4.0.37.
+       * lib/xalloc.h, lib/xmalloc.c: Update.
+
+2001-01-19  Akim Demaille  <akim@epita.fr>
+
+       Get rid of the ad hoc handling of token_buffer in the scanner: use
+       the obstacks.
+
+       * src/lex.c (token_obstack): New.
+       (init_lex): Initialize it.  No longer call...
+       (grow_token_buffer): this.  Remove it.
+       Adjust all the places which used it to use the obstack.
+
+2001-01-19  Akim Demaille  <akim@epita.fr>
+
+       * src/lex.h: Rename all the tokens:
+       s/\bENDFILE\b/tok_eof/g;
+       s/\bIDENTIFIER\b/tok_identifier/g;
+       etc.
+       Let them be enums, not #define, to ease debugging.
+       Adjust all the code.
+
+2001-01-18  Akim Demaille  <akim@epita.fr>
+
+       * src/lex.h (MAXTOKEN, maxtoken, grow_token_buffer): Remove, private.
+       * src/lex.c (maxtoken, grow_token_buffer): Static.
+
+2001-01-18  Akim Demaille  <akim@epita.fr>
+
+       Since we now use obstacks, more % directives can be enabled.
+
+       * src/lex.c (percent_table): Also accept `%yacc',
+       `%fixed_output_files', `%defines', `%no_parser', `%verbose', and
+       `%debug'.
+       Handle the actions for `%semantic_parser' and `%pure_parser' here,
+       instead of returning a token.
+       * src/lex.h (SEMANTIC_PARSER, PURE_PARSER): Remove, unused.
+       * src/reader.c (read_declarations): Adjust.
+       * src/files.c (open_files): Don't call `compute_base_names', don't
+       compute `attrsfile' since they depend upon data which might be
+       *in* the input file now.
+       (output_files): Do it here.
+       * src/output.c (output_headers): Document the fact that this patch
+       introduces a guaranteed SEGV for semantic parsers.
+       * doc/bison.texinfo: Document them.
+       * tests/suite.at: Exercise these %options.
+
+2000-12-20  Akim Demaille  <akim@epita.fr>
+
+       Also handle the output file (--verbose) with obstacks.
+
+       * files.c (foutput): Remove.
+       (output_obstack): New.
+       Adjust all dependencies.
+       * src/conflicts.c: Return a string.
+       * src/system.h (obstack_grow_string): Rename as...
+       (obstack_sgrow): this.  Be ready to work with non literals.
+       (obstack_fgrow4): New.
+
+2000-12-20  Akim Demaille  <akim@epita.fr>
+
+       * src/files.c (open_files): Fix the computation of short_base_name
+       in the case of `-o foo.tab.c'.
+
+2000-12-20  Akim Demaille  <akim@epita.fr>
+
+       * src/reader.c (copy_string, copy_comment, copy_comment2, copy_at)
+       (copy_dollar): Now that everything uses obstacks, get rid of the
+       FILE * parameters.
+
+2000-12-20  Akim Demaille  <akim@epita.fr>
+
+       * src/files.c (open_files): Actually the `.output' file is based
+       on the short_base_name, not base_name.
+       * tests/suite.at (Checking output file names): Adjust.
+
+2000-12-20  Akim Demaille  <akim@epita.fr>
+
+       * src/bison.s1: Remove, we now use directly...
+       * src/bison.simple: this.
+       * src/Makefile.am: Use pkgdata instead of data.
+
+2000-12-20  Akim Demaille  <akim@epita.fr>
+
+       * src/files.c (guard_obstack): New.
+       (open_files): Initialize it.
+       (output_files): Dump it...
+       * src/files.h: Export it.
+       * src/reader.c (copy_guard): Use it.
+
+2000-12-19  Akim Demaille  <akim@epita.fr>
+
+       * src/files.c (outfile, defsfile, actfile): Removed as global
+       vars.
+       (open_files): Don't compute them.
+       (output_files): Adjust.
+       (base_name, short_base_name): Be global.
+       Adjust dependencies.
+
+2000-12-19  Akim Demaille  <akim@epita.fr>
+
+       * src/files.c (strsuffix): New.
+       (stringappend): Be just like strcat but allocate.
+       (base_names): Eve out from open_files.
+       Try to simplify the rather hairy computation of base_name and
+       short_base_name.
+       (open_files): Use it.
+       * tests/suite.at (Checking output file names): New test.
+
+2000-12-19  Akim Demaille  <akim@epita.fr>
+
+       * src/system.h (obstack_grow_literal_string): Rename as...
+       (obstack_grow_string): this.
+       * src/output.c (output_parser): Recognize `%% actions' instead of
+       `$'.
+       * src/bison.s1: s/$/%% actions/.
+       * src/bison.hairy: Likewise.
+
+2000-12-19  Akim Demaille  <akim@epita.fr>
+
+       * src/output.c (output_parser): Compute the `#line' lines when
+       there are.
+       * src/Makefile.am (bison.simple): Be a simple copy of bison.s1.
+       Suggested by Hans Aberg.
+
+2000-12-19  Akim Demaille  <akim@epita.fr>
+
+       Let the handling of the skeleton files be local to the procedures
+       that use it.
+
+       * src/files.c (xfopen, xfclose, skeleton_find, guardfile): No
+       longer static.
+       (fparser, open_extra_files): Remove.
+       (open_files, output_files): Don't take care of fparser.
+       * src/files.h: Adjust.
+       * src/output.c (output_parser): Open and close the file to the
+       skeleton.
+       * src/reader.c (read_declarations): When %semantic_parser, open
+       fguard.
+
+2000-12-19  Akim Demaille  <akim@epita.fr>
+
+       * src/file.h (BISON_SIMPLE, BISON_HAIRY): Move from here...
+       * src/system.h (BISON_SIMPLE, BISON_HAIRY): ... to here.
+
+2000-12-19  Akim Demaille  <akim@epita.fr>
+
+       * src/files.c (open_files): Yipee!  We no longer need all the code
+       looking for `/tmp' since we have no tmp file.
+
+2000-12-19  Akim Demaille  <akim@epita.fr>
+
+       * src/system.h (EXT_TAB, EXT_OUTPUT, EXT_STYPE_H, EXT_GUARD_C):
+       New macros.
+       * src/files.c (open_files): Less dependency on MSDOS etc.
+
+2000-12-14  Akim Demaille  <akim@epita.fr>
+
+       * src/bison.s1 (YYLLOC_DEFAULT): New macro.
+       Provide a default definition.
+       Use it when executing the default @ action.
+       * src/reader.c (reader_output_yylsp): No longer include
+       `timestamp' and `text' in the default YYLTYPE.
+
+2000-12-12  Akim Demaille  <akim@epita.fr>
+
+       * src/reader.c (copy_definition, parse_union_decl, copy_action)
+       (copy_guard): Quote the file names.
+       Reported by Laurent Mascherpa.
+
+2000-12-12  Akim Demaille  <akim@epita.fr>
+
+       * src/output.c (output_headers, output_program, output): Be sure
+       to escape special characters when outputting filenames.
+       (ACTSTR_PROLOGUE, ACTSTR_EPILOGUE): Remove.
+       (output_headers): Don't depend on them, Use ACTSTR.
+
+2000-11-17  Akim Demaille  <akim@epita.fr>
+
+       * lib/obstack.h: Formatting changes.
+       (obstack_grow, obstack_grow0): Don't cast WHERE at all: it
+       prevents type checking.
+       (obstack_ptr_grow, obstack_ptr_grow_fast): When assigning, don't
+       cast the value to (void *): assigning a `foo *' to a `void *'
+       variable is valid.
+       (obstack_int_grow, obstack_int_grow_fast): Don't cast AINT to int.
+       * src/reader.c (parse_union_decl): Typo: use obstack_1grow to
+       append characters.
+
+2000-11-17  Akim Demaille  <akim@epita.fr>
+
+       * tests/Makefile.am (suite.m4, regression.m4, calc.m4): Rename
+       as...
+       (suite.m4, regression.m4, calc.m4): these.
+       * tests/atgeneral.m4: Update from CVS Autoconf.
+
+2000-11-17  Akim Demaille  <akim@epita.fr>
+
+       * tests/regression.m4 (%union and --defines): New test,
+       demonstrating a current bug in the obstack implementation.
+
+2000-11-17  Akim Demaille  <akim@epita.fr>
+
+       * src/bison.s1 (_YY_DECL_VARIABLES, YY_DECL_VARIABLES): New
+       macros.
+       Use them to declare the variables which are global or local to
+       `yyparse'.
+
+2000-11-17  Akim Demaille  <akim@epita.fr>
+
+       * acconfig.h: Remove, no longer used.
+
+2000-11-07  Akim Demaille  <akim@epita.fr>
+
+       * src: s/Copyright (C)/Copyright/g.
+
+2000-11-07  Akim Demaille  <akim@epita.fr>
+
+       * src/reader.c (reader): #define YYLSP_NEEDED to 1 instead of just
+       defining.
+       * src/bison.s1: s/#ifdef YYLSP_NEEDED/#if YYLSP_NEEDED/.
+
+2000-11-07  Akim Demaille  <akim@epita.fr>
+
+       * src/bison.s1 (YYLEX): Use #if instead of #ifdef.
+       Merge in a single CPP if/else.
+
+2000-11-07  Akim Demaille  <akim@epita.fr>
+
+       * src/output.c (output): Remove useless variables.
+       * lib/obstack.c (obstack_grow, obstack_grow0): Rename the second
+       argument `data' for consistency with the prototypes.
+       Qualify it `const'.
+       (obstack_copy, obstack_copy0): Rename the second argument as
+       `address' for consistency.  Qualify it `const'.
+       * lib/obstack.h (obstack_copy, obstack_copy0, obstack_grow)
+       (obstack_grow0, obstack_ptr_grow, obstack_ptr_grow_fast): Qualify
+       `const' their input argument (`data' or `address').
+       Adjust the corresponding macros to include `const' in casts.
+
+2000-11-03  Akim Demaille  <akim@epita.fr>
+
+       * src/Makefile.am (INCLUDES): s/PFILE/BISON_SIMPLE/.
+       s/PFILE1/BISON_HAIRY/.
+       Adjust dependencies.
+
+2000-11-03  Akim Demaille  <akim@epita.fr>
+
+       For some reason, this was not applied.
+
+       * src/files.c [VMS]: No longer include `ssdef.h', no longer define
+       `unlink': it's no longer used.
+
+2000-11-03  Akim Demaille  <akim@epita.fr>
+
+       * src/files.c (skeleton_find): New function, eved out of...
+       (open_files, open_extra_files): here.
+
+2000-11-03  Akim Demaille  <akim@epita.fr>
+
+       Don't use `atexit'.
+
+       * src/files.c (obstack_save): New function.
+       (done): Rename as...
+       (output_files): this.
+       Use `obstack_save'.
+       * src/main.c (main): Don't use `atexit' to register `done', since
+       it no longer has to remove tmp files, just call `output_files'
+       when there are no errors.
+
+2000-11-02  Akim Demaille  <akim@epita.fr>
+
+       * src/files.c [VMS]: No longer include `ssdef.h', no longer define
+       `unlink': it's no longer used.
+       * src/files.h: Formatting changes.
+
+2000-11-02  Akim Demaille  <akim@epita.fr>
+
+       Remove the last uses of mktemp and unlink/delete.
+
+       * src/files.c (fdefines, ftable): Removed.
+       (defines_ostack, table_obstack): New.
+       Adjust dependencies of the former into uses of the latter.
+       * src/output.c (output_short_or_char_table, output_short_table):
+       Convert to using obstacks.
+       * src/reader.c (copy_comment2): Accept one FILE * and two
+       obstacks.
+       (output_token_defines, reader_output_yylsp): Use obstacks.
+       * src/system.h (obstack_fgrow3): New.
+
+2000-11-01  Akim Demaille  <akim@epita.fr>
+
+       Change each use of `fattrs' into a use of `attrs_obstack'.
+
+       * src/reader.c (copy_at): Typo: s/yylloc/yyloc/.
+       * src/files.c (fattrs): Remove.
+       (attrs_obstack): New.
+       Adjust all dependencies.
+       (done): If SEMANTIC_PARSER, dump attrs_obstack into attrsfile.
+
+2000-11-01  Akim Demaille  <akim@epita.fr>
+
+       Introduce obstacks.
+       Change each use of `faction' into a use of `action_obstack'.
+
+       * lib/obstack.h, lib/obstack.c: New files.
+       * src/files.c (faction): Remove.
+       (action_obstack): New.
+       Adjust all dependencies.
+
+2000-10-20  Akim Demaille  <akim@epita.fr>
+
+       * lib/quote.h (PARAMS): New macro.  Use it.
+
+2000-10-16  Akim Demaille  <akim@epita.fr>
+
+       * src/output.c (output_short_or_char_table): New function.
+       (output_short_table, output_token_translations): Use it.
+       (goto_actions): Use output_short_table.
+
+2000-10-16  Akim Demaille  <akim@epita.fr>
+
+       * src/symtab.c (bucket_new): New function.
+       (getsym): Use it.
+
+       * src/output.c (output_short_table): New argument to display the
+       comment associated with the table.
+       Adjust dependencies.
+       (output_gram): Use it.
+       (output_rule_data): Nicer output layout for YYTNAME.
+
+2000-10-16  Akim Demaille  <akim@epita.fr>
+
+       * src/lex.c (read_typename): New function.
+       (lex): Use it.
+       * src/reader.c (copy_dollar): Likewise.
+
+2000-10-16  Akim Demaille  <akim@epita.fr>
+
+       * src/reader.c (copy_comment2): Expect the input stream to be on
+       the `/' which is suspected to open a comment, instead of being
+       called after `//' or `/*' was read.
+       (copy_comment, copy_definition, parse_union_decl, copy_action)
+       (copy_guard): Adjust.
+
+2000-10-16  Akim Demaille  <akim@epita.fr>
+
+       * src/reader.c (parse_expect_decl): Use `skip_white_space' and
+       `read_signed_integer'.
+
+2000-10-16  Akim Demaille  <akim@epita.fr>
+
+       * src/reader.c (copy_dollar): New function.
+       (copy_guard, copy_action): Use it.
+
+2000-10-16  Akim Demaille  <akim@epita.fr>
+
+       * lib/quote.h, lib/quote.c, lib/quotearg.h, lib/quotearg.c:
+       * m4/prereq.m4, m4/c-bs-a.m4, m4/mbstate.m4:
+       New files, from Fileutils 4.0.27.
+       * src/main.c (printable_version): Remove.
+       * src/lex.c, src/reader.c: Use `quote'.
+
+2000-10-04  Akim Demaille  <akim@epita.fr>
+
+       * lib/error.c, lib/error.h: New files, needed by xmalloc.c.
+
+2000-10-04  Akim Demaille  <akim@epita.fr>
+
+       * doc/bison.texinfo: Various typos spotted by Neil Booth.
+
+2000-10-04  Akim Demaille  <akim@epita.fr>
+
+       When a literal string is used to define two different tokens,
+       `bison -v' segfaults.
+       Reported by Piotr Gackiewicz, and fixed by Neil Booth.
+
+       * tests/regression.m4: New file.
+       Include the core of the sample provided by Piotr Gackiewicz.
+       * src/reader.c (parse_token_decl): Diagnose bad cases, and proceed
+       properly.
+
+2000-10-04  Akim Demaille  <akim@epita.fr>
+
+       * src/reader.c (parse_expect_decl): Keep `count' within the size
+       of `buffer'.
+       From Neil Booth.
+
+2000-10-02  Paul Eggert  <eggert@twinsun.com>
+
+       * bison.s1 (yyparse): Assign the default value
+       unconditionally, to avoid a GCC warning and make the parser a
+       tad smaller.
+
+2000-10-02  Akim Demaille  <akim@epita.fr>
+
+       * src/getargs.c (getargs): Don't dump `--help' on unrecognized
+       options.
+
+2000-10-02  Akim Demaille  <akim@epita.fr>
+
+       * src/derives.c, src/print.c, src/reduce.c: To ease the
+       translation, move some `\n' out of the translated strings.
+
+2000-10-02  Akim Demaille  <akim@epita.fr>
+
+       The location tracking mechanism is precious for parse error
+       messages.  Nevertheless, it is enabled only when `@n' is used in
+       the grammar, which is a different issue (you can use it in error
+       message, but not in the grammar per se).  Therefore, there should
+       be another means to enable it.
+
+       * src/getargs.c (getargs): Support `--locations'.
+       (usage): Report it.
+       * src/getargs.h (locationsflag): Export it.
+       * src/lex.c (percent_table): Support `%locations'.
+       * src/reader.c (yylsp_needed): Remove this variable, now replaced
+       with `locationsflag'.
+       * doc/bison.texinfo: Document `--locations' and `%locations'.
+       Sort the options.
+       * tests/calc.m4: Test it.
+
+       For regularity of the names, replace each
+       (nolineflag, toknumflag, rawtokenumflag, noparserflag): with...
+       (no_lineflag, token_tableflag, rawflag, no_parserflag): this.
+       In addition replace each `flag' with `_flag'.
+
+2000-10-02  Akim Demaille  <akim@epita.fr>
+
+       Also test parse error messages, including with YYERROR_VERBOSE.
+
+       * tests/calc.m4 (calc.y): Add support for `exp = exp' (non
+       associative).
+       Use it to check the computations.
+       Use it to check `nonassoc' is honored.
+       (AT_DATA_CALC_Y): Equip `calc.y' with YYERROR_VERBOSE when passed
+       `--yyerror-verbose'.
+       (_AT_CHECK_CALC): Adjust to this option.
+       (_AT_CHECK_CALC_ERROR): New macro to check parse error messages.
+
+2000-10-02  Akim Demaille  <akim@epita.fr>
+
+       Test also `--verbose', `--defines' and `--name-prefix'.  Testing
+       the latter demonstrates a flaw in the handling of non debugging
+       parsers introduced by myself on 2000-03-16: `#define yydebug 0'
+       was used in order to simplify:
+
+       #if YYDEBUG
+       if (yydebug)
+       {
+       ...
+       }
+       #endif
+
+       into
+
+       if (yydebug)
+       {
+       ...
+       }
+
+       unfortunately this leads to a CPP conflict when
+       `--name-prefix=foo' is used since it produces `#define yydebug
+       foodebug'.
+
+       * src/bison.s1 [!YYDEBUG]: Do not define yydebug.
+       (YYDPRINTF): New macro.
+       Spread its use.
+       * tests/calc.m4 (AT_CHECK_CALC): Do require a title, build it from
+       the bison options.
+       Also test `--verbose', `--defines' and `--name-prefix'.
+
+2000-10-02  Akim Demaille  <akim@epita.fr>
+
+       Improve the readability of the produced parsers.
+
+       * src/bison.s1: Formatting changes.
+       Improve the comment related to the `$' mark.
+       (yydefault): Don't fall through to `yyresume': `goto' there.
+       * src/output.c (output_parser): When the `$' is met, skip the end
+       of its line.
+       New variable, `number_of_dollar_signs', to check there's exactly
+       one `$' in the parser skeleton.
+
+2000-10-02  Akim Demaille  <akim@epita.fr>
+
+       * lib/xstrdup.c: New file, from the fileutils.
+       * src/reader.c (parse_token_decl, get_type_name, parse_type_decl)
+       (parse_assoc_decl, parse_thong_decl, get_type): Use `xstrdup'
+       instead of strlen + xmalloc + strcpy.
+       * src/symtab.c (copys): Remove, use xstrdup instead.
+
+2000-10-02  Akim Demaille  <akim@epita.fr>
+
+       * src/gram.h (associativity): New enum type which replaces the
+       former CPP macros `RIGHT_ASSOC', `LEFT_ASSOC' and `NON_ASSOC' with
+       `right_assoc', `left_assoc' and `non_assoc'.
+       Adjust all dependencies.
+       * src/reader.c: Formatting changes.
+       (LTYPESTR): Don't define it, use it as a literal in
+       `reader_output_yylsp'.
+       * src/symtab.h (symbol_class): New enum type which replaces the
+       former CPP macros `SUNKNOWN', `STOKEN and `SNTERM' with
+       `sunknown', `stoken and `snterm'.
+
+2000-10-02  Akim Demaille  <akim@epita.fr>
+
+       * src/getargs.c (fixed_outfiles): Rename as...
+       (yaccflag): for consistency and accuracy.
+       Adjust dependencies.
+
+2000-10-02  Akim Demaille  <akim@epita.fr>
+
+       Use the more standard files `xalloc.h' and `xmalloc.c' instead of
+       Bison's `allocate.c' and `alloc.h'.  This patch was surprisingly
+       difficult and introduced a lot of core dump.  It turns out that
+       Bison used an implementation of `xmalloc' based on `calloc', and
+       at various places it does depend upon the initialization to 0.  I
+       have not tried to isolate the pertinent places, and all the former
+       calls to Bison's `xmalloc' are now using `XCALLOC'.  Someday,
+       someone should address this issue.
+
+       * src/allocate.c, src/alloc.h, m4/bison-decl.m4: Remove.
+       * lib/xmalloc.c, lib/xalloc.h, m4/malloc.m4, m4/realloc.m4: New
+       files.
+       Adjust dependencies.
+       * src/warshall.h: New file.
+       Propagate.
+
+2000-10-02  Akim Demaille  <akim@epita.fr>
+
+       Various anti-`extern in *.c' changes.
+
+       * src/system.h: Include `assert.h'.
+
+2000-10-02  Akim Demaille  <akim@epita.fr>
+
+       * src/state.h (nstates, final_state, first_state, first_shift)
+       (first_reduction): Move their exportation from here...
+       * src/LR0.h: to here.
+       Adjust dependencies.
+       * src/getargs.c (statisticsflag): New variable.
+       Add support for `--statistics'.
+       Adjust dependencies.
+
+       Remove a lot of now useless `extern' statements in most files.
+
+2000-10-02  Akim Demaille  <akim@epita.fr>
+
+       * src/LR0.h: New file.
+       Propagate its use.
+
+2000-10-02  Akim Demaille  <akim@epita.fr>
+
+       * src/print.h: New file.
+       Propagate its use.
+       * src/print.c: Formatting and ordering changes.
+       (verbose, terse): Replace with...
+       (print_results): this new function.
+       Adjust dependencies.
+
+2000-10-02  Akim Demaille  <akim@epita.fr>
+
+       * src/conflicts.c (conflict_report): New function.
+       (conflict_log, verbose_conflict_log): Replace with...
+       (print_conflicts): this function.
+       Adjust dependencies.
+       * src/conflicts.h: New file.
+       Propagate its inclusion.
+
 2000-10-02  Akim Demaille  <akim@epita.fr>
 
        * src/nullable.h: New file.
        Propagate its inclusion.
        * src/nullable.c: Formatting changes.
 
-       
 2000-10-02  Akim Demaille  <akim@epita.fr>
 
        * src/reduce.h: New file.
        (bool, TRUE, FALSE): Move their definition to...
        * src/system.h: here.
 
-
 2000-10-02  Akim Demaille  <akim@epita.fr>
 
        * src/files.c: Formatting changes.
        * src/files.h: Complete the list of exported symbols.
        Propagate its use.
 
-
 2000-10-02  Akim Demaille  <akim@epita.fr>
 
        * src/reader.h: New file.
        * src/reader.c: Formatting changes, topological sort,
        s/register//.
 
-
 2000-10-02  Akim Demaille  <akim@epita.fr>
 
        * src/lex.h: Prototype `lex.c' exported functions.
        (safegetc): Rename as...
        (xgetc): this.
 
-
 2000-10-02  Akim Demaille  <akim@epita.fr>
 
        * src/lalr.h: New file.
        Propagate its inclusion instead of prototypes and `extern'.
        * src/lalr.c: Formatting changes, topological sorting etc.
 
-
 2000-10-02  Akim Demaille  <akim@epita.fr>
 
        * src/output.c (token_actions): Introduce a temporary array,
        YYDEFACT, that makes it possible for this function to use
        output_short_table.
 
-
 2000-10-02  Akim Demaille  <akim@epita.fr>
 
        `user_toknums' is output as a `short[]' in `output.c', while it is