X-Git-Url: https://git.saurik.com/bison.git/blobdiff_plain/b608206ecab1f6b4b23c93be3dcfac86eeef55ee..448b17aa3cf36c87ef302b68a833ee93036a1c53:/ChangeLog?ds=sidebyside diff --git a/ChangeLog b/ChangeLog index 4edae40d..df5632d8 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,54 +1,140 @@ +2001-12-05 Akim Demaille + + * src/conflicts.c (err_table): Remove. + (resolve_sr_conflict): Adjust. + * src/lalr.h (state_t.reduction_table, state_t.shift_table): + Rename as... + (state_t.reductions, state_t.shifts): this. + +2001-12-05 Akim Demaille + + * 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 + + * src/output.c (pack_vector): Use assert, not berror. + * src/main.c (berror): Remove, unused. + +2001-12-05 Akim Demaille + + 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 + + * 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 + + * src/closure.c (print_closure): Improve. + (closure): Use it for printing input and output. + +2001-12-05 Akim Demaille + + * src/closure.c (FIRSTS, FDERIVES): Adjust to reality: they are + indexed by nonterminals. + +2001-12-05 Akim Demaille + + * 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 + + * src/closure.c (set_fderives): De-obfuscate. + +2001-12-05 Akim Demaille + + * src/closure.c (print_firsts, print_fderives): De-obfuscate. + +2001-12-05 Akim Demaille + + * src/closure.c (set_firsts): De-obfuscate. + +2001-12-05 Akim Demaille + + * src/output.c (action_row): De-obfuscate + using the good o' techniques: arrays not pointers, variable + locality, BITISSET, RESETBIT etc. + +2001-12-05 Akim Demaille + + Pessimize the code to simplify it: from now on, all the states + have a valid SHIFTS, which NSHIFTS is possibly 0. + + * src/LR0.c (shifts_new): Be global and move to.. + * src/state.c, src/state.h: here. + * src/conflicts, src/lalr.c, src/output.c, src/print.c, + * src/print_graph: Adjust. + +2001-12-05 Akim Demaille + + * src/state.h (SHIFT_DISABLE, SHIFT_IS_DISABLED): New. + * src/conflicts.c: Use it. + Restore a few missing `if (!SHIFT_IS_DISABLED)' which were + incorrectly ``simplified''. + +2001-12-05 Akim Demaille + + * src/conflicts.c (flush_shift, resolve_sr_conflict): De-obfuscate + using the good o' techniques: arrays not pointers, variable + locality, BITISSET, RESETBIT etc. + 2001-12-05 Akim Demaille * src/state.h (SHIFT_SYMBOL): New. * src/conflicts.c: Use it to deobfuscate. - 2001-12-05 Akim Demaille * src/conflicts.c (count_sr_conflicts, count_rr_conflicts) (print_reductions): De-obfuscate using the good o' techniques: arrays not pointers, variable locality, BITISSET. - 2001-12-05 Akim Demaille * src/conflicts.c (print_reductions): Arrays, not pointers. Use BITISSET. - 2001-12-05 Akim Demaille * src/conflicts.c (print_reductions): Pessimize, but clarify. - 2001-12-05 Akim Demaille * src/conflicts.c (print_reductions): Improve variable locality. - 2001-12-05 Akim Demaille * src/conflicts.c (print_reductions): Pessimize, but clarify. - 2001-12-05 Akim Demaille * src/conflicts.c (print_reductions): Improve variable locality. - 2001-12-05 Akim Demaille * src/state.h (SHIFT_IS_ERROR, SHIFT_IS_GOTO, SHIFT_IS_SHIFT): New. * src/lalr.c: Use them. - 2001-12-05 Akim Demaille * src/LR0.c (augment_automaton): Formatting changes. Better variable locality. - 2001-12-05 Akim Demaille * src/lalr.c (matrix_print): New. @@ -93,7 +179,6 @@ the handling of squeue. `symbol >= 0' is wrong now, use `rule_table[ruleno].useful'. - 2001-12-05 Akim Demaille Because useless nonterminals are now kept alive (instead of being @@ -116,14 +201,12 @@ (free_storage): Use `free', not `XFREE', for pointers that cannot be null. - 2001-12-05 Akim Demaille * src/nullable.c (set_nullable): Deobfuscate the handling of ritem. `symbol >= 0' is wrong now, use `rule_table[ruleno].useful'. - 2001-12-05 Akim Demaille * src/gram.c, src/gram.h (ritem_print): New. @@ -142,7 +225,7 @@ and may generate better code on some machines. (yystpcpy): Use prototype if __STDC__ is defined, not just if __cplusplus is defined. - + 2001-11-30 Akim Demaille * configure.in (WARNING_CFLAGS): Add -Werror when possible.