summaryrefslogtreecommitdiff
path: root/tests/reduce.at
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-2/+2
* package: bump copyrights to 2021Akim Demaille2021-01-161-1/+1
* multistart: check duplicatesAkim Demaille2020-11-301-1/+2
* report: put the dot after %empty in itemsAkim Demaille2020-10-071-5/+5
* multistart: turn start symbols into rules on $acceptAkim Demaille2020-09-271-10/+56
* cex: make "rerun with '-Wcex'" a note instead of a warningAkim Demaille2020-07-211-1/+1
* cex: suggest -Wcounterexamples when there are unexpected conflictsAkim Demaille2020-06-101-0/+1
* package: bump copyrights to 2020Akim Demaille2020-01-051-1/+1
* diagnostics: copy GCC9's formatAkim Demaille2019-04-231-32/+32
* report: clean up its formatAkim Demaille2019-02-091-46/+49
* tests: fix typosAkim Demaille2019-02-051-3/+3
* Merge branch maintAkim Demaille2019-02-031-0/+82
|\
| * gram: fix handling of nterms in actions when some are unusedAkim Demaille2019-02-031-0/+82
* | tests: strengthen some of themAkim Demaille2019-02-031-14/+32
|/
* diagnostics: prefer ^~~~ to ^^^^ to underline codeAkim Demaille2019-01-141-15/+15
* NEWS: updateAkim Demaille2019-01-121-2/+2
* package: bump copyrights to 2019Akim Demaille2019-01-051-2/+2
* parser: deprecate %ntermAkim Demaille2018-11-121-26/+12
* Merge maint into masterAkim Demaille2018-06-171-1/+2
|\
| * Update copyright yearsAkim Demaille2018-05-121-1/+2
* | symbol: use the first occurrence as an LHS as defining locationAkim Demaille2015-01-141-8/+8
* | reduce: don't complain about rules whose lhs is uselessAkim Demaille2015-01-141-36/+7
|/
* package: bump to 2015Akim Demaille2015-01-041-1/+1
* package: bump to 2014Akim Demaille2014-02-031-1/+1
* reports: display %empty in the generated pointed-rulesAkim Demaille2013-11-261-5/+5
* tests: use %emptyAkim Demaille2013-02-181-3/+3
* diagnostics: no longer pretty-print rules in error messages, carets sufficeAkim Demaille2013-02-141-35/+3
* maint: update copyright yearsAkim Demaille2013-01-121-1/+1
* Merge remote-tracking branch 'origin/maint'Theophile Ranquet2012-12-061-0/+79
|\
| * tests: enhance existing tests with caretsTheophile Ranquet2012-12-051-0/+79
* | Merge remote-tracking branch 'origin/maint'Akim Demaille2012-11-131-99/+99
|\ \ | |/
| * output: capitalize StateTheophile Ranquet2012-11-121-99/+99
| * maint: run "make update-copyright".Akim Demaille2012-01-131-1/+1
| * lr.default-reductions: rename "full" value to "most".Joel E. Denny2011-03-201-6/+6
| * lr.default-reductions: rename "all" value to "full".Joel E. Denny2011-03-061-6/+7
| * maint: run "make update-copyright".Joel E. Denny2011-01-021-2/+1
| * Do not use date ranges in copyright notices.Paul Eggert2010-06-231-1/+3
| * maint: run "make update-copyright"Joel E. Denny2010-01-041-2/+1
| * %define: accept unquoted values.Joel E. Denny2009-08-281-12/+12
| * %define lr.type: make values lowercase IDs.Joel E. Denny2009-08-281-6/+6
| * Convert underscores to dashes in some %define variable names.Joel E. Denny2009-04-301-4/+4
| * Rename lr.default_reductions to lr.default-reductions.Joel E. Denny2009-04-291-8/+8
| * Rename "default rule" to "default reduction".Joel E. Denny2009-04-231-15/+15
| * Finish implementing %define lr.type.Joel E. Denny2009-04-211-0/+1083
| * Implement %define lr.default_rules.Joel E. Denny2009-04-211-1/+146
* | variables: use singular in %define variable namesAkim Demaille2012-10-161-12/+12
* | warnings: use the regular interface for s/r and r/r conflictsAkim Demaille2012-09-251-1/+1
* | warnings: display warnings categoriesVictor Santet2012-06-291-46/+46
* | maint: run "make update-copyright".Jim Meyering2012-01-131-1/+1