v1.2.0
·
7 commits
to master
since this release
bc94af8
This commit was signed with the committer’s verified signature.
The key has expired.
ennoruijters
Enno Ruijters
- Various bugfixes discovered preparing for QComp 2023.
- Add support for two-sided Until formulae.
- Support for more Jani features used in the QComp 2023 models.