+2002-06-30 Akim Demaille <akim@epita.fr>
+
+ * src/state.h, src/state.c (shifts_to): New.
+ * src/lalr.c (build_relations): Use it.
+
+
+2002-06-30 Akim Demaille <akim@epita.fr>
+
+ * src/gram.h (rule_number_t, RULE_NUMBER_MAX, int_of_rule_number)
+ (item_number_of_rule_number, rule_number_of_item_number): New.
+ * src/LR0.c, src/closure.c, src/derives.c, src/derives.h,
+ * src/gram.c, src/lalr.c, src/nullable.c, src/output.c, src/print.c,
+ * src/print_graph.c, src/reader.c, src/reduce.c, src/reduce.h:
+ Propagate their use.
+ Much remains to be done, in particular wrt `shorts' from types.h.
+
+
+2002-06-30 Akim Demaille <akim@epita.fr>
+
+ * src/symtab.c (symbol_new): Initialize the `printer' member.
+
+
+2002-06-30 Akim Demaille <akim@epita.fr>
+
+ * src/LR0.c (save_reductions): Remove, replaced by...
+ * src/state.h, src/state.c (state_reductions_set): New.
+ (reductions, errs): Rename as...
+ (reductions_t, errs_t): these.
+ Adjust all dependencies.
+
+
+2002-06-30 Akim Demaille <akim@epita.fr>
+
+ * src/LR0.c (state_list_t, state_list_append): New.
+ (first_state, last_state): Now symbol_list_t.
+ (this_state): Remove.
+ (new_itemsets, append_states, save_reductions): Take a state_t as
+ argument.
+ (set_states, generate_states): Adjust.
+ (save_shifts): Remove, replaced by...
+ * src/state.h, src/state.c (state_shifts_set): New.
+ (shifts): Rename as...
+ (shifts_t): this.
+ Adjust all dependencies.
+ * src/state.h (state_t): Remove the `next' member.
+
+
+2002-06-30 Akim Demaille <akim@epita.fr>
+
+ * src/vcg.c (quote): Use slot 2, since we often pass symbol tag
+ escaped in slot 0.
+
+
+2002-06-30 Akim Demaille <akim@epita.fr>
+
+ Use hash.h for the state hash table.
+
+ * src/LR0.c (STATE_HASH_SIZE, state_hash): Remove.
+ (allocate_storage): Use state_hash_new.
+ (free_storage): Use state_hash_free.
+ (new_state, get_state): Adjust.
+ * src/lalr.h, src/lalr.c (states): Move to...
+ * src/states.h (state_t): Remove the `link' member, no longer
+ used.
+ * src/states.h, src/states.c: here.
+ (state_hash_new, state_hash_free, state_hash_lookup)
+ (state_hash_insert, states_free): New.
+ * src/states.c (state_table, state_compare, state_hash): New.
+ * src/output.c (output_actions): Do not free states now, since we
+ still need to know the final_state number in `prepare', called
+ afterwards. Do it...
+ * src/main.c (main): here: call states_free after `output'.
+
+
+2002-06-30 Akim Demaille <akim@epita.fr>
+
+ Use hash.h for the state hash table.
+
+ * src/LR0.c (STATE_HASH_SIZE, state_hash): Remove.
+ (allocate_storage): Use state_hash_new.
+ (free_storage): Use state_hash_free.
+ (new_state, get_state): Adjust.
+ * src/lalr.h, src/lalr.c (states): Move to...
+ * src/states.h (state_t): Remove the `link' member, no longer
+ used.
+ * src/states.h, src/states.c: here.
+ (state_hash_new, state_hash_free, state_hash_lookup)
+ (state_hash_insert, states_free): New.
+ * src/states.c (state_table, state_compare, state_hash): New.
+ * src/output.c (output_actions): Do not free states now, since we
+ still need to know the final_state number in `prepare', called
+ afterwards. Do it...
+ * src/main.c (main): here: call states_free after `output'.
+
+
+2002-06-30 Akim Demaille <akim@epita.fr>
+
+ * src/state.h, src/state.c (state_new): New, extracted from...
+ * src/LR0.c (new_state): here.
+ * src/state.h (STATE_ALLOC): Move to...
+ * src/state.c: here.
+ * src/LR0.h, src/LR0.c (nstates, final_state): Move to...
+ * src/state.h, src/state.c: here.
+
+
+2002-06-30 Akim Demaille <akim@epita.fr>
+
+ * src/reader.c (gensym): Rename as...
+ * src/symtab.h, src/symtab.c (dummy_symbol_get): this.
+ (getsym): Rename as...
+ (symbol_get): this.
+
+
+2002-06-30 Akim Demaille <akim@epita.fr>
+
+ * src/state.h (state_number_t, STATE_NUMBER_MAX): New.
+ * src/LR0.c, src/LR0.h, src/conflicts.c, src/lalr.c, src/lalr.h,
+ * src/output.c, src/print.c, src/print_graph.c: Propagate.
+ * src/LR0.h, src/LR0.h (final_state): Is a state_t*.
+
+2002-06-30 Akim Demaille <akim@epita.fr>
+
+ Make the test suite pass with warnings checked.
+
+ * tests/actions.at (Printers and Destructors): Improve.
+ Avoid unsigned vs. signed issues.
+ * tests/calc.at: Don't exercise the scanner here, do it...
+ * tests/input.at (Torturing the Scanner): here.
+
+
+2002-06-28 Paul Hilfinger <Hilfinger@CS.Berkeley.EDU>
+
+ * data/glr.c: Correct typo in Emacs-mode directive. Slightly
+ reorganize first lines parallel to yacc.c.
+
+2002-06-28 Akim Demaille <akim@epita.fr>
+
+ * data/c.m4 (b4_copyright, b4_sint_type, b4_uint_type, b4_token_define)
+ (b4_token_enum, b4_token_defines): New, factored from...
+ * data/lalr1.cc, data/yacc.c, glr.c: here.
+
2002-06-28 Akim Demaille <akim@epita.fr>
* data/yacc.c (yydestruct, yysymprint): Pacify GCC warnings for
projects / bison.git / blobdiff