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 <code>bool</code> values in <code>ProbabilityState</code> with a single <code>uint8_t status</code> 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 <code>mainExplorationQueue</code>

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 <code>multithreading</code> 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