- 23 Sep, 2015 7 commits
-
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
Conflicts: TODO src/settings.ml src/settings.mli
-
POTTIER Francois authored
-
POTTIER Francois authored
-
- 22 Sep, 2015 25 commits
-
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
Moved coverage.sh to bench/good and updated it.
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
Count and display the number of reachable states.
-
POTTIER Francois authored
We no longer stress [Fix], so we can go back to the recursive variant. This reverts commit 6313c9ae9cf6c22aab7f60d6091e705b24bcb7cd.
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
- 21 Sep, 2015 8 commits
-
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
This implies that we remove [#] from consideration, as desired. This means fewer facts are considered and a little time is saved. Also, announced (in comments and assertions) that [any] is implemented as [#], but not yet committed.
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-