Future/bison
1
0
Fork 0
mirror of https://git.savannah.gnu.org/git/bison.git synced 2026-04-24 18:52:21 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
28769d608e16e9f1ebd8f7017bf3ee36395ccc5d
bison/tests
T
History
Akim Demaille b8c5e5609f cex: label all the derivations by their initial action 
From

    input.y: warning: reduce/reduce conflict on token $end [-Wcounterexamples]
      Example: A b .
      First derivation
        a
        `-> A b .
      Second derivation
        a
        `-> A b
              `-> b .

to

    input.y: warning: reduce/reduce conflict on token $end [-Wcounterexamples]
      Example: A b .
      First reduce derivation
        a
        `-> A b .
      Second reduce derivation
        a
        `-> A b
              `-> b .

* src/counterexample.c (print_counterexample): here.
Compute the width of the labels to properly align the values.
* tests/conflicts.at, tests/counterexample.at, tests/diagnostics.at,
* tests/report.at: Adjust.
2020-07-20 07:36:38 +02:00
..
.gitignore
graph: prefer *.gv to *.dot
2019-02-21 06:46:07 +01:00
actions.at
c++: get rid of global_tokens_and_yystype
2020-06-16 08:14:42 +02:00
atlocal.in
cex: don't assume the terminal supports "•"
2020-06-16 07:58:40 +02:00
bison.in
package: bump copyrights to 2020
2020-01-10 19:16:23 +01:00
c++.at
tests: don't use $VERBOSE
2020-06-29 06:45:44 +02:00
calc.at
c++: get rid of global_tokens_and_yystype
2020-06-16 08:14:42 +02:00
conflicts.at
cex: label all the derivations by their initial action
2020-07-20 07:36:38 +02:00
counterexample.at
cex: label all the derivations by their initial action
2020-07-20 07:36:38 +02:00
cxx-type.at
package: bump copyrights to 2020
2020-01-10 19:16:23 +01:00
diagnostics.at
cex: label all the derivations by their initial action
2020-07-20 07:36:38 +02:00
existing.at
cex: also include in the report on --report=counterexamples
2020-06-16 07:30:46 +02:00
glr-regression.at
cex: suggest -Wcounterexamples when there are unexpected conflicts
2020-06-10 09:51:39 +02:00
headers.at
error: rename the error token from YYERRCODE to YYerror
2020-04-28 07:54:07 +02:00
input.at
c++: by default, use const std::string for file names
2020-06-27 10:06:00 +02:00
java.at
java: rename package as api.package
2020-06-28 09:49:00 +02:00
javapush.at
java: fix coding style
2020-05-02 09:27:16 +02:00
linear
package: bump copyrights to 2020
2020-01-10 19:16:23 +01:00
local.at
diagnostics: use hyperlinks to point to the only documentation
2020-07-19 19:26:47 +02:00
local.mk
maint: make it easier to update expectations
2020-07-11 12:58:44 +02:00
m4.at
fix generated comments
2020-05-21 20:14:59 +02:00
named-refs.at
diagnostics: modernize the display of submessages
2020-02-15 08:28:40 +01:00
output.at
dot: also use a dot in the output
2020-07-03 06:51:57 +02:00
push.at
package: bump copyrights to 2020
2020-01-10 19:16:23 +01:00
reduce.at
cex: suggest -Wcounterexamples when there are unexpected conflicts
2020-06-10 09:51:39 +02:00
regression.at
parser: keep string aliases as the user wrote it
2020-06-13 16:56:40 +02:00
report.at
cex: label all the derivations by their initial action
2020-07-20 07:36:38 +02:00
scanner.at
d: put YYEMPTY in the TokenKind
2020-04-13 16:49:54 +02:00
sets.at
style: use 'nonterminal' consistently
2020-06-27 11:39:32 +02:00
skeletons.at
skeletons: use "end of file" instead of "$end"
2020-04-12 13:56:44 +02:00
synclines.at
package: bump copyrights to 2020
2020-01-10 19:16:23 +01:00
testsuite.at
cex: add tests
2020-05-22 07:52:27 +02:00
testsuite.h
tests: simplify prologue
2019-11-03 10:32:22 +01:00
torture.at
style: s/lookahead_tokens/lookaheads/g
2020-07-14 06:48:48 +02:00
types.at
style: rename user_token_number as code
2020-05-23 08:43:58 +02:00