summaryrefslogtreecommitdiff
path: root/src/graphviz.h
Commit message (Expand)AuthorAgeFilesLines
* reports: don't escape the labelsAkim Demaille2020-06-131-6/+0
* package: bump copyrights to 2020Akim Demaille2020-01-051-1/+1
* package: bump copyrights to 2019Akim Demaille2019-01-051-1/+2
* 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
* style changes: run cppiAkim Demaille2012-12-211-1/+1
* fix C90 complianceAkim Demaille2012-12-121-21/+31
* graphs: show reductionsTheophile Ranquet2012-10-111-1/+9
* graphs: style: use left justification for statesTheophile Ranquet2012-10-111-0/+4
* maint: run "make update-copyright".Akim Demaille2012-01-131-1/+1
* maint: run "make update-copyright".Joel E. Denny2011-01-021-1/+1
* remove useless include.Akim Demaille2010-04-051-1/+0
* fix comments.Akim Demaille2010-03-301-1/+44
* * NEWS: The -g and --graph options now output graphs in GraphvizPaul Eggert2006-10-121-0/+7