Skip to content

0.2.1
Compare
Choose a tag to compare
@daemontus daemontus released this 04 Sep 17:47
· 22 commits to main since this release
v0.2.1
5f881d1
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.

This release does not bring any new features, but changes the architecture slightly to accommodate the new version of the model checking library.

Assets 11
Loading