Skip to content

Releases: luth1um/timed-automata-analysis

v2.0.1

29 Sep 10:19
@luth1um luth1um
v2.0.1
This tag was signed with the committer’s verified signature.
luth1um Luthium
GPG key ID: B6BA4532B9F44DE8
Learn about vigilant mode.
5cca1aa
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
v2.0.1 Latest
Latest

What's Changed

This is a minor release with dependency updates.

Assets 2
Loading

v2.0.0

03 Sep 10:44
@luth1um luth1um
v2.0.0
This tag was signed with the committer’s verified signature.
luth1um Luthium
GPG key ID: B6BA4532B9F44DE8
Learn about vigilant mode.
25ec4e6
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
v2.0.0

What's Changed

This release includes functionality for checking reachability of all locations of the specified TA.

Assets 2
Loading

v1.0.0

10 Aug 16:51
@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.
b0628af
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 app, just visit GitHub Pages.

Assets 2
Loading