Skip to content

Releases: fluentverification/ragtimer

v0.1

15 May 14:35
@landonjefftaylor landonjefftaylor
v0.1
fbedd49
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.
Compare
Choose a tag to compare
v0.1 Pre-release
Pre-release

This is the prototype version of RAGTIMER that is capable of generating traces and commuting universally enabled transitions along them.

Assets 2
Loading

v0.0

28 Mar 17:51
@landonjefftaylor landonjefftaylor
v0.0
fb8b88d
Compare
Choose a tag to compare
v0.0 Pre-release
Pre-release

This is the functional version of RAGTIMER used to produce benchmarks for a recent paper submission. A more generalized version with an improved user experience and additional functionality is coming soon.

Assets 2
Loading