]> git.saurik.com Git - bison.git/blame_incremental - ChangeLog
projects / bison.git / blame_incremental
? search:
summary | shortlog | log | commit | commitdiff | tree
blob | blame (non-incremental) | history | HEAD
* src/LR0.c (augment_automaton): Now that all states have shifts,
[bison.git] / ChangeLog
... / ...
CommitLineData
12001-12-10 Akim Demaille <akim@epita.fr>
2
3 * src/LR0.c (augment_automaton): Now that all states have shifts,
4 merge the two cases addition shifts to the initial state.
5
6
72001-12-10 Akim Demaille <akim@epita.fr>
8
9 * src/lalr.c (set_state_table): Move to...
10 * src/LR0.c: here.
11 * src/lalr.c (lalr): Don't call it...
12 * src/LR0.c (generate_states): do it.
13 * src/LR0.h (first_state): Remove, only the table is used.
14
15
162001-12-10 Akim Demaille <akim@epita.fr>
17
18 * src/LR0.h (first_shift, first_reduction): Remove.
19 * src/lalr.c: Don't use first_shift: find shifts through the
20 states.
21
22
232001-12-10 Akim Demaille <akim@epita.fr>
24
25 * src/LR0.c: Attach shifts to states as soon as they are
26 computed.
27 * src/lalr.c (set_state_table): Instead of assigning shifts to
28 state, just assert that the mapping was properly done.
29
30
312001-12-10 Akim Demaille <akim@epita.fr>
32
33 * src/LR0.c (insert_start_shift): Rename as...
34 (insert_start_shifting_state): this.
35 (insert_eof_shifting_state, insert_accepting_state): New.
36 (augment_automaton): Adjust.
37 Better locality of the variables.
38 When looking if the start_symbol is shifted from the initial
39 state, using `while (... symbol != start_symbol ...)' sounds
40 better than `while (... symbol < start_symbol ...)': If fail
41 to see how the order between symbols could be relevant!
42
432001-12-10 Akim Demaille <akim@epita.fr>
44
45 * src/getargs.h: Don't declare `spec_name_prefix' and
46 `spec_file_prefix', declared by src/files.h.
47 * src/files.c, src/files.h: Default for spec_name_prefix is "yy".
48 * src/muscle_tab.c (muscle_init): Default prefix to NULL.
49 * src/output.c (prepare): Adjust.
50 * src/reader.c (symbols_output): Likewise.
51 * src/vmsgetargs.c: Vaguely adjust, but who cares?
52
53
542001-12-10 Akim Demaille <akim@epita.fr>
55
56 * src/muscle_tab.c (muscle_init): NULL is a better default than
57 `"0"'.
58
59
602001-12-10 Akim Demaille <akim@epita.fr>
61
62 * src/reader.c (reader): Calling symbols_output once is enough.
63
64
652001-12-10 Akim Demaille <akim@epita.fr>
66
67 Now that states have a complete set of members, the linked list of
68 reductions is useless: just fill directly the state's reductions
69 member.
70
71 * src/state.h (struct reductions): Remove member `number' and
72 `next'.
73 * src/LR0.c (first_reduction, last_reduction): Remove.
74 (save_reductions): Don't link the new reductions, store them in
75 this_state.
76 * src/lalr.c (set_state_table): No need to attach reductions to
77 states, it's already done.
78 * src/output.c (output_actions): No longer free the shifts, then
79 the reductions, then the states: free all the states and their
80 members.
81
82
832001-12-10 Akim Demaille <akim@epita.fr>
84
85 * src/options.c (OPTN, DRTV, BOTH): New.
86 (option_table): Use them.
87
88
89 * src/muscle_tab.c: Don't include xalloc.h and string.h: that's
90 the job of system.h.
91 * src/options.c: Don't include stdio.h and xalloc.h for the same
92 reasons.
93
94
952001-12-10 Akim Demaille <akim@epita.fr>
96
97 * src/output.c (output, prepare): Make sure the values of the
98 muscles `action' and `prologue' are 0-terminated.
99
1002001-12-10 Akim Demaille <akim@epita.fr>
101
102 Clean up GCC warnings.
103
104 * src/reader.c (copy_action): `buf' is not used.
105 (parse_skel_decl): Be static.
106 * src/muscle_tab.c (mhash1, mhash2, muscle_insert): Preserve `const'.
107 * src/options.h (create_long_option_table): Have a real prototype.
108 * lib/hash.c, lib/hash.h (hash_insert, hash_insert_at, hash_delete)
109 (hash_delete_at): Return const void *.
110 Adjust casts to preserve the const.
111
1122001-12-10 Akim Demaille <akim@epita.fr>
113
114 * configure.in: Require 2.52g.
115 M4 is not needed, but AUTOM4TE is.
116 * m4/m4.m4: Remove.
117 * tests/Makefile.am: Adjust.
118
119
1202001-12-10 Akim Demaille <akim@epita.fr>
121
122 One structure for states is enough, even though theoretically
123 there are LR(0) states and LALR(1) states.
124
125 * src/lalr.h (state_t): Remove.
126 (state_table): Be state_t **, not state_t *.
127 * src/state.h (core, CORE_ALLOC): Rename as...
128 (state_t, STATE_ALLOC): this.
129 Add the LALR(1) members: shifts, reductions, errs.
130 * src/LR0.c (state_table): Rename as...
131 (state_hash): this, to avoid name clashes with the global
132 `state_table'.
133 * src/print_graph.c, src/LR0.c, src/LR0.h, src/conflicts.c
134 * src/lalr.c, src/lalr.h, src/output.c, src/print.c: Adjust.
135
136
1372001-12-10 Akim Demaille <akim@epita.fr>
138
139 Bison dumps core on bash.y.
140 Reported by Pascal Bart.
141
142 * src/warshall.c (bitmatrix_print): New.
143 (TC): Use it.
144 When performing a transitive closure R(i, j) && R(j, k) => R(i, k),
145 j must be the outer loop.
146 * tests/regression.at (Broken Closure): New.
147
1482001-12-05 Akim Demaille <akim@epita.fr>
149
150 * tests/atlocal.in (CPPFLAGS): Do not leave a space between -I and
151 its argument.
152