summaryrefslogtreecommitdiff
path: root/tests/conflicts.at
Commit message (Expand)AuthorAgeFilesLines
* cex: provide the user with a means to change the timeoutAkim Demaille2022-09-161-1/+1
* package: bump copyrights to 2022Paul Eggert2022-01-151-1/+1
* tests: rename AT_YACC_IF as AT_YACC_C_IFAkim Demaille2021-08-061-1/+1
* traces: display the Bison versionAkim Demaille2021-01-301-1/+2
* Update URLs to prefer https: to http:Paul Eggert2021-01-291-1/+1
* package: bump copyrights to 2021Akim Demaille2021-01-161-1/+1
* cex: fix tracesAkim Demaille2021-01-161-1/+279
* java: lac: a stronger test for the exploratory stackAkim Demaille2020-11-061-1/+1
* report: put the dot after %empty in itemsAkim Demaille2020-10-071-16/+16
* deprecate %defines in favor of %headerAkim Demaille2020-09-191-2/+2
* cex: always show ε/%empty in counterexamplesAkim Demaille2020-09-021-6/+6
* cex: display the rule numbersAkim Demaille2020-08-301-22/+22
* glr2.cc: fork glr.cc to a c++ versionValentin Tolmer2020-08-301-1/+1
* tests: fixesAkim Demaille2020-07-231-2/+2
* cex: make "rerun with '-Wcex'" a note instead of a warningAkim Demaille2020-07-211-17/+27
* cex: label all the derivations by their initial actionAkim Demaille2020-07-201-6/+6
* cex: improve readability of the subsectionsAkim Demaille2020-07-201-8/+8
* cex: use usual routines for diagnostics about S/R conflictsAkim Demaille2020-07-201-3/+3
* cex: use usual routines for diagnostics about R/R conflictsAkim Demaille2020-07-201-3/+3
* cex: display derivations as treesAkim Demaille2020-07-181-13/+51
* cex: display shifts before reductionsAkim Demaille2020-07-141-10/+10
* cex: prefer → to ::=Akim Demaille2020-07-111-12/+12
* cex: display all the S/R conflicts, not just one per (state, rule)Akim Demaille2020-06-231-0/+8
* cex: don't display twice unifying examples if there is no colorAkim Demaille2020-06-221-5/+1
* cex: don't assume the terminal supports "•"Akim Demaille2020-06-161-20/+20
* cex: also include in the report on --report=counterexamplesAkim Demaille2020-06-161-0/+45
* cex: suggest -Wcounterexamples when there are unexpected conflictsAkim Demaille2020-06-101-0/+17
* skeletons: use "end of file" instead of "$end"Akim Demaille2020-04-121-15/+15
* package: bump copyrights to 2020Akim Demaille2020-01-051-1/+1
* yacc.c: no longer support YYERROR_VERBOSEAkim Demaille2020-01-041-1/+2
* yacc.c, glr.c: fix crash when reporting errors in consistent statesAkim Demaille2019-11-291-0/+60
* lalr1.cc: check LAC supportAkim Demaille2019-08-091-1/+15
* tests: use %empty instead of commentsAkim Demaille2019-05-081-5/+5
* diagnostics: better rule locationsAkim Demaille2019-04-241-1/+1
* diagnostics: copy GCC9's formatAkim Demaille2019-04-231-14/+14
* tests: factor the execution of Java parsersAkim Demaille2019-02-211-6/+2
* tests: fix a Java testsAkim Demaille2019-02-211-1/+4
* tests: simplify AT_PARSER_CHECK usageAkim Demaille2019-02-211-12/+12
* tests: dispatch per lang on AT_DATA_GRAMMARAkim Demaille2019-02-211-1/+3
* tests: dispatch per lang on the definition of yylexAkim Demaille2019-02-211-20/+2
* tests: de-duplicateAkim Demaille2019-02-211-39/+29
* report: clean up its formatAkim Demaille2019-02-091-42/+52
* diagnostics: prefer ^~~~ to ^^^^ to underline codeAkim Demaille2019-01-141-6/+6
* package: bump copyrights to 2019Akim Demaille2019-01-051-2/+2
* %expect-rr: tune the number of conflicts per ruleAkim Demaille2018-11-221-0/+83
* %expect: tune the number of conflicts per ruleAkim Demaille2018-11-211-0/+19
* allow %expect and %expect-rr modifiers on individual rulesPaul Hilfinger2018-11-211-0/+55
* tests: migrate from %error-verbose to %define parse.error verboseAkim Demaille2018-11-121-1/+1
* tests: rename AT_SKEL_CC_IF/AT_SKEL_JAVA_IF as AT_CXX_IF/AT_JAVA_IFAkim Demaille2018-10-211-11/+11
* spelling: combinationJosh Soref2018-10-051-1/+1
View Lorry Controller Status