+2002-05-12 Paul Hilfinger <Hilfinger@CS.Berkeley.EDU>
+
+ * data/bison.simple (b4_sint_type, b4_uint_type): Correct to reflect
+ 32-bit arithmetic.
+ * data/bison.c++ (b4_sint_type, b4_uint_type): Ditto.
+
+2002-05-07 Akim Demaille <akim@epita.fr>
+
+ * tests/synclines.at: Be sure to prototype yylex and yyerror to
+ avoid GCC warnings.
+
+2002-05-07 Akim Demaille <akim@epita.fr>
+
+ Kill GCC warnings.
+
+ * src/reduce.c (nonterminals_reduce): Don't loop over RITEM: loop
+ over the RHS of each rule.
+ * src/gram.h, src/gram.c (nritems): Is `unsigned int', not int.
+ * src/state.h (state_t): Member `nitems' is unsigned short.
+ * src/LR0.c (get_state): Adjust.
+ * src/reader.c (packgram): Likewise.
+ * src/output.c (GENERATE_MUSCLE_INSERT_TABLE): `max' is of type
+ `Type'.
+ (muscle_insert_int_table): Remove, unused.
+ (prepare_rules): Remove `max'.
+
+2002-05-06 Akim Demaille <akim@epita.fr>
+
+ * src/closure.c (print_firsts): Display of the symbol tags.
+ (bitmatrix_print): Move to...
+ * lib/bitsetv-print.h, lib/bitsetv-print.c (bitsetv_matrix_dump):
+ here.
+ * tests/sets.at (Nullable, Broken Closure, Firsts): Adjust.
+
+2002-05-06 Akim Demaille <akim@epita.fr>
+
+ * src/muscle_tab.c (muscle_m4_output): Must return TRUE for
+ hash_do_for_each.
+
+2002-05-06 Akim Demaille <akim@epita.fr>
+
+ * src/LR0.c (new_state, get_state): Instead of using the global
+ `kernel_size' and `kernel_base', have two new arguments:
+ `core_size' and `core'.
+ Adjust callers.
+
+2002-05-06 Akim Demaille <akim@epita.fr>
+
+ * src/reader.c (packgram): No longer end `ritem' with a 0
+ sentinel: it is not used.
+
+2002-05-05 Akim Demaille <akim@epita.fr>
+
+ New experimental feature: display the lookaheads in the report and
+ graph.
+
+ * src/print (print_core): When --trace-flag, display the rules
+ lookaheads.
+ * src/print_graph.c (print_core): Likewise.
+ Swap the arguments.
+ Adjust caller.
+
+2002-05-05 Akim Demaille <akim@epita.fr>
+
+ * tests/torture.at (Many lookaheads): New test.
+
+2002-05-05 Akim Demaille <akim@epita.fr>
+
+ * src/output.c (GENERATE_OUTPUT_TABLE): Replace with...
+ (GENERATE_MUSCLE_INSERT_TABLE): this.
+ (output_int_table, output_unsigned_int_table, output_short_table)
+ (output_token_number_table, output_item_number_table): Replace with...
+ (muscle_insert_int_table, muscle_insert_unsigned_int_table)
+ (muscle_insert_short_table, muscle_insert_token_number_table)
+ (muscle_insert_item_number_table): these.
+ Adjust all callers.
+ (prepare_tokens): Don't free `translations', since...
+ * src/reader.h, src/reader.c (grammar_free): do it.
+ Move to...
+ * src/gram.h, src/gram.c (grammar_free): here.
+ * data/bison.simple, data/bison.c++: b4_token_number_max is now
+ b4_translate_max.
+
+2002-05-05 Akim Demaille <akim@epita.fr>
+
+ * src/output.c (output_unsigned_int_table): New.
+ (prepare_rules): `i' is unsigned.
+ `prhs', `rline', `r2' are unsigned int.
+ Rename muscle `rhs_number_max' as `rhs_max'.
+ Output muscles `prhs_max', `rline_max', and `r2_max'.
+ Free rline and r1.
+ * data/bison.simple, data/bison.c++: Adjust to use these muscles
+ to compute types instead of constant types.
+ * tests/regression.at (Web2c Actions): Adjust.
+
+2002-05-04 Akim Demaille <akim@epita.fr>
+
+ * src/symtab.h (SALIAS, SUNDEF): Rename as...
+ (USER_NUMBER_ALIAS, USER_NUMBER_UNDEFINED): these.
+ Adjust dependencies.
+ * src/output.c (token_definitions_output): Be sure not to output a
+ `#define 'a'' when fed with `%token 'a' "a"'.
+ * tests/regression.at (Token definitions): New.
+
+2002-05-03 Paul Eggert <eggert@twinsun.com>
+
+ * data/bison.simple (b4_token_defines): Also define YYTOKENTYPE
+ for K&R C.
+
+2002-05-03 gettextize <bug-gnu-gettext@gnu.org>
+
+ * Makefile.am (SUBDIRS): Remove intl.
+ (EXTRA_DIST): Add config/config.rpath.
+
+2002-05-03 Akim Demaille <akim@epita.fr>
+
+ * data/bison.simple (m4_if): Don't output empty enums.
+ And actually, output valid enum definitions :(.
+
+2002-05-03 Akim Demaille <akim@epita.fr>
+
+ * configure.bat: Remove, completely obsolete.
+ * Makefile.am (EXTRA_DIST): Adjust.
+ Don't distribute config.rpath...
+ * config/Makefile.am (EXTRA_DIST): Do it.
+
+2002-05-03 Akim Demaille <akim@epita.fr>
+
+ * configure.in (GETTEXT_VERSION): New.
+ Suggested by Bruno Haible for the forthcoming Gettext 0.10.3.
+
+2002-05-03 Akim Demaille <akim@epita.fr>
+
+ * data/bison.simple (b4_token_enum): New.
+ (b4_token_defines): Use it to output tokens both as #define and
+ enums.
+ Suggested by Paul Eggert.
+ * src/output.c (token_definitions_output): Don't output spurious
+ white spaces.
+
+2002-05-03 Akim Demaille <akim@epita.fr>
+
+ * data/m4sugar/m4sugar.m4: Update from CVS Autoconf.
+
+2002-05-02 Robert Anisko <robert@lrde.epita.fr>
+
+ * data/bison.c++: Adapt expansion of $s and @s to the C++ parser.
+ Update the stack class, give a try to deque as the default container.
+
+2002-05-02 Akim Demaille <akim@epita.fr>
+
+ * data/bison.simple (yyparse): Do not implement @$ = @1.
+ (YYLLOC_DEFAULT): Adjust to do it.
+ * doc/bison.texinfo (Location Default Action): Fix.
+
+2002-05-02 Akim Demaille <akim@epita.fr>
+
+ * src/reader.c (parse_braces): Merge into...
+ (parse_action): this.
+
+2002-05-02 Akim Demaille <akim@epita.fr>
+
+ * configure.in (ALL_LINGUAS): Remove.
+ * po/LINGUAS, hr.po: New.
+
+2002-05-02 Akim Demaille <akim@epita.fr>
+
+ Remove the so called hairy (semantic) parsers.
+
+ * src/system.h (EXT_GUARD_C, EXT_STYPE_H): Remove.
+ * src/gram.h, src/gram.c (semantic_parser): Remove.
+ (rule_t): Remove the guard and guard_line members.
+ * src/lex.h (token_t): remove tok_guard.
+ * src/options.c (option_table): Remove %guard and %semantic_parser
+ support.
+ * src/output.c, src/output.h (guards_output): Remove.
+ (prepare): Adjust.
+ (token_definitions_output): Don't output the `T'
+ tokens (???).
+ (output_skeleton): Don't output the guards.
+ * src/files.c, src/files.c (attrsfile): Remove.
+ * src/reader.c (symbol_list): Remove the guard and guard_line
+ members.
+ Adjust dependencies.
+ (parse_guard): Remove.
+ * data/bison.hairy: Remove.
+ * doc/bison.texinfo (Environment Variables): Remove occurrences of
+ BISON_HAIRY.
+
+2002-05-02 Akim Demaille <akim@epita.fr>
+
+ * src/reader.c (copy_at, copy_dollarm parse_braces, parse_action)
+ (parse_guard): Rename the formal argument `stack_offset' as
+ `rule_length', which is more readable.
+ Adjust callers.
+ (copy_at, copy_dollar): Instead of outputting the hard coded
+ values of $$, $n and so forth, output invocation to b4_lhs_value,
+ b4_lhs_location, b4_rhs_value, and b4_rhs_location.
+ Note: this patch partially drops `semantic-parser' support: it
+ always does `rule_length - n', where semantic parsers ought to
+ always use `-n'.
+ * data/bison.simple, data/bison.c++ (b4_lhs_value)
+ (b4_lhs_location, b4_rhs_value, and b4_rhs_location: New.
+
+2002-05-02 Akim Demaille <akim@epita.fr>
+
+ * configure.in (AC_INIT): Bump to 1.49b.
+ (AM_INIT_AUTOMAKE): Short invocation.
+
+2002-05-02 Akim Demaille <akim@epita.fr>
+
+ Version 1.49a.
+
+2002-05-01 Akim Demaille <akim@epita.fr>
+
+ * src/skeleton.h: Remove.
+
+2002-05-01 Akim Demaille <akim@epita.fr>
+
+ * src/skeleton.h: Fix the #endif.
+ Reported by Magnus Fromreide.
+
+2002-04-26 Paul Eggert <eggert@twinsun.com>
+
+ * data/bison.simple (YYSTYPE_IS_TRIVIAL, YYLTYPE_IS_TRIVIAL):
+ Define if we define YYSTYPE and YYLTYPE, respectively.
+ (YYCOPY): Fix [] quoting problem in the non-GCC case.
+
+2002-04-25 Robert Anisko <robert@lrde.epita.fr>
+
+ * src/scan-skel.l: Postprocess quadrigraphs.
+
+ * src/reader.c (copy_character): New function, used to output
+ single characters while replacing `[' and `]' with quadrigraphs, to
+ avoid troubles with M4 quotes.
+ (copy_comment): Output characters with copy_character.
+ (read_additionnal_code): Likewise.
+ (copy_string2): Likewise.
+ (copy_definition): Likewise.
+
+ * tests/calc.at: Exercise M4 quoting.
+
+2002-04-25 Akim Demaille <akim@epita.fr>
+
+ * tests/sets.at (AT_EXTRACT_SETS): Sed portability issue: no space
+ between `!' and the command.
+ Reported by Paul Eggert.
+
+2002-04-24 Robert Anisko <robert@lrde.epita.fr>
+
+ * tests/calc.at: Exercise prologue splitting.
+
+ * data/bison.simple, data/bison.c++: Use `b4_pre_prologue' and
+ `b4_post_prologue' instead of `b4_prologue'.
+
+ * src/output.c (prepare): Add the `pre_prologue' and `post_prologue'
+ muscles.
+ (output): Free pre_prologue_obstack and post_prologue_obstack.
+ * src/files.h, src/files.c (attrs_obstack): Remove.
+ (pre_prologue_obstack, post_prologue_obstack): New.
+ * src/reader.c (copy_definition): Add a parameter to specify the
+ obstack to fill, instead of using attrs_obstack unconditionally.
+ (read_declarations): Pass pre_prologue_obstack to copy_definition if
+ `%union' has not yet been seen, pass post_prologue_obstack otherwise.
+
+2002-04-23 Paul Eggert <eggert@twinsun.com>
+
+ * data/bison.simple: Remove unnecessary commentary and white
+ space differences from 1_29-branch.
+ Depend on YYERROR_VERBOSE, not defined (YYERROR_VERBOSE).
+
+ (union yyalloc, YYSTACK_GAP_MAX, YYSTACK_BYTES, YYCOPY,
+ YYSTACK_RELOCATE): Do not define if yyoverflow is defined, or
+ if this is a C++ parser and YYSTYPE or YYLTYPE has nontrivial
+ constructors or destructors.
+
+ (yyparse) [! defined YYSTACK_RELOCATE]: Do not relocate the stack.
+
+2002-04-23 Akim Demaille <akim@epita.fr>
+
+ * tests/sets.at (AT_EXTRACT_SETS): Don't use 8 char long sed labels.
+ * tests/synclines.at (AT_TEST_SYNCLINE): Be robust to GCC's
+ location with columns.
+ * tests/conflicts.at (%nonassoc and eof): Don't use `error.h'.
+ All reported by Paul Eggert.
+
+2002-04-22 Akim Demaille <akim@epita.fr>
+
+ * src/reduce.c (dump_grammar): Move to...
+ * src/gram.h, src/gram.c (grammar_dump): here.
+ Be sure to separate long item numbers.
+ Don't read the members of a rule's prec if its nil.
+
+2002-04-22 Akim Demaille <akim@epita.fr>
+
+ * src/output.c (table_size, table_grow): New.
+ (MAXTABLE): Remove, replace uses with table_size.
+ (pack_vector): Instead of dying when the table is too big, grow it.
+
+2002-04-22 Akim Demaille <akim@epita.fr>
+
+ * data/bison.simple (yyr1): Its type is that of a token number.
+ * data/bison.c++ (r1_): Likewise.
+ * tests/regression.at (Web2c Actions): Adjust.
+
+2002-04-22 Akim Demaille <akim@epita.fr>
+
+ * src/reader.c (token_translations_init): 256 is now the default
+ value for the error token, i.e., it will be assigned another
+ number if the user assigned 256 to one of her tokens.
+ (reader): Don't force 256 to error.
+ * doc/bison.texinfo (Symbols): Adjust.
+ * tests/torture.at (AT_DATA_HORIZONTAL_GRAMMAR)
+ (AT_DATA_TRIANGULAR_GRAMMAR): Number the tokens as 1, 2, 3
+ etc. instead of 10, 20, 30 (which was used to `jump' over error
+ (256) and undefined (2)).
+
+2002-04-22 Akim Demaille <akim@epita.fr>
+
+ Propagate more token_number_t.
+
+ * src/gram.h (token_number_as_item_number)
+ (item_number_as_token_number): New.
+ * src/output.c (GENERATE_OUTPUT_TABLE): New.
+ Use it to create output_item_number_table and
+ output_token_number_table.
+ * src/LR0.c, src/derives.c, src/gram.c, src/gram.h, src/lalr.c,
+ * src/lex.c, src/nullable.c, src/output.c, src/print.c,
+ * src/print_graph.c, src/reader.c, src/reduce.c, src/state.h,
+ * src/symtab.c, src/symtab.h: Use token_number_t instead of shorts.
+
+2002-04-22 Akim Demaille <akim@epita.fr>
+
+ * src/output.h, src/output.c (get_lines_number): Remove.
+
+2002-04-19 Akim Demaille <akim@epita.fr>
+
+ * doc/bison.texinfo (Actions): Make clear that `|' is not the same
+ as Lex/Flex'.
+ (Debugging): More details about enabling the debugging features.
+ (Table of Symbols): Describe $$, $n, @$, and @n.
+ Suggested by Tim Josling.
+
+2002-04-19 Akim Demaille <akim@epita.fr>
+
+ * doc/bison.texinfo: Remove the uses of the obsolete @refill.
+
+2002-04-10 Akim Demaille <akim@epita.fr>
+
+ * src/system.h: Rely on HAVE_LIMITS_H.
+ Suggested by Paul Eggert.
+
+2002-04-09 Akim Demaille <akim@epita.fr>
+
+ * tests/calc.at (_AT_CHECK_CALC_ERROR): Receive as argument the
+ full stderr, and strip it according to the bison options, instead
+ of composing the error message from different bits.
+ This makes it easier to check for several error messages.
+ Adjust all the invocations.
+ Add an invocation exercising the error token.
+ Add an invocation demonstrating a stupid error message.
+ (_AT_DATA_CALC_Y): Follow the GCS: initial column is 1, not 0.
+ Adjust the tests.
+ Error message are for stderr, not stdout.
+
+2002-04-09 Akim Demaille <akim@epita.fr>
+
+ * src/gram.h, src/gram.c (error_token_number): Remove, use
+ errtoken->number.
+ * src/reader.c (reader): Don't specify the user token number (2)
+ for $undefined, as it uselessly prevents using it.
+ * src/gram.h (token_number_t): Move to...
+ * src/symtab.h: here.
+ (state_t.number): Is a token_number_t.
+ * src/print.c, src/reader.c: Use undeftoken->number instead of
+ hard coded 2.
+ (Even though this 2 is not the same as above: the number of the
+ undeftoken remains being 2, it is its user token number which
+ might not be 2).
+ * src/output.c (prepare_tokens): Rename the `maxtok' muscle with
+ `user_token_number_max'.
+ Output `undef_token_number'.
+ * data/bison.simple, data/bison.c++: Use them.
+ Be sure to map invalid yylex return values to
+ `undef_token_number'. This saves us from gratuitous SEGV.
+
+ * tests/conflicts.at (Solved SR Conflicts)
+ (Unresolved SR Conflicts): Adjust.
+ * tests/regression.at (Web2c Actions): Adjust.
+
+2002-04-08 Akim Demaille <akim@epita.fr>
+
+ * data/bison.c++: s/b4_item_number_max/b4_rhs_number_max/.
+ Adding #line.
+ Remove the duplicate `typedefs'.
+ (RhsNumberType): Fix the declaration and various other typos.
+ Use __ofile__.
+ * data/bison.simple: Use __ofile__.
+ * src/scan-skel.l: Handle __ofile__.
+
+2002-04-08 Akim Demaille <akim@epita.fr>
+
+ * src/gram.h (item_number_t): New, the type of item numbers in
+ RITEM. Note that it must be able to code symbol numbers as
+ positive number, and the negation of rule numbers as negative
+ numbers.
+ Adjust all dependencies (pretty many).
+ * src/reduce.c (rule): Remove this `short *' pointer: use
+ item_number_t.
+ * src/system.h (MINSHORT, MAXSHORT): Remove.
+ Include `limits.h'.
+ Adjust dependencies to using SHRT_MAX and SHRT_MIN.
+ (shortcpy): Remove.
+ (MAXTABLE): Move to...
+ * src/output.c (MAXTABLE): here.
+ (prepare_rules): Use output_int_table to output rhs.
+ * data/bison.simple, data/bison.c++: Adjust.
+ * tests/torture.at (Big triangle): Move the limit from 254 to
+ 500.
+ * tests/regression.at (Web2c Actions): Ajust.
+
+ Trying with bigger grammars shows various phenomena: at 3000 (28Mb
+ of grammar file) bison is killed by my system, at 2000 (12Mb) bison
+ passes, but produces negative #line number, once fixed, GCC is
+ killed while compiling 14Mb, at 1500 (6.7 Mb of grammar, 8.2Mb of
+ C), it passes.
+ * src/state.h (state_h): Code input lines on ints, not shorts.
+
+2002-04-08 Akim Demaille <akim@epita.fr>
+
+ * src/reduce.c (reduce_grammar): First reduce the nonterminals,
+ and then the grammar.
+
+2002-04-08 Akim Demaille <akim@epita.fr>
+
+ * src/system.h: No longer using strndup.
+
+2002-04-07 Akim Demaille <akim@epita.fr>
+
+ * src/muscle_tab.h (MUSCLE_INSERT_LONG_INT): New.
+ * src/output.c (output_table_data): Return the longest number.
+ (prepare_tokens): Output `token_number_max').
+ * data/bison.simple, data/bison.c++ (b4_sint_type, b4_uint_type):
+ New.
+ Use them to define yy_token_number_type/TokenNumberType.
+ Use this type for yytranslate.
+ * tests/torture.at (Big triangle): Push the limit from 124 to
+ 253.
+ * tests/regression.at (Web2c Actions): Adjust.
+
+2002-04-07 Akim Demaille <akim@epita.fr>
+
+ * tests/torture.at (Big triangle): New.
+ (GNU AWK Grammar, GNU Cim Grammar): Move to...
+ * tests/existing.at: here.
+
+2002-04-07 Akim Demaille <akim@epita.fr>
+
+ * src/gram.h, src/gram.c (nitems): Remove, it is an alias of
+ nritems.
+ Adjust dependencies.
+
+2002-04-07 Akim Demaille <akim@epita.fr>
+
+ * src/reader.c: Normalize increments to prefix form.
+
+2002-04-07 Akim Demaille <akim@epita.fr>
+
+ * src/reader.c, symtab.c: Remove debugging code.
+
+2002-04-07 Akim Demaille <akim@epita.fr>
+
+ Rename all the `bucket's as `symbol_t'.
+
+ * src/gram.c, src/gram.h, src/lex.c, src/lex.h, src/output.c,
+ * src/reader.c, src/reader.h, src/reduce.c, src/state.h,
+ * src/symtab.c, src/symtab.h (bucket): Rename as...
+ (symbol_t): this.
+ (symbol_list_new, bucket_check_defined, bucket_make_alias)
+ (bucket_check_alias_consistence, bucket_pack, bucket_translation)
+ (bucket_new, bucket_free, hash_compare_bucket, hash_bucket)
+ (buckets_new, buckets_free, buckets_do): Rename as...
+ (symbol_list_new, symbol_check_defined, symbol_make_alias)
+ (symbol_check_alias_consistence, symbol_pack, symbol_translation)
+ (symbol_new, symbol_free, hash_compare_symbol_t, hash_symbol_t)
+ (symbols_new, symbols_free, symbols_do): these.
+
+2002-04-07 Akim Demaille <akim@epita.fr>
+
+ Use lib/hash for the symbol table.
+
+ * src/gram.c (ntokens): Initialize to 1, to reserve a slot for
+ EOF.
+ * src/lex.c (lex): Set the `number' member of new terminals.
+ * src/reader.c (bucket_check_defined, bucket_make_alias)
+ (bucket_check_alias_consistence, bucket_translation): New.
+ (reader, grammar_free, readgram, token_translations_init)
+ (packsymbols): Adjust.
+ (reader): Number the predefined tokens.
+ * src/reduce.c (inaccessable_symbols): Just use hard coded numbers
+ for predefined tokens.
+ * src/symtab.h (bucket): Remove all the hash table related
+ members.
+ * src/symtab.c (symtab): Replace by...
+ (bucket_table): this.
+ (bucket_new, bucket_free, hash_compare_bucket, hash_bucket)
+ (buckets_new, buckets_do): New.
+
+2002-04-07 Akim Demaille <akim@epita.fr>
+
+ * src/gram.c (nitems, nrules, nsyms, ntokens, nvars, nritems)
+ (start_symbol, max_user_token_number, semantic_parser)
+ (error_token_number): Initialize.
+ * src/reader.c (grammar, start_flag, startval, typed, lastprec):
+ Initialize.
+ (reader): Don't.
+ (errtoken, eoftoken, undeftoken, axiom): Extern.
+
+2002-04-07 Akim Demaille <akim@epita.fr>
+
+ * src/gram.h (rule_s): prec and precsym are now pointers
+ to the bucket giving the priority/associativity.
+ Member `associativity' removed: useless.
+ * src/reduce.c, src/conflicts.c: Adjust.
+
+2002-04-07 Akim Demaille <akim@epita.fr>
+
+ * src/lalr.c, src/LR0.c, src/closure.c, src/gram.c, src/reduce.c:
+ Properly escape the symbols' TAG when outputting them.
+
+2002-04-07 Akim Demaille <akim@epita.fr>
+
+ * src/lalr.h (LA): Is a bitsetv, not bitset*.
+
+2002-04-07 Akim Demaille <akim@epita.fr>
+
+ * src/lalr.h, src/lalr.c (LAruleno): Replace with...
+ (LArule): this, which is an array to rule_t*.
+ * src/print.c, src/conflicts.c: Adjust.
+
+2002-04-07 Akim Demaille <akim@epita.fr>
+
+ * src/gram.h (rule_t): Rename `number' as `user_number'.
+ `number' is a new member.
+ Adjust dependencies.
+ * src/reduce.c (reduce_grammar_tables): Renumber rule_t.number.
+
+2002-04-07 Akim Demaille <akim@epita.fr>
+
+ As a result of the previous patch, it is no longer needed
+ to reorder ritem itself.
+
+ * src/reduce.c (reduce_grammar_tables): Don't sort RITEM.
+
+2002-04-07 Akim Demaille <akim@epita.fr>
+
+ Be sure never to walk through RITEMS, but use only data related to
+ the rules themselves. RITEMS should be banished.
+
+ * src/output.c (output_token_translations): Rename as...
+ (prepare_tokens): this.
+ In addition to `translate', prepare the muscles `tname' and
+ `toknum', which were handled by...
+ (output_rule_data): this.
+ Remove, and move the remainder of its outputs into...
+ (prepare_rules): this new routines, which also merges content from
+ (output_gram): this.
+ (prepare_rules): Be sure never to walk through RITEMS.
+ (output_stos): Rename as...
+ (prepare_stos): this.
+ (output): Always invoke prepare_states, after all, just don't use it
+ in the output if you don't need it.
+
+2002-04-07 Akim Demaille <akim@epita.fr>
+
+ * src/LR0.c (new_state): Display `nstates' as the name of the
+ newly created state.
+ Adjust to initialize first_state and last_state if needed.
+ Be sure to distinguish the initial from the final state.
+ (new_states): Create the itemset of the initial state, and use
+ new_state.
+ * src/closure.c (closure): Now that the initial state has its
+ items properly set, there is no need for a special case when
+ creating `ruleset'.
+
+ As a result, now the rule 0, reducing to $axiom, is visible in the
+ outputs. Adjust the test suite.
+
+ * tests/conflicts.at (Solved SR Conflicts)
+ (Unresolved SR Conflicts): Adjust.
+ * tests/regression.at (Web2c Report, Rule Line Numbers): Idem.
+ * tests/conflicts.at (S/R in initial): New.
+
+2002-04-07 Akim Demaille <akim@epita.fr>
+
+ * src/LR0.c (allocate_itemsets): Don't loop over ritem: loop over
+ the RHS of the rules.
+ * src/output.c (output_gram): Likewise.
+
+2002-04-07 Akim Demaille <akim@epita.fr>
+
+ * src/gram.h (rule_t): `lhs' is now a pointer to the symbol's
+ bucket.
+ Adjust all dependencies.
+ * src/reduce.c (nonterminals_reduce): Don't forget to renumber the
+ `number' of the buckets too.
+ * src/gram.h: Include `symtab.h'.
+ (associativity): Move to...
+ * src/symtab.h: here.
+ No longer include `gram.h'.
+
+2002-04-07 Akim Demaille <akim@epita.fr>
+
+ * src/gram.h, src/gram.c (rules_rhs_length): New.
+ (ritem_longest_rhs): Use it.
+ * src/gram.h (rule_t): `number' is a new member.
+ * src/reader.c (packgram): Set it.
+ * src/reduce.c (reduce_grammar_tables): Move the useless rules at
+ the end of `rules', and count them out of `nrules'.
+ (reduce_output, dump_grammar): Adjust.
+ * src/print.c (print_grammar): It is no longer needed to check for
+ the usefulness of a rule, as useless rules are beyond `nrules + 1'.
+ * tests/reduce.at (Reduced Automaton): New test.
+
+2002-04-07 Akim Demaille <akim@epita.fr>
+
+ * src/reduce.c (inaccessable_symbols): Fix a buglet: because of a
+ lacking `+ 1' to nrules, Bison reported as useless a token if it
+ was used solely to set the precedence of the last rule...
+
+2002-04-07 Akim Demaille <akim@epita.fr>
+
+ * data/bison.c++, data/bison.simple: Don't output the current file
+ name in #line, to avoid useless diffs between two identical
+ outputs under different names.
+
+2002-04-07 Akim Demaille <akim@epita.fr>
+
+ * src/closure.c, src/print.c, src/reader.c, src/reduce.c:
+ Normalize loops to using `< nrules + 1', not `<= nrules'.
+
+2002-04-07 Akim Demaille <akim@epita.fr>
+
+ * TODO: Update.
+
+2002-04-07 Akim Demaille <akim@epita.fr>
+
+ * src/output.c, src/reader.c, src/symtab.c, src/symtab.h: Rename
+ bucket.value as bucket.number.
+
+2002-04-07 Akim Demaille <akim@epita.fr>
+
+ * src/closure.c, src/derives.c, src/gram.h, src/lalr.c,
+ * src/nullable.c, src/output.c, src/print.c, src/print_graph.c,
+ * src/reader.c, src/reduce.c: Let rule_t.rhs point directly to the
+ RHS, instead of being an index in RITEMS.
+
+2002-04-04 Paul Eggert <eggert@twinsun.com>
+
+ * doc/bison.texinfo: Update copyright date.
+ (Rpcalc Lexer, Symbols, Token Decl): Don't assume ASCII.
+ (Symbols): Warn about running Bison in one character set,
+ but compiling and/or running in an incompatible one.
+ Warn about character code 256, too.
+
+2002-04-03 Paul Eggert <eggert@twinsun.com>
+
+ * src/bison.data (YYSTACK_ALLOC): Depend on whether
+ YYERROR_VERBOSE is nonzero, not whether it is defined.
+
+ Merge changes from bison-1_29-branch.
+
+2002-03-20 Paul Eggert <eggert@twinsun.com>
+
+ Merge fixes from Debian bison_1.34-1.diff.
+
+ * configure.in (AC_PREREQ): 2.53.
+
+2002-03-20 Akim Demaille <akim@epita.fr>
+
+ * src/conflicts.c (log_resolution): Argument `resolution' is const.
+
+2002-03-19 Paul Eggert <eggert@twinsun.com>
+
+ * src/bison.simple (YYCOPY): New macro.
+ (YYSTACK_RELOCATE): Use it.
+ Remove Type arg; no longer needed. All callers changed.
+ (yymemcpy): Remove; no longer needed.
+
+ * Makefile.am (AUTOMAKE_OPTIONS): 1.6.
+ * doc/Makefile.am (AUTOMAKE_OPTIONS): Remove.
+
+2002-03-19 Akim Demaille <akim@epita.fr>
+
+ Test and fix the #line outputs.
+
+ * tests/atlocal.at (GCC): New.
+ * tests/synclines.at (AT_TEST_SYNCLINE): New macro.
+ (Prologue synch line, ,%union synch line, Postprologue synch line)
+ (Action synch line, Epilogue synch line): New tests.
+ * src/reader.c (parse_union_decl): Define the muscle stype_line.
+ * data/bison.simple, data/bison.c++: Use it.
+
+2002-03-19 Akim Demaille <akim@epita.fr>
+
+ * tests/regression.at (%nonassoc and eof, Unresolved SR Conflicts)
+ (Solved SR Conflicts, %expect not enough, %expect right)
+ (%expect too much): Move to...
+ * tests/conflicts.at: this new file.
+
+2002-03-19 Akim Demaille <akim@epita.fr>
+
+ * data/m4sugar/m4sugar.m4: Update from CVS Autoconf.
+ * data/bison.simple, data/bison.c++: Handle the `#define' part, so
+ that we can move to enums for instance.
+ * src/output.c (token_definitions_output): Output a list of
+ `token-name, token-number' instead of the #define.
+ (output_skeleton): Name this list `b4_tokens', not `b4_tokendefs'.
+
+2002-03-14 Akim Demaille <akim@epita.fr>
+
+ Use Gettext 0.11.1.
+
+2002-03-09 Robert Anisko <robert@lrde.epita.fr>
+
+ * data/bison.c++: Make the user able to add members to the generated
+ parser by subclassing.
+
+2002-03-05 Robert Anisko <robert@lrde.epita.fr>
+
+ * src/reader.c (read_additionnal_code): `c' should be an integer, not
+ a character.
+ Reported by Nicolas Tisserand and Nicolas Burrus.
+
+2002-03-04 Robert Anisko <robert@lrde.epita.fr>
+
+ * src/reader.c: Warn about lacking semi-colons, do not complain.
+
+2002-03-04 Robert Anisko <robert@lrde.epita.fr>
+
+ * data/bison.c++: Remove a debug line.
+
+2002-03-04 Robert Anisko <robert@lrde.epita.fr>
+
+ * data/bison.c++: Unmerge value as yylval and value as yyval. Unmerge
+ location as yylloc and location as yyloc. Use YYLLOC_DEFAULT, and
+ provide a default implementation.
+
+2002-03-04 Akim Demaille <akim@epita.fr>
+
+ * tests/input.at (Invalid $n, Invalid @n): Add the ending `;'.
+ * tests/output.at (AT_CHECK_OUTPUT): Likewise.
+ * tests/headers.at (AT_TEST_CPP_GUARD_H): Ditto.
+ * tests/semantic.at (Parsing Guards): Similarly.
+ * src/reader.at (readgram): Complain if the last rule is not ended
+ with a semi-colon.
+
+2002-03-04 Akim Demaille <akim@epita.fr>
+
+ * src/warshall.h, src/warshall.c (bitmatrix_print): Move to...
+ * src/closure.c: here.
+ (set_firsts): Use bitsetv_reflexive_transitive_closure instead of
+ RTC.
+ * src/warshall.h, src/warshall.c: Remove.
+ * tests/sets.at (Broken Closure): Adjust.
+
+2002-03-04 Akim Demaille <akim@epita.fr>
+
+ * src/output.c (output_skeleton): tempdir is const.
+ bytes_read is unused.
+
+2002-03-04 Akim Demaille <akim@epita.fr>
+
+ * lib/bbitset.h, lib/bitset.c, lib/bitset.h, lib/bitsetv.c,
+ * lib/bitsetv.h, lib/ebitset.c, lib/lbitset.c, lib/sbitset.c:
+ Update.
+ From Michael Hayes.
+
+2002-03-04 Akim Demaille <akim@epita.fr>
+
+ * src/closure.c (closure): `r' is unused.
+
+2002-03-04 Akim Demaille <akim@epita.fr>
+
+ * tests/sets.at (Broken Closure): Add the ending `;'.
+ * src/reader.at (readgram): Complain if a rule is not ended with a
+ semi-colon.
+
+2002-03-04 Akim Demaille <akim@epita.fr>
+
+ * src/conflicts.c (set_conflicts): Use bitset_disjoint_p.
+ (count_sr_conflicts): Use bitset_count.
+ * src/reduce.c (inaccessable_symbols): Ditto.
+ (bits_size): Remove.
+ * src/warshall.h, src/warshall.c: Convert to bitsetv.
+
+2002-03-04 Akim Demaille <akim@epita.fr>
+
+ * src/closure.c, src/conflicts.c, src/lalr.c, src/print.c,
+ * src/reduce.c: Remove the `bitset_zero's following the
+ `bitset_create's, as now it is performed by the latter.
+
+2002-03-04 Akim Demaille <akim@epita.fr>
+
+ * lib/bitset.c, lib/bitset.h, lib/bitsetv.c, lib/bitsetv.h,
+ * lib/ebitset.c, lib/ebitset.h, lib/lbitset.c, lib/lbitset.h,
+ * lib/sbitset.c, lib/sbitset.h, lib/bbitset.h: Update from the
+ latest sources from Michael.
+
+2002-03-04 Akim Demaille <akim@epita.fr>
+
+ * src/output.c (output): Don't free the grammar.
+ * src/reader.c (grammar_free): New.
+ * src/main.c (main): Call it and don't free symtab here.
+
+2002-03-04 Akim Demaille <akim@epita.fr>
+
+ * src/lex.c (parse_percent_token): Be sure to 0-end token_buffer
+ before returning.
+ Reported by Benoit Perrot.
+
+2002-03-04 Akim Demaille <akim@epita.fr>
+
+ Use bitset operations when possible, not loops over bits.
+
+ * src/conflicts.c (set_conflicts, count_sr_conflicts): Use
+ bitset_or.
+ * src/print.c (print_reductions): Use bitset_and, bitset_andn.
+ * src/reduce.c (useless_nonterminals): Formatting changes.
+ * src/warshall.c (TC): Use bitset_or.
+
+2002-03-04 Akim Demaille <akim@epita.fr>
+
+ * src/lalr.h, src/lalr.c (tokensetsize): Remove, unused.
+ * src/system.h (BITS_PER_WORD, WORDSIZE, SETBIT, RESETBIT, BITISSET):
+ Ditto.
+
+2002-03-04 Akim Demaille <akim@epita.fr>
+
+ * src/lalr.c (F): Now a bitset*.
+ Adjust all dependencies.
+
+2002-03-04 Akim Demaille <akim@epita.fr>
+
+ * src/conflicts.c (shiftset, lookaheadset): Now bitset.
+ Adjust all dependencies.
+
+2002-03-04 Akim Demaille <akim@epita.fr>
+
+ * src/L0.c, src/LR0.h (nstates): Be size_t.
+ Adjust comparisons (signed vs unsigned).
+ * src/conflics.c, src/lalr.c, src/lalr.h, src/output.c (LA): Now a
+ bitset*.
+ Adjust all dependencies.
+
+2002-03-04 Akim Demaille <akim@epita.fr>
+
+ * src/closure.c (firsts): Now, also a bitset.
+ Adjust all dependencies.
+ (varsetsize): Remove, now unused.
+ * src/warshall.h, src/warshall.c: Now work on arrays of bitsets.
+
+2002-03-04 Akim Demaille <akim@epita.fr>
+
+ * src/print.c: Convert to use bitset.h, not hand coded iterations
+ over ints.
+
+2002-03-04 Akim Demaille <akim@epita.fr>
+
+ * src/reduce.c: Convert to use bitset.h, not hand coded BSet.
+
+2002-03-04 Akim Demaille <akim@epita.fr>
+
+ * src/closure.c (ruleset): Be a bitset.
+ (rulesetsize): Remove.
+
+2002-03-04 Akim Demaille <akim@epita.fr>
+
+ * lib/bitset-int.h, lib/bitset.c, lib/bitset.h, lib/bitsetv.c,
+ * lib/bitsetv.h, lib/ebitset.c, lib/ebitset.h, lib/lbitset.c,
+ * lib/lbitset.h, lib/sbitset.c, lib/sbitset.h: New.
+ * src/closure.c (fderives): Be an array of bitsets.
+
+2002-02-28 Robert Anisko <robert@lrde.epita.fr>
+
+ * data/bison.c++: Merge the two generated headers. Insert a copyright
+ notice in each output file.
+
+2002-02-28 Akim Demaille <akim@epita.fr>
+
+ * data/bison.c++: Copy the prologue of bison.simple to fetch
+ useful M4 definitions, such as b4_header_guard.
+
+2002-02-25 Akim Demaille <akim@epita.fr>
+
+ * src/getargs.c (version): Give the name of the authors, and use a
+ translator friendly scheme for the bgr
+ copyright notice.
+
+2002-02-25 Akim Demaille <akim@epita.fr>
+
+ * src/output.c (header_output): Remove, now handled completely via
+ M4.
+
+2002-02-25 Akim Demaille <akim@epita.fr>
+
+ * m4/m4.m4: New, from CVS Autoconf.
+ * configure.in: Invoke it.
+ * src/output.c (output_skeleton): Use its result instead of the
+ hard coded name.
+
+2002-02-25 Akim Demaille <akim@epita.fr>
+
+ * lib/tempname.c, lib/mkstemp.c, m4/mkstemp.m4: New, stolen from
+ Fileutils 4.1.5.
+ * configure.in: Invoke UTILS_FUNC_MKSTEMP.
+ * src/output.c (output_skeleton): Use mkstemp to create a real
+ temporary file.
+ Move the filling of `skeleton' and its muscle to...
+ (prepare): here.
+ (output): Move the definition of the prologue muscle to...
+ (prepare): here.
+ * src/system.h (DEFAULT_TMPDIR): New.
+
+2002-02-14 Paul Eggert <eggert@twinsun.com>
+
+ Remove the support for C++ namespace cleanliness; it was
+ causing more problems than it was curing, since it didn't work
+ properly on some nonstandard C++ compilers. This can wait
+ for a proper C++ parser.
+
+ * NEWS: Document this.
+ * doc/bison.texinfo (Bison Parser, Debugging): Remove special mention
+ of C++, as it's treated like C now.
+ * src/bison.simple (YYSTD): Remove.
+ (YYSIZE_T, YYFPRINTF, YYPARSE_PARAM_ARG, YYPARSE_PARAM_DECL):
+ Treat C++ just like Standard C instead of trying to support
+ namespace cleanliness.
+
+2002-02-14 Akim Demaille <akim@epita.fr>
+
+ * tests/regression.at (else): Adjust to Andreas' change.
+
+2002-02-14 Akim Demaille <akim@epita.fr>
+
+ * lib/Makefile.am (EXTRA_DIST): Ship strnlen.c.
+
+2002-02-13 Andreas Schwab <schwab@suse.de>
+
+ * src/output.c (output_rule_data): Don't output NULL, it might
+ not be defined yet.
+
+2002-02-11 Robert Anisko <robert@lrde.epita.fr>
+
+ * data/bison.c++ (YYDEBUG, YYERROR_VERBOSE): After the prologue.
+ (Copyright notice): Update.
+
+2002-02-11 Akim Demaille <akim@epita.fr>
+
+ * tests/regression.at (%nonassoc and eof): Don't include
+ nonportable headers.
+
+2002-02-08 Robert Anisko <robert@lrde.epita.fr>
+
+ * data/bison.c++: Correct error recovery. Make the user able to
+ initialize the starting location.
+
+2002-02-07 Akim Demaille <akim@epita.fr>
+
+ * tests/input.at: New.
+
+2002-02-07 Robert Anisko <robert@lrde.epita.fr>
+
+ * data/bison.c++: Replace some direct m4 expansions by constants. Be
+ more consistent when naming methods and variables. Put preprocessor
+ directives around tables only needed for debugging.
+
+2002-02-07 Robert Anisko <robert@lrde.epita.fr>
+
+ * data/bison.c++ (yy::b4_name::print_): New method, replaces yyprint in
+ C++ parsers.
+ (yy::b4_name::parse): Use print_.
+
projects / bison.git / blobdiff