1 |
2001-12-27 Akim Demaille <akim@epita.fr> |
2001-12-27 Akim Demaille <akim@epita.fr> |
2 |
|
|
3 |
|
* tests/regression.at (Unresolved SR Conflicts): |
4 |
|
(Solved SR Conflicts, Rule Line Numbers): Adjust to the changes |
5 |
|
below. |
6 |
|
|
7 |
|
|
8 |
|
* src/LR0.c (new_state): Recognize the final state by the fact it |
9 |
|
is reached by eoftoken. |
10 |
|
(insert_start_shifting_state, insert_eof_shifting_state) |
11 |
|
(insert_accepting_state, augment_automaton): Remove, since now |
12 |
|
these states are automatically computed from the initial state. |
13 |
|
(generate_states): Adjust. |
14 |
|
* src/print.c: When reporting a rule number to the user, substract |
15 |
|
1, so that the axiom rule is rule 0, and the first user rule is 1. |
16 |
|
* src/reduce.c: Likewise. |
17 |
|
* src/print_graph.c (print_core): For the time being, just as for |
18 |
|
the report, depend upon --trace-flags to dump the full set of |
19 |
|
items. |
20 |
|
* src/reader.c (readgram): Once the grammar read, insert the rule |
21 |
|
0: `$axiom: START-SYMBOL $'. |
22 |
|
* tests/set.at: Adjust: rule 0 is now displayed, and since the |
23 |
|
number of the states has changed (the final state is no longer |
24 |
|
necessarily the last), catch up. |
25 |
|
* tests/regression.at: Partly catch up. |
26 |
|
|
27 |
|
|
28 |
|
2001-12-27 Akim Demaille <akim@epita.fr> |
29 |
|
|
30 |
* src/LR0.c (new_state): Recognize the final state by the fact it |
* src/LR0.c (new_state): Recognize the final state by the fact it |
31 |
is reached by eoftoken. |
is reached by eoftoken. |
32 |
(insert_start_shifting_state, insert_eof_shifting_state) |
(insert_start_shifting_state, insert_eof_shifting_state) |