QEST'23 Submission

The version of STAMINA submitted to QEST'23.

Changelog:

• Ensure correctness of STAMINA 2.0 implementation
• Improve efficiency
• See commit logs for full changes

v0.2.2.5-alpha

Release Notes:

• Refactored the StaminaModelBuilder set of classes into stamina::builder::Stamina*ModelBuilder
• Separated STAMINA 2.0 algorithm, STAMINA 2.5 algorithm, and STAMINA 3.0 algorithm into separate classes: StaminaReExploringModelBuilder, StaminaIterativeModelBuilder and StaminaPriorityModelBuilder respectively. Currently StaminaPriorityModelBuilder is not completely implemented yet and will throw an error if the --priority option is used.
• STAMINA 2.0 algorithm now uses std::deque and saves previously created version of the transition matrix from each iteration so we don't have to re-build it.
• STAMINA 2.5 algorithm gives the same results as STAMINA 2.0 with improved runtime

v0.2.2.1-beta

Release notes:

• This version optimizes many of the problems in 0.0.1-alpha and is nearly compliant with the STAMINA 2.0 algorithm.
• State data is stored in an easier means of lookup and are allocated from a memory pool
• The one difference between this and the Java version is we use a priority queue on state index

If you're curious why the jump in versioning it's to align with STAMINA/PRISM's versioning

Goals for v2.2.5-beta:

• Use state remapping and std::deque rather than priority queue for speed optimization

v0.0.1-alpha

This is a non-optimized, non-production ready version which should in theory work.

Full Changelog: https://github.com/fluentverification/stamina-cplusplus/commits/v0.0.1-alpha