v0.13.0
Pre-release
Pre-release
Documentation is available at https://tulip-control.github.io/gr1c
Summary of changes:
-
Initial support for Windows. This has not been thoroughly tested yet.
However, the test suite with unmodified Bash shell scripts can be executed
with Cygwin (https://cygwin.com/). -
More tests, better documentation.
-
Fix bug: case when entire automaton deleted by aut_prune_deadends().
Cf. commits 1ad9e0e, 48465d2 -
Remove previously deprecated tulip0_aut_dump() and build_anode_trans()