X-Git-Url: https://git.saurik.com/bison.git/blobdiff_plain/0ab3728b128584655dec71591b8e5ba0093baece..190c4f5f0a0dac47157adea6250cb88bf0ac39ff:/ChangeLog

diff --git a/ChangeLog b/ChangeLog
index 0f175943..1df9c0a2 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,63 @@
+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: here.
+	* src/lalr.c (lalr): Don't call it...
+	* 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
+	computed.
+	* 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...