summaryrefslogtreecommitdiff
path: root/src/conflicts.c
Commit message (Expand)AuthorAgeFilesLines
* package: bump copyrights to 2022Paul Eggert2022-01-151-1/+1
* Update URLs to prefer https: to http:Paul Eggert2021-01-291-1/+1
* package: bump copyrights to 2021Akim Demaille2021-01-161-1/+1
* cex: make "rerun with '-Wcex'" a note instead of a warningAkim Demaille2020-07-211-8/+12
* style: s/lookahead_tokens/lookaheads/gAkim Demaille2020-07-141-17/+17
* cex: also include the counterexamples in the reportAkim Demaille2020-06-161-1/+7
* cex: add an argument to the reporting functions to specify the streamAkim Demaille2020-06-161-61/+1
* cex: suggest -Wcounterexamples when there are unexpected conflictsAkim Demaille2020-06-101-25/+42
* cex: rename -Wcounterexample as -Wcounterexamples, and support -WcexAkim Demaille2020-06-101-1/+1
* cex: reformat the s/r and r/r reportsAkim Demaille2020-06-071-5/+5
* cex: fix pruning crashVincent Imbimbo2020-05-231-4/+8
* style: rename user_token_number as codeAkim Demaille2020-05-231-2/+2
* cex: fix miscellaneous leaksVincent Imbimbo2020-05-221-0/+1
* cex: avoid uninitialized variablesAkim Demaille2020-05-221-13/+11
* cex: bind counterexample generationVincent Imbimbo2020-05-221-0/+69
* package: bump copyrights to 2020Akim Demaille2020-01-051-1/+1
* style: simplify strings to translateAkim Demaille2019-06-121-3/+6
* style: reduce scopes, propagate constAkim Demaille2019-06-121-20/+18
* style: use clearer typesAkim Demaille2019-06-121-2/+5
* add LR(0) outputAkim Demaille2019-02-051-7/+10
* style: rename LR0.* as lr0.*Akim Demaille2019-01-261-1/+1
* package: bump copyrights to 2019Akim Demaille2019-01-051-1/+1
* %expect-rr: tune the number of conflicts per ruleAkim Demaille2018-11-221-16/+17
* %expect-rr: fix the computation of the overall number of conflictsAkim Demaille2018-11-221-19/+14
* %expect: tune the number of conflicts per ruleAkim Demaille2018-11-211-12/+16
* style: reduce scopesAkim Demaille2018-11-211-45/+34
* allow %expect and %expect-rr modifiers on individual rulesPaul Hilfinger2018-11-211-6/+117
* style: reduce scopesAkim Demaille2018-08-111-38/+30
* Merge maint into masterAkim Demaille2018-06-171-2/+2
|\
| * Update copyright yearsAkim Demaille2018-05-121-2/+2
* | Merge remote-tracking branch 'origin/maint'Akim Demaille2015-01-051-1/+1
|\ \ | |/
| * package: bump to 2015Akim Demaille2015-01-041-1/+1
| * package: bump to 2014Akim Demaille2014-02-031-1/+1
* | symbols: improve symbol aliasingValentin Tolmer2013-08-011-8/+8
|/
* style: no longer use backquotesAkim Demaille2013-02-181-1/+1
* grammar: record used associativity and print useless onesValentin Tolmer2013-01-301-0/+3
* grammar: warn about unused precedence for symbolsValentin Tolmer2013-01-291-0/+2
* maint: update copyright yearsAkim Demaille2013-01-121-1/+1
* maint: restore ANSI 89 complianceAkim Demaille2012-12-281-2/+2
* warnings: fusion of complain and complain_atTheophile Ranquet2012-10-011-5/+5
* warnings: use the regular interface for s/r and r/r conflictsAkim Demaille2012-09-251-70/+54
* conflicts: refactor the counting routinesAkim Demaille2012-09-211-45/+49
* %expect-rr is for GLR onlyAkim Demaille2012-09-211-1/+1
* Revert "introduced a GCC-like -Werror=type"Akim Demaille2012-09-211-4/+2
* introduced a GCC-like -Werror=typeTheophile Ranquet2012-09-201-2/+4
* obstacks: simplificationsAkim Demaille2012-08-121-8/+2
* Merge branch 'maint'Akim Demaille2012-07-311-16/+16
|\
| * use obstack_printfAkim Demaille2012-07-311-16/+16
| * maint: run "make update-copyright".Akim Demaille2012-01-131-1/+1
| * Add -Wconflicts-sr and -Wconflicts-rr.Joel E. Denny2011-04-031-0/+9
View Lorry Controller Status