Latest version of FIG with support for the JANI exchange format.

Version of FIG used for its demo in the TOSME 2021 workshop

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.

Added clock resampling, RESTART prolonged engines, and probabilistic branching in IOSA.

Added PRISM-style probabilities to IOSA model files.

Prepared for the FIG tool (demonstration) paper submission in TACAS'19

Version of used in the PhD thesis of Carlos E. Budde

Fig version used to produce the results for the SETTA'17 journal version

First FIG test suite: Compile with "$ ./build_project.sh tests" and run with "./test"

Basic FIG + JANI + committed actions + arrays

WARNING: may not compile

Support for JANI model specification format, version 1.

Basic FIG functionality.