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

2 commits

Author SHA1 Message Date
Alexandre Duret-Lutz
9e959cdc7e stutter: new variant of Etessami's check 
* src/tgbaalgos/stutter.cc: Add a new variant of Etessami's check,
closer to his original paper in IPL.
* src/ltltest/stutter.test: Add more tests.
* bench/stutter/user.sh: Include this new variant in the benchmark.
 2015-04-17 15:18:47 +02:00
Alexandre Duret-Lutz
e900488e13 bench/stutter: add a "user" benchmark 
* bench/stutter/user.sh: New bench.
* bench/stutter/Makefile.am: Add it.
* bench/stutter/README: Mention it.
* bench/stutter/stutter_bench.sh: Run it.
 2015-02-13 16:58:42 +01:00