v0.1.4

Another test release for publishing to PyPi.

What's Changed

• Move to secretless publishing to pypi by @magoorden in #55

Full Changelog: v0.1.3...v0.1.4

V0.1.3

Test release to see whether publishing workflow works fine to PyPi.

What's Changed

• #53 Improve build and publish workflow by @magoorden in #54

Full Changelog: v0.1.2...v0.1.3

v0.1.2

What's Changed

• 42 improve error reporting when uppaal fails by @magoorden in #43
• #44 Build fails for python 3.7 on macos by @magoorden in #45
• Correct build badge url by @magoorden in #47
• #48 Add build.os to readthedocs file by @magoorden in #49
• Add build.tools to readthedocs config file by @magoorden in #50
• #37 Add double quotes around file paths to deal with spaces by @magoorden in #51

Full Changelog: v0.1.1...v0.1.2

v0.1.1

Minor release with updated documentation.

Builds are no longer available for Python 3.6, while Python 3.9 has been added.

v0.1.0

Publish v0.1.0 for ATVA2022 tool paper submission.

v0.0.8

Reflect the move of repository in the tool's documentation.

v0.0.7

In this release:

• Improvements to the documentation
• Tutorial example added

v0.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.

v0.0.5

New version number for upload to PyPI.

v0.0.4

Update documentation and add methods for connecting an external simulator.