* src/closure.c (print_firsts, print_fderives): De-obfuscate.

[bison.git] / ChangeLog

diff --git a/ChangeLog b/ChangeLog
index 647503080ccd396181594d7cc43a6edbdf8838da..18fba633a43fd99d547829d92da3694daec753e6 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,9 +1,84 @@
+2001-12-05  Akim Demaille  <akim@epita.fr>
+
+       * src/closure.c (print_firsts, print_fderives): De-obfuscate.
+
+       
+2001-12-05  Akim Demaille  <akim@epita.fr>
+
+       * src/closure.c (set_firsts): De-obfuscate.
+
+2001-12-05  Akim Demaille  <akim@epita.fr>
+
+       * 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  <akim@epita.fr>
+
+       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  <akim@epita.fr>
+
+       * 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  <akim@epita.fr>
+
+       * 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  <akim@epita.fr>
+
+       * src/state.h (SHIFT_SYMBOL): New.
+       * src/conflicts.c: Use it to deobfuscate.
+
+2001-12-05  Akim Demaille  <akim@epita.fr>
+
+       * 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  <akim@epita.fr>
+
+       * src/conflicts.c (print_reductions): Arrays, not pointers.
+       Use BITISSET.
+
+2001-12-05  Akim Demaille  <akim@epita.fr>
+
+       * src/conflicts.c (print_reductions): Pessimize, but clarify.
+
+2001-12-05  Akim Demaille  <akim@epita.fr>
+
+       * src/conflicts.c (print_reductions): Improve variable locality.
+
+2001-12-05  Akim Demaille  <akim@epita.fr>
+
+       * src/conflicts.c (print_reductions): Pessimize, but clarify.
+
+2001-12-05  Akim Demaille  <akim@epita.fr>
+
+       * src/conflicts.c (print_reductions): Improve variable locality.
+
+2001-12-05  Akim Demaille  <akim@epita.fr>
+
+       * src/state.h (SHIFT_IS_ERROR, SHIFT_IS_GOTO, SHIFT_IS_SHIFT): New.
+       * src/lalr.c: Use them.
+

 2001-12-05  Akim Demaille  <akim@epita.fr>
 
        * src/LR0.c (augment_automaton): Formatting changes.
        Better variable locality.
 
 2001-12-05  Akim Demaille  <akim@epita.fr>
 
        * src/LR0.c (augment_automaton): Formatting changes.
        Better variable locality.
 

-       

 2001-12-05  Akim Demaille  <akim@epita.fr>
 
        * src/lalr.c (matrix_print): New.
 2001-12-05  Akim Demaille  <akim@epita.fr>
 
        * src/lalr.c (matrix_print): New.


@@ -48,7 +123,6 @@
        the handling of squeue.
        `symbol >= 0' is wrong now, use `rule_table[ruleno].useful'.
 
        the handling of squeue.
        `symbol >= 0' is wrong now, use `rule_table[ruleno].useful'.
 

-       

 2001-12-05  Akim Demaille  <akim@epita.fr>
 
        Because useless nonterminals are now kept alive (instead of being
 2001-12-05  Akim Demaille  <akim@epita.fr>
 
        Because useless nonterminals are now kept alive (instead of being


@@ -71,14 +145,12 @@
        (free_storage): Use `free', not `XFREE', for pointers that cannot
        be null.
 
        (free_storage): Use `free', not `XFREE', for pointers that cannot
        be null.
 

-       

 2001-12-05  Akim Demaille  <akim@epita.fr>
 
        * 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  <akim@epita.fr>
 
        * 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  <akim@epita.fr>
 
        * src/gram.c, src/gram.h (ritem_print): New.
 2001-12-05  Akim Demaille  <akim@epita.fr>
 
        * src/gram.c, src/gram.h (ritem_print): New.


@@ -97,7 +169,7 @@
        and may generate better code on some machines.
        (yystpcpy): Use prototype if __STDC__ is defined, not just
        if __cplusplus is defined.
        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  <akim@epita.fr>
 
        * configure.in (WARNING_CFLAGS): Add -Werror when possible.
 2001-11-30  Akim Demaille  <akim@epita.fr>
 
        * configure.in (WARNING_CFLAGS): Add -Werror when possible.