+2001-12-13 Akim Demaille <akim@epita.fr>
+
+ * src/print.c (print_actions): Output the handling of `$' as the
+ traces do: shifting the token EOF. Before EOF was treated as a
+ nonterminal.
+ * tests/regression.at: Adjust some tests.
+ * src/print_graph.c (print_core): Complete the set of items via
+ closure. The next-to-final and final states are still unsatisfying,
+ but that's to be addressed elsewhere.
+ No longer output the rule numbers, but do output the state number.
+ A single loop for the shifts + gotos is enough, but picked a
+ distinct color for each.
+ (print_graph): Initialize and finalize closure.
+
+2001-12-13 Akim Demaille <akim@epita.fr>
+
+ * src/reader.c (readgram): Remove dead code, an strip useless
+ braces.
+ (get_type): Remove, unused.
+
+2001-12-12 Akim Demaille <akim@epita.fr>
+
+ * src/complain.h, src/complain.c: Remove error_one_per_line, rely
+ on that of lib/error.c.
+
+2001-12-12 Akim Demaille <akim@epita.fr>
+
+ Some hosts don't like `/' in includes.
+
+ * src/system.h: Include libgettext.h without qualifying the path.
+ * src/Makefile.am (INCLUDES): Add $(top_srcdir)/intl, remove
+ $(top_srcdir).
+
+2001-12-11 Marc Autret <autret_m@epita.fr>
+
+ * src/output.c (output_parser): Remove useless muscle.
+
+2001-12-11 Marc Autret <autret_m@epita.fr>
+
+ * src/bison.simple: Remove #line just before %%epilogue. It
+ is now handled in ...
+ * src/reader.c (read_additionnal_code): Add the output of a
+ #line for the epilogue.
+
+2001-12-10 Marc Autret <autret_m@epita.fr>
+
+ * src/reader.c (copy_definition): Re-use CPP-outed code which
+ replace precedent remove.
+ * src/bison.simple: Remove #line before %%prologue because
+ %%input-line is wrong at this time.
+
+2001-12-10 Marc Autret <autret_m@epita.fr>
+
+ * src/reader.c (symbols_output): Clean up.
+ * src/output.c (output_gram, output): Clean up.
+
+2001-12-10 Akim Demaille <akim@epita.fr>
+
+ * src/lalr.c (initialize_lookaheads): New. Extracted from...
+ * src/LR0.c (set_state_table): here.
+ * src/lalr.c (lalr): Call it.
+
+2001-12-10 Akim Demaille <akim@epita.fr>
+
+ * src/state.h (shifts): Remove the `number' member: shifts are
+ attached to state, hence no longer need to be labelled with a
+ state number.
+
+2001-12-10 Akim Demaille <akim@epita.fr>
+
+ Now that states have a complete set of members, the linked list of
+ shifts is useless: just fill directly the state's shifts member.
+
+ * src/state.h (shifts): Remove the `next' member.
+ * src/LR0.c (first_state, last_state): Remove.
+ Adjust the callers.
+ (augment_automaton): Don't look for the shifts that must be added
+ a shift on EOF: it is those of the state we looked for! But now,
+ since shifts are attached, it is no longer needed to looking
+ merely by its id: its number.
+
+2001-12-10 Akim Demaille <akim@epita.fr>
+
+ * src/LR0.c (augment_automaton): Better variable locality.
+ Remove an impossible branch: if there is a state corresponding to
+ the start symbol being shifted, then there is shift for the start
+ symbol from the initial state.
+
+2001-12-10 Akim Demaille <akim@epita.fr>
+
+ * src/LR0.c (augment_automaton): Call `insert_eof_shifting_state'
+ only when appropriate: when insert_start_shifting_state' is not
+ invoked.
+ * tests/regression.at (Rule Line Numbers): Adjust.
+
2001-12-10 Akim Demaille <akim@epita.fr>
* src/LR0.c (augment_automaton): Now that all states have shifts,
merge the two cases addition shifts to the initial state.
-
2001-12-10 Akim Demaille <akim@epita.fr>
* src/lalr.c (set_state_table): Move to...
* src/LR0.c (generate_states): do it.
* src/LR0.h (first_state): Remove, only the table is used.
-
2001-12-10 Akim Demaille <akim@epita.fr>
* src/LR0.h (first_shift, first_reduction): Remove.
* src/lalr.c: Don't use first_shift: find shifts through the
states.
-
2001-12-10 Akim Demaille <akim@epita.fr>
* src/LR0.c: Attach shifts to states as soon as they are
* src/lalr.c (set_state_table): Instead of assigning shifts to
state, just assert that the mapping was properly done.
-
2001-12-10 Akim Demaille <akim@epita.fr>
* src/LR0.c (insert_start_shift): Rename as...
* src/reader.c (symbols_output): Likewise.
* src/vmsgetargs.c: Vaguely adjust, but who cares?
-
2001-12-10 Akim Demaille <akim@epita.fr>
* src/muscle_tab.c (muscle_init): NULL is a better default than
`"0"'.
-
2001-12-10 Akim Demaille <akim@epita.fr>
* src/reader.c (reader): Calling symbols_output once is enough.
-
2001-12-10 Akim Demaille <akim@epita.fr>
Now that states have a complete set of members, the linked list of
the reductions, then the states: free all the states and their
members.
-
2001-12-10 Akim Demaille <akim@epita.fr>
* src/options.c (OPTN, DRTV, BOTH): New.
(option_table): Use them.
-
* src/muscle_tab.c: Don't include xalloc.h and string.h: that's
the job of system.h.
* src/options.c: Don't include stdio.h and xalloc.h for the same
reasons.
-
2001-12-10 Akim Demaille <akim@epita.fr>
* src/output.c (output, prepare): Make sure the values of the
* m4/m4.m4: Remove.
* tests/Makefile.am: Adjust.
-
2001-12-10 Akim Demaille <akim@epita.fr>
One structure for states is enough, even though theoretically
* src/print_graph.c, src/LR0.c, src/LR0.h, src/conflicts.c
* src/lalr.c, src/lalr.h, src/output.c, src/print.c: Adjust.
-
2001-12-10 Akim Demaille <akim@epita.fr>
Bison dumps core on bash.y.