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
Contributors
magoorden