summaryrefslogtreecommitdiff
path: root/src/main.c
Commit message (Expand)AuthorAgeFilesLines
* cex: also include in the report on --report=counterexamplesAkim Demaille2020-06-161-1/+2
* parser: keep string aliases as the user wrote itAkim Demaille2020-06-131-2/+6
* cex: rename -Wcounterexample as -Wcounterexamples, and support -WcexAkim Demaille2020-06-101-1/+1
* cex: bind counterexample generationVincent Imbimbo2020-05-221-0/+4
* package: bump copyrights to 2020Akim Demaille2020-01-051-1/+1
* reader: reduce the "scope" of global variablesAkim Demaille2019-10-261-1/+1
* main: also free memory on errorsAkim Demaille2019-10-211-2/+2
* quotearg: avoid leaksAkim Demaille2019-09-211-1/+1
* gnulib: let it use its own PO domainAkim Demaille2019-04-231-3/+4
* diagnostics: fix memory leak in libtextstyleAkim Demaille2019-04-181-2/+2
* style: rename cleanup_caret as caret_freeAkim Demaille2019-02-141-1/+1
* closure: initialize it once for allAkim Demaille2019-01-281-1/+1
* add -fsyntax-onlyAkim Demaille2019-01-281-2/+5
* style: rename LR0.* as lr0.*Akim Demaille2019-01-261-1/+1
* style: rename print_graph.* as print-graph.*Akim Demaille2019-01-261-1/+1
* style: various fixesAkim Demaille2019-01-261-3/+3
* --update: when used, do not generate the output filesAkim Demaille2019-01-221-27/+33
* fixits: suggest running --update if there are fixitsAkim Demaille2019-01-161-7/+13
* Revert the last two commitsAkim Demaille2019-01-141-1/+2
* WIPAkim Demaille2019-01-141-2/+1
* diagnostics: update the grammar fileAkim Demaille2019-01-141-1/+6
* diagnostics: keep the fixitsAkim Demaille2019-01-141-0/+2
* package: bump copyrights to 2019Akim Demaille2019-01-051-1/+1
* package: make bison a relocatable packageAkim Demaille2018-12-251-2/+9
* gnulib: update to use its bitsetsAkim Demaille2018-11-261-1/+1
* gnulib: move timevar to itAkim Demaille2018-09-301-26/+26
* timevar: get rid of a useless macroAkim Demaille2018-09-221-1/+1
* timevar: rename init_timevar as timevar_initAkim Demaille2018-09-221-1/+1
* Update copyright yearsAkim Demaille2018-05-121-2/+2
* package: bump to 2015Akim Demaille2015-01-041-1/+1
* package: bump to 2014Akim Demaille2014-02-031-1/+1
* diagnostics: revamp the handling of -WerrorAkim Demaille2013-02-161-0/+1
* warnings: introduce -WprecedenceValentin Tolmer2013-01-301-2/+0
* grammar: record used associativity and print useless onesValentin Tolmer2013-01-301-0/+2
* grammar: warn about unused precedence for symbolsValentin Tolmer2013-01-291-0/+2
* maint: update copyright yearsAkim Demaille2013-01-121-1/+1
* Merge remote-tracking branch 'origin/maint'Theophile Ranquet2012-12-061-0/+2
|\
| * errors: show caretsTheophile Ranquet2012-12-051-0/+2
| * tests: be robust to quote style.Akim Demaille2012-03-091-1/+9
| * maint: address sc_bindtextdomain, sc_program_name and sc_prohibit_HAVE_MBRTOWC.Akim Demaille2012-02-191-1/+2
| * do not ignore errors like ENOSPC,EIO when writing to stdoutJim Meyering2012-01-311-0/+3
| * maint: run "make update-copyright".Akim Demaille2012-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-231-2/+2
| * Fix some comments concerning LR(0) versus LALR(1).Joel E. Denny2010-01-041-5/+4
| * maint: run "make update-copyright"Joel E. Denny2010-01-041-2/+2
| * Rename muscle_tab.* to muscle-tab.* for consistency with master.Joel E. Denny2009-10-081-1/+1
| * Convert underscores to dashes in some %define variable names.Joel E. Denny2009-04-301-1/+1
| * Set all front-end %define defaults in one place.Joel E. Denny2009-04-301-1/+0
| * Finish implementing %define lr.type.Joel E. Denny2009-04-211-5/+6
View Lorry Controller Status