issues
search
fluentverification
/
stamina-storm
STAMINA - the STochiastic Approximate Model-checker for INfinite-state Analysis, integrated with the Storm model checking engine.
https://staminachecker.org
GNU General Public License v3.0
5
stars
2
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
dev from main
#53
ifndefJOSH
closed
3 months ago
0
Merge `dev` branch
#52
ifndefJOSH
opened
1 year ago
0
Merge dev branch
#51
ifndefJOSH
closed
1 year ago
0
Settings manager now saves and loads settings from config file
#50
ifndefJOSH
closed
1 year ago
0
Merge dev branch
#49
ifndefJOSH
closed
1 year ago
0
Many, many fixes
#48
ifndefJOSH
closed
1 year ago
2
xSTAMINA (STAMINA GUI) - Laundry List
#47
ifndefJOSH
opened
1 year ago
3
Combined CTMC Analysis
#46
ifndefJOSH
opened
1 year ago
1
QEST'23 Changes
#45
ifndefJOSH
closed
1 year ago
1
Replace several `bool` values in `ProbabilityState` with a single `uint8_t status` to save space.
#44
ifndefJOSH
opened
1 year ago
3
Dockerfile: Bad Storm version
#43
ifndefJOSH
closed
1 year ago
1
Empty Behaviors from Storm API
#42
ifndefJOSH
closed
1 year ago
1
Some Changes to the Iterative and Priority Model Builders
#41
ifndefJOSH
closed
1 year ago
1
Problem regarding several properties in one file
#40
BlueJCash
closed
1 year ago
3
Overwrite changes in `priority` with changes in `priority2`
#39
ifndefJOSH
closed
1 year ago
0
Priority Method: on deque, the destructor for `ProbabilityStatePair` invokes destructor for `BitVector`, causing a segfault
#38
ifndefJOSH
closed
1 year ago
1
Merge `master` into `priority2`
#37
ifndefJOSH
closed
1 year ago
0
Many state transitions in `priority` method
#36
ifndefJOSH
closed
1 year ago
1
Priority Queue/"Greedy" exploration
#35
ifndefJOSH
closed
1 year ago
1
Segmentation fault during `carl::MonomialPool::~MonomialPool`
#34
ifndefJOSH
closed
1 year ago
8
Issues with insertion into `mainExplorationQueue`
#33
ifndefJOSH
opened
2 years ago
2
Transitions from cross exploration: how best to insert?
#32
ifndefJOSH
closed
1 year ago
1
Create LICENSE
#31
ifndefJOSH
closed
2 years ago
1
Segmentation fault(s): various places in `multithreading` branch
#30
ifndefJOSH
opened
2 years ago
8
Multithreading branch: control thread not waiting for all threads to finish
#29
ifndefJOSH
closed
2 years ago
1
Multithreading branch: not achieving lock in `ExplorationThread::mainLoop`
#28
ifndefJOSH
closed
2 years ago
1
Add badges to dev branch
#27
ifndefJOSH
closed
2 years ago
0
Add badges to multithreading
#26
ifndefJOSH
closed
2 years ago
0
Merge `multithreading` into `dev`
#25
ifndefJOSH
closed
2 years ago
0
`multithreading` branch idles forever
#24
ifndefJOSH
closed
2 years ago
2
Dockerize multithreading branch
#23
ifndefJOSH
closed
2 years ago
0
Actually deploy dockerized STAMINA to Azure
#22
ifndefJOSH
opened
2 years ago
0
Create Dockerfile
#21
gerbs-11
closed
2 years ago
1
Autobuild STORM in CMakeLists.txt
#20
ifndefJOSH
opened
2 years ago
4
Templatization issue with `StaminaModelBuilder` => `StaminaIterativeModelBuilder` => `StaminaThreadedIterativeModelBuilder`
#19
ifndefJOSH
closed
2 years ago
1
Multithreading for State Building
#18
ifndefJOSH
closed
1 year ago
10
State Exploration Multithreading
#17
ifndefJOSH
opened
2 years ago
5
Create CODE_OF_CONDUCT.md
#16
ifndefJOSH
closed
2 years ago
0
Duplicate Entries in Transition Matrix
#15
ifndefJOSH
closed
2 years ago
1
Reduce and test memory impact
#14
ifndefJOSH
closed
2 years ago
1
Native expression modification in STORM API rather than string-based property modification
#13
ifndefJOSH
closed
1 year ago
1
Multithreading in `stateMap`
#12
ifndefJOSH
closed
2 years ago
4
State Space Truncation
#11
ifndefJOSH
closed
2 years ago
1
Incorrect Results for Pmin and Pmax even though state space is correct
#10
ifndefJOSH
closed
2 years ago
8
Unknown Issue -- Perimeter Reachability spikes after several iterations
#9
ifndefJOSH
closed
2 years ago
2
Mismatched size of transition matrix
#8
ifndefJOSH
closed
2 years ago
1
Not exploring any states
#7
ifndefJOSH
closed
2 years ago
2
Multuthreading Issue with Either STORM or `boost`
#6
ifndefJOSH
closed
2 years ago
1
In some cases, initial states not generated, causing an assertion error in `storm::builder::StateAndChoiceInformationBuilder::addMarkovianState`
#5
ifndefJOSH
closed
2 years ago
2
Exception in `StaminaModelBuilder::build()`
#4
ifndefJOSH
closed
2 years ago
3
Next