Tags give the ability to mark specific points in history as being important
-
QComp'23
ecdd38ad · ·Version of FIG used for the artifact of QComp 2023: formal tools for rare events
-
-
-
RFT_journal
a902e14a · ·Version used to produce the results for the STTT submission (extended version of the TACAS'20 publication). This is the version included in the artifact accompanying the submission.
-
FIG_v1.3
protectedRelease: FIG_v1.321e1d30b · ·Added clock resampling, RESTART prolonged engines, and probabilistic branching in IOSA.
-
probabilistic_branching
Release: probabilistic_branching432a3aec · ·Added PRISM-style probabilities to IOSA model files.
-
FIG_v1.2
protectedRelease: FIG_v1.2903500a7 · ·Prepared for the FIG tool (demonstration) paper submission in TACAS'19
-
-
-
test_suite
0b973588 · ·First FIG test suite: Compile with "$ ./build_project.sh tests" and run with "./test"
-
-
-
-