-
Maximilien Colange authored
* NEWS: document the rewrite * spot/twaalgos/determinize.cc: lots of code optimizations * tests/core/safra.test, tests/python/highlighting.ipynb, tests/python/simstate.py: Update tests
bd739a57
* NEWS: document the rewrite * spot/twaalgos/determinize.cc: lots of code optimizations * tests/core/safra.test, tests/python/highlighting.ipynb, tests/python/simstate.py: Update tests