Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | package: bump copyrights to 2019 | Akim Demaille | 2019-01-05 | 1 | -1/+2 |
* | Update copyright years | Akim Demaille | 2018-05-12 | 1 | -1/+1 |
* | package: bump to 2015 | Akim Demaille | 2015-01-04 | 1 | -1/+1 |
* | package: bump to 2014 | Akim Demaille | 2014-02-03 | 1 | -1/+1 |
* | maint: update copyright years | Akim Demaille | 2013-01-12 | 1 | -1/+1 |
* | style changes: run cppi | Akim Demaille | 2012-12-21 | 1 | -1/+1 |
* | fix C90 compliance | Akim Demaille | 2012-12-12 | 1 | -21/+31 |
* | graphs: show reductions | Theophile Ranquet | 2012-10-11 | 1 | -1/+9 |
* | graphs: style: use left justification for states | Theophile Ranquet | 2012-10-11 | 1 | -0/+4 |
* | maint: run "make update-copyright". | Akim Demaille | 2012-01-13 | 1 | -1/+1 |
* | maint: run "make update-copyright". | Joel E. Denny | 2011-01-02 | 1 | -1/+1 |
* | remove useless include. | Akim Demaille | 2010-04-05 | 1 | -1/+0 |
* | fix comments. | Akim Demaille | 2010-03-30 | 1 | -1/+44 |
* | * NEWS: The -g and --graph options now output graphs in Graphviz | Paul Eggert | 2006-10-12 | 1 | -0/+7 |