+2001-12-05 Akim Demaille <akim@epita.fr>
+
+ * src/reduce.c (reduce_grammar_tables): No longer disable the
+ removal of useless rules via CPP but via `if (0)', so that the
+ compiler still check the code is valid.
+ For instance, it should have noticed `rline' no longer exists: use
+ the `line' member of rule_t.
+ * src/gram.c (dummy, rline): Remove, unused.
+
+
+2001-12-05 Akim Demaille <akim@epita.fr>
+
+ * src/output.c (pack_vector): Use assert, not berror.
+ * src/main.c (berror): Remove, unused.
+
+2001-12-05 Akim Demaille <akim@epita.fr>
+
+ New experimental feature: if --verbose --trace output all the
+ items of a state, not only its kernel.
+
+ * src/print.c (print_core): If `trace_flag', then invoke closure
+ before outputting the items of the state (print_core is no longer
+ a correct name them).
+ (print_results): Invoke new_closure/free_closure if needed.
+
+2001-12-05 Akim Demaille <akim@epita.fr>
+
+ * src/LR0.c (new_itemsets): Use nshifts only, not shiftcount.
+ * src/closure.c, src/closure.h (itemsetsize): Rename as...
+ (nitemset): for consistency with the rest of the project.
+
+
+2001-12-05 Akim Demaille <akim@epita.fr>
+
+ * src/closure.c (print_closure): Improve.
+ (closure): Use it for printing input and output.
+
+
+2001-12-05 Akim Demaille <akim@epita.fr>
+
+ * src/closure.c (FIRSTS, FDERIVES): Adjust to reality: they are
+ indexed by nonterminals.
+
+
+2001-12-05 Akim Demaille <akim@epita.fr>
+
+ * src/warshall.c (TC, RTC): De-obsfucate (source reduced to 22% of
+ what it was!).
+ * src/warshall.h: Remove accidental duplication of the content.
+
+
+2001-12-05 Akim Demaille <akim@epita.fr>
+
+ * src/closure.c (set_fderives): De-obfuscate.
+
+
2001-12-05 Akim Demaille <akim@epita.fr>
* src/closure.c (print_firsts, print_fderives): De-obfuscate.