-
Alexandre Duret-Lutz authored
* bench/ltlcounter/README, bench/ltlcounter/run, bench/ltlcounter/plot.gnu, bench/ltlcounter/defs.in, bench/ltlcounter/Makefile.am: New files. * bench/Makefile.am (SUBDIRS): Add ltlcounter. * configure.ac (AC_CONFIG_FILES): Adjust. * THANKS: Add her.
3ce16272
To find the state of this project's repository at the time of any of these versions, check out the tags.