Releases: UPPAALModelChecker/uls
Releases · UPPAALModelChecker/uls
v0.0.3
What's Changed
- Added the license text to the repository by @deistools in #6
- Added ccache to GH CI build script by @mikucionisaau in #7
- Maintain cmake compatibility with ubuntu 22 by @thorulf4 in #9
New Contributors
- @deistools made their first contribution in #6
Full Changelog: v0.0.2...v0.0.3
v0.0.2
v0.0.1
First proper release for Uppaal to refer to instead of main
.