X-Git-Url: https://git.saurik.com/bison.git/blobdiff_plain/260008e546ee1ef9b2c9946f3e97726c015222ef..ccaf65bc6331dfb0684876a7475c6474b99125ea:/ChangeLog

diff --git a/ChangeLog b/ChangeLog
index ba92a1f9..014a56cd 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,95 @@
+2002-06-30  Akim Demaille  <akim@epita.fr>
+
+	* src/state.h, src/state.c (shift_t, SHIFT_SYMBOL, SHIFT_IS_SHIFT)
+	(SHIFT_IS_GOTO, SHIFT_IS_ERROR, SHIFT_DISABLE, SHIFT_IS_DISABLED)
+	(shifts_to): Rename as...
+	(transition_t, TRANSITION_SYMBOL, TRANSITION_IS_TRANSITION)
+	(TRANSITION_IS_GOTO, TRANSITION_IS_ERROR, TRANSITION_DISABLE)
+	(TRANSITION_IS_DISABLED, transitions_to): these.
+
+	
+2002-06-30  Akim Demaille  <akim@epita.fr>
+
+	* src/print.c (print_shifts, print_gotos): Merge into...
+	(print_transitions): this.
+	(print_transitions, print_errs, print_reductions): Align the
+	lookaheads columns.
+	(print_core, print_transitions, print_errs, print_state,
+	print_grammar): Output empty lines separator before, not after.
+	(state_default_rule_compute): Rename as...
+	(state_default_rule): this.
+	* tests/conflicts.at (Defaulted Conflicted Reduction),
+	(Unresolved SR Conflicts, Resolved SR Conflicts): Adjust.
+	* tests/regression.at (Rule Line Numbers, Web2c Report): Adjust.
+
+2002-06-30  Akim Demaille  <akim@epita.fr>
+
+	Display items as we display rules.
+
+	* src/gram.h, src/gram.c (rule_lhs_print): New.
+	* src/gram.c (grammar_rules_partial_print): Use it.
+	* src/print.c (print_core): Likewise.
+	* tests/conflicts.at (Defaulted Conflicted Reduction),
+	(Unresolved SR Conflicts): Adjust.
+	(Unresolved SR Conflicts): Adjust and rename as...
+	(Resolved SR Conflicts): this, as was meant.
+	* tests/regression.at (Web2c Report): Adjust.
+
+2002-06-30  Akim Demaille  <akim@epita.fr>
+
+	* src/print.c (state_default_rule_compute): New, extracted from...
+	(print_reductions): here.
+	Pessimize, but clarify the code.
+	* tests/conflicts.at (Defaulted Conflicted Reduction): New.
+
+2002-06-30  Akim Demaille  <akim@epita.fr>
+
+	* src/output.c (action_row): Let default_rule be always a rule
+	number.
+
+	
+2002-06-30  Akim Demaille  <akim@epita.fr>
+
+	* src/closure.c (print_firsts, print_fderives, closure):
+	Use BITSET_EXECUTE.
+	* src/lalr.c (lookaheads_print): Likewise.
+	* src/state.c (state_rule_lookaheads_print): Likewise.
+	* src/print_graph.c (print_core): Likewise.
+	* src/print.c (print_reductions): Likewise.
+	* src/output.c (action_row): Likewise.
+	Use SHIFT_IS_DISABLED, SHIFT_IS_SHIFT and SHIFT_SYMBOL.
+
+	
+2002-06-30  Akim Demaille  <akim@epita.fr>
+
+	* src/print_graph.c: Use report_flag.
+
+	
+2002-06-30  Akim Demaille  <akim@epita.fr>
+
+	* src/lalr.c (traverse, digraph, matrix_print, transpose): Move
+	to...
+	* src/relation.h, src/relation.c (traverse, relation_digraph)
+	(relation_print, relation_transpose): New.
+
+	
+2002-06-30  Akim Demaille  <akim@epita.fr>
+
+	* src/state.h, src/state.c (shifts_to): New.
+	* src/lalr.c (build_relations): Use it.
+
+	
+2002-06-30  Akim Demaille  <akim@epita.fr>
+
+	* src/gram.h (rule_number_t, RULE_NUMBER_MAX, int_of_rule_number)
+	(item_number_of_rule_number, rule_number_of_item_number): New.
+	* src/LR0.c, src/closure.c, src/derives.c, src/derives.h,
+	* src/gram.c, src/lalr.c, src/nullable.c, src/output.c, src/print.c,
+	* src/print_graph.c, src/reader.c, src/reduce.c, src/reduce.h:
+	Propagate their use.
+	Much remains to be done, in particular wrt `shorts' from types.h.
+
+	
 2002-06-30  Akim Demaille  <akim@epita.fr>
 
 	* src/symtab.c (symbol_new): Initialize the `printer' member.