-
Alexandre Duret-Lutz authored
* src/taalgos/dotty.cc, src/taalgos/dotty.hh: Add an interface similar to that of tgba/dotty.hh, even if we have to ignore most options. * src/taalgos/tgba2ta.cc, src/taalgos/tgba2ta.hh: Add an option to display the intermediate automaton with explicit stuttering transitions, for the purpose of making demonstrations. * src/tgba/tgbagraph.hh: Tweak the file so that SWIG can read it. * wrap/python/spot.py: Add wrappers for testing automata. * wrap/python/spot_impl.i: Fix support for atomic_prop_collect_as_bdd, and include a few more files. * wrap/python/tests/testingaut.ipynb: New file. * wrap/python/tests/Makefile.am: Add it.
16204e8e