Builds are no longer available for Python 3.6, while Python 3.9 has been added.
0.1.0
Publish v0.1.0 for ATVA2022 tool paper submission.
0.0.8
Reflect the move of repository in the tool's documentation.
0.0.7
In this release:
- Improvements to the documentation - Tutorial example added
0.0.6
In this relase: - The command line interface call to verifyta has been improved - Method added to perform a single step (excluding simulation) of the basic MPC loop.