summaryrefslogtreecommitdiff
path: root/src/conflicts.h
Commit message (Expand)AuthorAgeFilesLines
* Update URLs to prefer https: to http:Paul Eggert2021-01-291-1/+1
* package: bump copyrights to 2021Akim Demaille2021-01-161-1/+1
* cex: also include the counterexamples in the reportAkim Demaille2020-06-161-0/+2
* package: bump copyrights to 2020Akim Demaille2020-01-051-1/+1
* package: bump copyrights to 2019Akim Demaille2019-01-051-2/+2
* %expect-rr: fix the computation of the overall number of conflictsAkim Demaille2018-11-221-0/+1
* Update copyright yearsAkim Demaille2018-05-121-1/+1
* package: bump to 2015Akim Demaille2015-01-041-1/+1
* package: bump to 2014Akim Demaille2014-02-031-1/+1
* maint: update copyright yearsAkim Demaille2013-01-121-1/+1
* maint: run "make update-copyright".Jim Meyering2012-01-131-1/+1
* maint: run "make update-copyright".Joel E. Denny2011-01-021-2/+2
* Do not use date ranges in copyright notices.Paul Eggert2010-06-171-2/+3
* maint: run "make update-copyright"Joel E. Denny2010-01-041-1/+1
* maint: run "make update-copyright"Joel E. Denny2009-08-061-1/+2
* Make xml2dot.xsl and --graph produce the same output.Joel E. Denny2007-10-091-1/+0
* * src/gram.c (rule_rhs_print_xml): Now static, since it isn't usedPaul Eggert2007-09-211-0/+1
* Update to GPLv3.Paul Eggert2007-08-151-11/+9
* * NEWS (2.3a+): Mention yesterday's state-removal change.Joel E. Denny2007-05-081-1/+1
* If conflict resolution makes states unreachable, remove those states,Joel E. Denny2007-05-071-0/+13
* For consistency, use `lookahead' instead of `look-ahead' orJoel E. Denny2006-06-101-1/+1
* Update FSF postal mail address.Paul Eggert2005-05-141-2/+2
* Update copyright to 2004.Paul Eggert2004-04-131-1/+1
* * src/parse-gram.y: Define PERCENT_EXPECT_RR.Paul Hilfinger2004-03-261-1/+2
* Remove all uses of PARAMS, since we now assume C89 or better.Paul Eggert2002-10-211-5/+5
* Initial check-in introducing experimental GLR parsing. See entry inPaul Hilfinger2002-06-281-0/+1
* * src/state.h (state_t): `solved_conflicts' is a new member.Akim Demaille2002-05-261-3/+3
* * src/conflicts.c, src/conflicts.h (print_reductions): Move to...Akim Demaille2001-12-271-1/+0
* * src/conflicts.c (log_resolution, flush_shift)Akim Demaille2001-12-271-1/+1
* * src/conflicts.c (err_table): Remove.Akim Demaille2001-12-051-2/+1
* * src/conflicts.c (print_reductions): Accept OUT as argument.Akim Demaille2001-11-121-1/+1
* * src/conflicts.c (count_sr_conflicts, count_rr_conflicts): ReturnAkim Demaille2001-11-121-2/+2
* Merge in branch-1_29.after-merge-branch-1_29Akim Demaille2001-10-041-3/+3
* * src: s/Copyright (C)/Copyright/g.Akim Demaille2000-11-071-1/+1
* Various anti-`extern in *.c' changes.Akim Demaille2000-10-021-0/+1
* * src/conflicts.c (conflict_report): New function.Akim Demaille2000-10-021-0/+33