+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.