Commits · baa7a6f2589408a1a7f1881fc9cc38eb9ac72487 · Spot / Spot

31 Jul, 2003 1 commit
- * src/tgbaalgos/magic.cc, src/tgbaalgos/reachiter.cc: Include cassert. · baa7a6f2
  Alexandre Duret-Lutz authored Jul 31, 2003
```
* iface/Makefile.am (SUBDIRS): Recurse in gspn only if condition
WITH_GSPN.
```
  baa7a6f2
25 Jul, 2003 1 commit

* src/tgbaalgos/Makefile.am (tgbaalgos_HEADERS): Add reachiters.hh. · e24d3be8

Alexandre Duret-Lutz authored Jul 25, 2003

(libtgbaalgos_la_SOURCES): Add reachiters.cc.
* src/tgbaalgos/dotty.cc, src/tgbaalgos/save.cc: Rewrite using
spot::tgba_reachable_iterator_breadth_first.
* src/tgbatest/explicit.test, src/tgbatest/tgbaread.test,
src/tgbatest/tripprod.test: Adjust expected output.

e24d3be8