Releases: UPPAALModelChecker/UCDD
Releases · UPPAALModelChecker/UCDD
v0.2.2
What's Changed
- Fix print function by @magoorden in #13
- force to use wine when running unit tests by @mikucionisaau in #17
- Fix hash function by @magoorden in #15
- adds doctest by @mikucionisaau in #18
- Add cdd_remove_negative by @magoorden in #16
- Added references to publications to README by @mikucionisaau in #20
- Small improvements to remove_negative by @magoorden in #21
- Make cdd equiv externally available by @magoorden in #22
- Add a flake by @RasmusRendal in #26
- Added cross-compilation configurations for Linux-32bit and Windows by @mikucionisaau in #23
- Add two more extraction methods by @magoorden in #24
- Add delay operators by @magoorden in #27
- Improve cdd_exist by @magoorden in #28
- Use the random library by @magoorden in #29
- Add transition methods by @magoorden in #30
- Fixed memory leaks in the C++ wrapper and unit tests by @mikucionisaau in #32
- Add cdd predt operator by @magoorden in #31
- Add
cdd_done()tocdd_predttest case by @magoorden in #37 - Add cdd-bdd_to_array function by @magoorden in #38
- Added cdd_isBDD & updated doctest version by @t-lohse in #40
- Update dependencies and refactor the build scripts by @mikucionisaau in #41
New Contributors
Full Changelog: v0.2.1...v0.2.2
v0.2.1
Initial Public Release
Merge pull request #8 from remove redundant bits UPPAALModelChecker/clean