alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity
2237 commits 6 branches 0 tags 36 MiB
Commit graph

2 commits

Author SHA1 Message Date
Alexandre Duret-Lutz
4c1a9fdb10 More files to ignore. 2013-05-17 11:11:19 +02:00
Alexandre Duret-Lutz
969d927145 Add the Spin'13 benchmark. 
* bench/spin13/: New directory.
* bench/Makefile.am, README, configure.ac: Add it.
* bench/ltl2tgba/sum.py: Display smaller tables.
 2013-04-27 17:39:52 +02:00