Search results

Report the (truncated) range of values for all integer variables after state-space generation

Status: Open.

#55 In fluentverification/stamina-storm;

· zgzn opened on Feb 27, 2025

[USER SUBMITTED BUG] Correct typo in the output message produced by STAMINA CLI

Status: Open.

#54 In fluentverification/stamina-storm;

· zgzn opened on Jan 25, 2025

xSTAMINA (STAMINA GUI) - Laundry List

Status: Open.

#47 In fluentverification/stamina-storm;

· ifndefJOSH opened on Jul 12, 2023

Combined CTMC Analysis

enhancementNew feature or requestNew feature or request

Status: Open.

#46 In fluentverification/stamina-storm;

· ifndefJOSH opened on Jun 26, 2023

Replace several bool values in ProbabilityState with a single uint8_t status to save space.

enhancementNew feature or requestNew feature or request

good first issueGood for newcomersGood for newcomers

optimization

Status: Open.

#44 In fluentverification/stamina-storm;

· ifndefJOSH opened on May 4, 2023

Issues with insertion into mainExplorationQueue

bugSomething isn't workingSomething isn't working

Status: Open.

#33 In fluentverification/stamina-storm;

· ifndefJOSH opened on Sep 22, 2022

 ·  

STAMINA 2.5 - STAMINA 2.0 with dynamic programming

Segmentation fault(s): various places in multithreading branch

bugSomething isn't workingSomething isn't working

Status: Open.

#30 In fluentverification/stamina-storm;

· ifndefJOSH opened on Sep 21, 2022

 ·  

STAMINA 2.5 - STAMINA 2.0 with dynamic programming

Actually deploy dockerized STAMINA to Azure

enhancementNew feature or requestNew feature or request

Status: Open.

#22 In fluentverification/stamina-storm;

· ifndefJOSH opened on Aug 22, 2022

 ·  

Azure Deployment of STAMINA

Autobuild STORM in CMakeLists.txt

enhancementNew feature or requestNew feature or request

good first issueGood for newcomersGood for newcomers

Status: Open.

#20 In fluentverification/stamina-storm;

· ifndefJOSH opened on Jul 22, 2022

State Exploration Multithreading

enhancementNew feature or requestNew feature or request

optimization

Status: Open.

#17 In fluentverification/stamina-storm;

· ifndefJOSH opened on Jul 7, 2022

 ·  

STAMINA 2.5 - STAMINA 2.0 with dynamic programming