The main addition here is a basic hybrid automaton simulator as part of hypy, and associated files. Also, a printer was added for it, and documentation was updated. There was also a -testpython command-line option now to test if python detected within Hyst.
The main addition here is a basic hybrid automaton simulator as part of hypy, and associated files. Also, a printer was added for it, and documentation was updated. There was also a
-testpython
command-line option now to test if python detected within Hyst.Please check if tests pass and merge.