Releases: UPPAALModelChecker/uppaal-libs
Releases · UPPAALModelChecker/uppaal-libs
v1.2.2
What's changed
- Simplified
compile.sh
so that even bash-3/MacOS can understand it
Full Changelog: v1.2.1...v1.2.2
v1.2.1
What's Changed
- Fix test crash on MacOS by disabling sanitizers on brew targets by @mikucionisaau in #11
Full Changelog: v1.2...v1.2.1
v1.2
What's Changed
- Fixes to support MinGW on Windows by @mikucionisaau in #7
- Reformatted the source code by @mikucionisaau in #8
- Added draft release scripts by @mikucionisaau in #5
- fix the environment variables in Windows by @mikucionisaau in #9
Full Changelog: v1.1...v1.2
v1.1 Portability fixes
- Fixed MSVC compiler warnings and errors
- Converted unit tests to use
doctest
- Added CI scripts for automatic builds for Linux, macOS and Windows
- Added more instructions to README.md
First release supporting all major platforms
v1.0 Adds support and compilation script for all 3 platforms: Linux, macOS…