diff options
author | Akim Demaille <akim.demaille@gmail.com> | 2020-07-28 19:50:22 +0200 |
---|---|---|
committer | Akim Demaille <akim.demaille@gmail.com> | 2020-08-30 19:20:49 +0200 |
commit | 3c36d871fad4d9d762f8daf0537ff28803f18397 (patch) | |
tree | a7f0fcd7b6414790af157ac0ed7ad8b6898a3f69 /NEWS | |
parent | 2becdace960a1d93095a7ae015c16d69757f29f8 (diff) | |
download | bison-3c36d871fad4d9d762f8daf0537ff28803f18397.tar.gz |
cex: display the rule numbers
From
Example: "if" expr "then" "if" expr "then" stmt • "else" stmt
Shift derivation
if_stmt
↳ "if" expr "then" stmt
↳ if_stmt
↳ "if" expr "then" stmt • "else" stmt
Reduce derivation
if_stmt
↳ "if" expr "then" stmt "else" stmt
↳ if_stmt
↳ "if" expr "then" stmt •
to
Example: "if" expr "then" "if" expr "then" stmt • "else" stmt
Shift derivation
if_stmt
↳ 3: "if" expr "then" stmt
↳ 2: if_stmt
↳ 4: "if" expr "then" stmt • "else" stmt
Example: "if" expr "then" "if" expr "then" stmt • "else" stmt
Reduce derivation
if_stmt
↳ 4: "if" expr "then" stmt "else" stmt
↳ 2: if_stmt
↳ 3: "if" expr "then" stmt •
* src/state-item.h, src/state-item.c (state_item_rule): New.
* src/derivation.h, src/derivation.c (struct derivation): Add a rule
member.
Adjust dependencies.
* src/counterexample.c, src/parse-simulation.c: Pass the rule to
derivation_new.
* src/derivation.c (fprintf_if): New.
(derivation_width, derivation_print_tree_impl): Take the rule number
into account.
* tests/conflicts.at, tests/counterexample.at, tests/diagnostics.at,
* tests/report.at: Adjust.
* doc/bison.texi: Adjust.
Diffstat (limited to 'NEWS')
-rw-r--r-- | NEWS | 21 |
1 files changed, 17 insertions, 4 deletions
@@ -2,12 +2,10 @@ GNU Bison NEWS * Noteworthy changes in release ?.? (????-??-??) [?] -** Bug fixes - - Push parsers use YYMALLOC/YYFREE instead of direct calls to malloc/free. - ** Changes +*** A C++ native GLR parser + A new version of the generated C++ GLR parser was added as "glr2.cc". It is forked from the existing glr.c/cc parser, with the objective of making it a more modern, truly C++ parser (instead of a C++ wrapper around a C @@ -19,6 +17,21 @@ GNU Bison NEWS %skeleton "glr2.cc" +*** Counterexamples + + Counterexamples now show the rule numbers: + + exp + ↳ 1: "if" exp "then" exp + ↳ 2: "if" exp "then" exp • "else" exp + + instead of + + exp + ↳ "if" exp "then" exp + ↳ "if" exp "then" exp • "else" exp + + * Noteworthy changes in release 3.7.1 (2020-08-02) [stable] ** Bug fixes |