sp
/
tempest
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
415 Commits
2 Branches
0 Tags
187 MiB
 
 
 
 
Tree: 96a833d605
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from '96a833d605'
${ noResults }
tempest/src
Lanchid 96a833d605
Added /test/parser/output.dot to gitignore (output file is automatically 		12 years ago
..
adapters Merge branch 'master' of https://sselab.de/lab9/private/git/storm 12 years ago
exceptions Fixed bug in parser that inserted 0-entries on the diagonal at the wrong places. Enabled link-time-optimizations for Release-Build when using clang. Fixed bug in base exception: what() returned a pointer to a char array belonging to a local variable, which got deallocated and thus invalidates the char array content. 12 years ago
formula Merge branch 'master' of https://sselab.de/lab9/private/git/storm 12 years ago
modelchecker renamed BoundOperator to PathBoundOperator (StateBoundOperator is coming soon...) 12 years ago
models added Ctmdp model, changed MdpParser to NonDetModelParser 12 years ago
parser Merge branch 'master' of https://sselab.de/lab9/private/git/storm 12 years ago
reward Renaming MRMC to STORM, see #42 12 years ago
solver Initial version of reward model checking for DTMCs. Added two convenience operators to PCTL (Eventually and Globally) and added missing reward formulas. 12 years ago
storage Merge branch 'master' into PrctlParser 12 years ago
utility First test case for prctl parser, and some necessary modifications for 12 years ago
vector Added Mdp Class, Parser and support in the AutoParser. 12 years ago
storm.cpp renamed BoundOperator to PathBoundOperator (StateBoundOperator is coming soon...) 12 years ago