Skip to content

Releases: luth1um/timed-automata-analyzer

v1.0.1

29 Sep 09:59
@luth1um luth1um
v1.0.1
This tag was signed with the committer’s verified signature.
luth1um Luthium
GPG key ID: B6BA4532B9F44DE8
Learn about vigilant mode.
49afb1e
This commit was signed with the committer’s verified signature.
luth1um Luthium
GPG key ID: B6BA4532B9F44DE8
Learn about vigilant mode.
Compare
Choose a tag to compare
v1.0.1 Latest
Latest

What's Changed

This is a minor release with dependency updates.

Assets 2
Loading

v1.0.0

02 Sep 14:49
@luth1um luth1um
v1.0.0
This tag was signed with the committer’s verified signature.
luth1um Luthium
GPG key ID: B6BA4532B9F44DE8
Learn about vigilant mode.
0ec34d0
This commit was signed with the committer’s verified signature.
luth1um Luthium
GPG key ID: B6BA4532B9F44DE8
Learn about vigilant mode.
Compare
Choose a tag to compare
v1.0.0

Initial Release

This is the initial release of this project. To try out the reachability analysis, just visit GitHub Pages.

Assets 2
Loading