X-Git-Url: https://git.saurik.com/bison.git/blobdiff_plain/78af9bbcd3cc7904cf304a3da91b45fe9528dd3c..74392f6a54a667ced35be695c0ed24b0803e40b6:/ChangeLog

diff --git a/ChangeLog b/ChangeLog
index dbf340ac..bcb0024a 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,53 @@
+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...
+	(insert_start_shifting_state): this.
+	(insert_eof_shifting_state, insert_accepting_state): New.
+	(augment_automaton): Adjust.
+	Better locality of the variables.
+	When looking if the start_symbol is shifted from the initial
+	state, using `while (... symbol != start_symbol ...)' sounds
+	better than `while (... symbol < start_symbol ...)': If fail
+	to see how the order between symbols could be relevant!
+
 2001-12-10  Akim Demaille  <akim@epita.fr>
 
 	* src/getargs.h: Don't declare `spec_name_prefix' and