X-Git-Url: https://git.saurik.com/bison.git/blobdiff_plain/3325ddc49c7b31f2670d03d1e3b59c2636650af3..d5629ce34ac7b463d4bf27993ee77d01c79b2532:/ChangeLog

diff --git a/ChangeLog b/ChangeLog
index bfa1ed26..d9e3482a 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,62 @@
+2002-08-02  Akim Demaille  <akim@epita.fr>
+
+	* src/conflicts.c (conflicts_output): Don't output rules never
+	reduced here, since anyway that computation doesn't work.
+	* src/gram.h, src/gram.h (rule_filter_t, rule_useful_p)
+	(rule_useless_p, rule_never_reduced_p): New.
+	(grammar_rules_partial_print): Use a filter instead of a range.
+	Display the title only if needed.
+	(grammar_rules_print): Adjust.
+	(grammar_rules_never_reduced_report): New.
+	* src/tables.c (action_row): Move the computation of rules never
+	reduced to...
+	(token_actions): here.
+	* src/main.c (main): Make the parser before making the report, so
+	that rules never reduced are computed.
+	Call grammar_rules_never_reduced_report.
+	* src/print.c (print_results): Report rules never reduced.
+	* tests/conflicts.at, tests/reduce.at: Adjust.
+
+2002-08-01  Akim Demaille  <akim@epita.fr>
+
+	Instead of attaching lookaheads and duplicating the rules being
+	reduced by a state, attach the lookaheads to the reductions.
+
+	* src/state.h (state_t): Remove the `lookaheads',
+	`lookaheads_rule' member.
+	(reductions_t): Add a `lookaheads' member.
+	Use a regular array for the `rules'.
+	* src/state.c (reductions_new): Initialize the lookaheads member
+	to 0.
+	(state_rule_lookaheads_print): Adjust.
+	* src/state.h, src/state.c (state_reductions_find): New.
+	* src/conflicts.c (resolve_sr_conflict, set_conflicts)
+	(count_rr_conflicts): Adjust.
+	* src/lalr.c (LArule): Remove.
+	(add_lookback_edge): Adjust.
+	(state_lookaheads_count): New.
+	(states_lookaheads_initialize): Merge into...
+	(initialize_LA): this.
+	(lalr_free): Adjust.
+	* src/main.c (main): Don't free nullable and derives too early: it
+	is used by --verbose.
+	* src/print.c, src/print_graph.c, src/tables.c: Adjust.
+
+2002-08-01  Akim Demaille  <akim@epita.fr>
+
+	* src/derives.h, src/derives.c (derives): A `rule_t***' instead of
+	`rule_number_t**'.
+	(set_derives, free_derives): Rename as...
+	(derives_compute, derives_free): this.
+	Adjust all dependencies.
+	* src/nullable.c (set_nullable, free_nullable): Rename as...
+	(nullable_compute, nullable_free): these.
+	(rule_list_t): Store rule_t *, not rule_number_t.
+	* src/state.c (state_rule_lookaheads_print): Directly compare rule
+	pointers, instead of their numbers.
+	* src/main.c (main): Call nullable_free, and derives_free earlier,
+	as they were lo longer used.
+
 2002-08-01  Akim Demaille  <akim@epita.fr>
 
 	* lib/timevar.c (get_time): Include children time.