Commits · 48655c6875ee246938374bea19017f5ff1a5bd2d · Spot / Spot

13 Oct, 2016 2 commits

complete Alexandre's patch · 48655c68
Alexandre Duret-Lutz authored Oct 13, 2016
```
* bench/dtgbasat/formulas: Typo.
* NEWS: Mention the fix.
* AUTHORS: Add Alexandre.
```
48655c68

dtgbasat: Fix dtgbasat bench errors · ba4345a4

Alexandre GBAGUIDI AISSE authored Sep 21, 2016 and

Alexandre Duret-Lutz committed Oct 13, 2016

* bench/dtgbasat/formulas: Fix bin's path.
* bench/dtgbasat/prepare.sh: Fix bin's path & ltl2tgba@-sD option.
* bench/dtgbasat/stats.sh: Fix bin's path.
* bench/dtgbasat/stat.sh: Fix bin's path, ltl2tgba@-sD option

ba4345a4

18 Sep, 2013 1 commit
- Add benchmark for our DTGBA SAT-minimization. · 983feb52
  Alexandre Duret-Lutz authored Aug 21, 2013
```
* bench/dtgbasat/: New directory.
* bench/Makefile.am: New file.
* configure.ac, README: Adjust.
```
  983feb52