sp
/
tempest
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
2822 Commits
2 Branches
0 Tags
187 MiB
Tree: 7688d7ef42
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from '7688d7ef42'
${ noResults }
Commit Graph

2822 Commits (7688d7ef42d00d35a26e9b9adca12aee9fc292d2)
 

Author SHA1 Message Date
Mavo 7688d7ef42 Fixed test
9 years ago
Mavo d70317fdb5 Merge from future
9 years ago
dehnert 2f5f439f26 re-added (naive) splitter selection heuristic
9 years ago
dehnert 1136ff0d37 fixed a failing test (uninitialized data issue)
9 years ago
TimQu 67cc067f35 fixed computeSchedulerProbGreater0E.
9 years ago
Mavo a63d004fb8 storm-dft is using settings now
9 years ago
Mavo c9f04ecc0b Added IOSettings
9 years ago
Mavo effadc5cca Split into general settings and markov chain settings
9 years ago
Mavo f48d8bc6b1 Initialize all modules in tests and normal storm
9 years ago
Mavo 8241df3b0b First step towards settings for multiple binaries
9 years ago
Mavo 67d77608bd Refactoring of settings
9 years ago
TimQu 4bb4e29e43 Added a test case where model checking expected rewards on MDPs currently fails
9 years ago
Mavo f529a1315f Settings module do not need settings manager
9 years ago
Mavo 2e9089eca6 Small changes
9 years ago
Mavo c23eb73129 Cleaned examples
9 years ago
Mavo 869b0f95d1 Support for pdeps with more than one child
9 years ago
Mavo 2c172cd082 Refactoring
9 years ago
Mavo 5796da9a5c Refactoring
9 years ago
Mavo fe7037e7fd Support for POR (priority or)
9 years ago
Mavo 7c60e4275d Some more parametric DFT examples
9 years ago
Mavo bdad8aedd7 Set dependencies to dont care after dependent event has failed
9 years ago
dehnert dae55eeb29 fixed some bugs and enabled markov automaton model checking from cli
9 years ago
Mavo ebbc4ce7b4 Fixed compile issues introduced in merge
9 years ago
Mavo 2be3f17b91 Merge from future (not yet compiling)
9 years ago
Mavo 4db05a7c20 Fixed bug with wrong dormancyFactor when copying elements
9 years ago
Mavo 6b24589966 Merge branch 'monolithic-dft-update' of https://sselab.de/lab9/private/git/storm into monolithic-dft-update
9 years ago
sjunges 472116a374 Merge branch 'monolithic-dft-update' of https://sselab.de/lab9/private/git/storm into monolithic-dft-update
9 years ago
sjunges d688296022 even more modularisation oppurtunaties are now taken
9 years ago
Mavo 25e2a9c070 Removed assertion
9 years ago
Mavo 9f3d160677 Merge branch 'monolithic-dft-update' of https://sselab.de/lab9/private/git/storm into monolithic-dft-update
9 years ago
Mavo 2c15c89751 No DC propagation for failed toplevel
9 years ago
sjunges eeb289bdb8 Merge branch 'monolithic-dft-update' of https://sselab.de/lab9/private/git/storm into monolithic-dft-update
9 years ago
sjunges e390e1c39d several updates for better modularisation and support for VOT-modularisation
9 years ago
Mavo e5fd604498 Flag for disabling DC propagation
9 years ago
sjunges 9ae9700d5c modularisation on and and or
9 years ago
Mavo db3c40e6d7 Fixed bugs
9 years ago
Mavo 6ca6ab27e8 Activate failed representatives
9 years ago
Mavo 5a066b9ae0 Used duplicate variable name
9 years ago
Mavo 150f177bcd Symred on mcs seems to work now
9 years ago
Mavo a21715cbc3 Nested symmetries seem to work for at least binary symmetries
9 years ago
dehnert adb42b3ac0 fixed minor things related to merge
9 years ago
dehnert e23a7f854a Merge branch 'future' into next_state_generators
9 years ago
dehnert 4a19d81133 fixed a few bugs
9 years ago
Mavo 306eb8a9cc Construct state from bit vector
9 years ago
dehnert 6a99ab9ef9 expectation/variance now handled in formula parser
9 years ago
dehnert 51402ec853 removed measure type and only added measure type to reward/time operators
9 years ago
Mavo 652aeb7562 Fixed compile error with CarlRationalNumber instead of RationalNumber
9 years ago
Mavo f394808e4a Merge from future with compile errors
9 years ago
dehnert f86bfdd46f Merge branch 'future' into variance_properties
9 years ago
Mavo 7e8b790451 Preparation for pseudo state generation from bit vector
9 years ago