index
:
delta/bison.git
GCC
akim
baserock/bootstrap
baserock/mikedrake/bison/v3.0.2
baserock/morph
baserock/pedroalvarez/v3.0.2
baserock/v3.0.2
baserock/v3.0.4+gnits
bison-1_29-branch
branch-2.4.1
branch-2.4.2
branch-2.4.3
branch-2.5
candidates/create-pipe-bidi
candidates/lib-local-mk
candidates/make-symbol-glr
candidates/named-ref-free
candidates/quotes
candidates/semantic-error-messages
libbitset
maint
master
next
git.savannah.gnu.org: git/bison.git
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
tests
/
counterexample.at
Commit message (
Expand
)
Author
Age
Files
Lines
*
package: bump copyrights to 2022
Paul Eggert
2022-01-15
1
-1
/
+1
*
Update URLs to prefer https: to http:
Paul Eggert
2021-01-29
1
-1
/
+1
*
package: bump copyrights to 2021
Akim Demaille
2021-01-16
1
-1
/
+1
*
cex: always show ε/%empty in counterexamples
Akim Demaille
2020-09-02
1
-52
/
+52
*
cex: display the rule numbers
Akim Demaille
2020-08-30
1
-185
/
+185
*
cex: label all the derivations by their initial action
Akim Demaille
2020-07-20
1
-114
/
+114
*
cex: improve readability of the subsections
Akim Demaille
2020-07-20
1
-40
/
+40
*
cex: don't issue an empty line between counterexamples
Akim Demaille
2020-07-20
1
-54
/
+0
*
cex: use usual routines for diagnostics about S/R conflicts
Akim Demaille
2020-07-20
1
-34
/
+34
*
cex: use usual routines for diagnostics about R/R conflicts
Akim Demaille
2020-07-20
1
-20
/
+20
*
cex: display derivations as trees
Akim Demaille
2020-07-18
1
-4
/
+448
*
cex: simplify tests
Akim Demaille
2020-07-15
1
-34
/
+20
*
cex: display shifts before reductions
Akim Demaille
2020-07-14
1
-50
/
+50
*
cex: prefer → to ::=
Akim Demaille
2020-07-11
1
-54
/
+54
*
cex: display all the S/R conflicts, not just one per (state, rule)
Akim Demaille
2020-06-23
1
-0
/
+10
*
cex: don't display twice unifying examples if there is no color
Akim Demaille
2020-06-22
1
-12
/
+0
*
cex: fix reporting of null nonterminals
Vincent Imbimbo
2020-06-22
1
-10
/
+10
*
cex: don't assume the terminal supports "•"
Akim Demaille
2020-06-16
1
-108
/
+108
*
cex: indent the diagnostics to highlight the structure
Akim Demaille
2020-06-16
1
-100
/
+100
*
cex: don't report the items
Akim Demaille
2020-06-16
1
-50
/
+0
*
cex: suggest -Wcounterexamples when there are unexpected conflicts
Akim Demaille
2020-06-10
1
-31
/
+31
*
cex: rename -Wcounterexample as -Wcounterexamples, and support -Wcex
Akim Demaille
2020-06-10
1
-1
/
+1
*
cex: color the counterexamples
Akim Demaille
2020-06-07
1
-88
/
+100
*
cex: enforce case for tokens/nonterminals
Akim Demaille
2020-06-07
1
-25
/
+25
*
cex: reformat the s/r and r/r reports
Akim Demaille
2020-06-07
1
-54
/
+29
*
tests: fix expectations
Akim Demaille
2020-05-24
1
-2
/
+2
*
cex: clean the display of conflicted symbols
Akim Demaille
2020-05-23
1
-8
/
+8
*
cex: tests: be robust to variations in time limit reports
Akim Demaille
2020-05-22
1
-15
/
+24
*
cex: fix stack overflow
Vincent Imbimbo
2020-05-22
1
-1
/
+78
*
cex: fix crash from zombie result
Vincent Imbimbo
2020-05-22
1
-2
/
+2
*
cex: fixes, and enable tests
Akim Demaille
2020-05-22
1
-32
/
+201
*
cex: add tests
Vincent Imbimbo
2020-05-22
1
-0
/
+356
