Skip to content

Releases: fluentverification/stamina-prism

STAMINA 2.0

04 Sep 21:18
@RileyLRoberts RileyLRoberts
VMCAI2022
f5072a2
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
STAMINA 2.0 Latest
Latest

A new and improved algorithm for faster and less memory-intensive model-checking

Assets 2
Loading

STAMINA 1.1

17 Feb 18:23
@RileyLRoberts RileyLRoberts
ACSSynBio21
d8dd295
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
STAMINA 1.1

New and improved STAMINA with improved efficiency and bug fixes

Assets 2
Loading

QComp 2020 Final Release

27 Aug 00:54
@RileyLRoberts RileyLRoberts
qcomp-2020-final
692fdd3
Compare
Choose a tag to compare
QComp 2020 Final Release

Includes 3 more commits than the previous QComp 2020 release.

Assets 2
Loading

Qcomp 2020

03 Apr 01:53
@brettjepsen brettjepsen
qcomp202
2fc0bc9
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
Qcomp 2020 
Update StaminaCL.java

Updated the stamina command usage by moving the option before the input model file in printHelp().
Assets 2
Loading