Commits · ce871f2f2e4a1ef680090d8dd158963c36f9b9b7 · Spot / Spot

01 Feb, 2005 1 commit
- * bench/emptchk/README: Timing info from Denis. · ce871f2f
  Alexandre Duret-Lutz authored Feb 01, 2005
  
  ce871f2f
29 Jan, 2005 2 commits

* bench/emptchk/README: Make clearer that spin is needed. · 29548f69
Alexandre Duret-Lutz authored Jan 29, 2005

29548f69

* src/tgbaalgos/emptiness_stats.hh: Make sure depth() >= 0. · 7bba6dc6

Alexandre Duret-Lutz authored Jan 28, 2005

* src/tgbaalgos/gtec/gtec.hh (couvreur99_check, couvreur99_check_shy):
Add the poprem option.
* src/tgbaalgos/gtec/gtec.cc: Implement it.
* src/tgbaalgos/gtec/sccstack.cc, src/tgbaalgos/gtec/sccstack.hh
(scc_stack::rem, scc_stack::clear_rem,
scc_stack::connected_component::rem): New.
* src/tgbatest/ltl2tgba.cc, src/tgbatest/randtgba.cc: Add rem variants.

7bba6dc6