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.
 
 
 
 
PBerger 5cdfba685e Added resources for Usage of Intels Thread Building Blocks 12 years ago
doc Renaming MRMC to STORM, see #42 12 years ago
examples Added PRISM files for all of our examples. Added missing reward models. Added result files that indicate the results of PRISM on our examples. 12 years ago
resources Added resources for Usage of Intels Thread Building Blocks 12 years ago
src Added a lot of test checking routines to main file. 12 years ago
test Fixed MDP Parser, removed parsing of STATES/TRANSITIONS, see #10 12 years ago
.gitignore Updated gitignore file with a few more useful extensions 12 years ago
CMakeLists.txt Added resources for Usage of Intels Thread Building Blocks 12 years ago
LICENSE Initial Import into Git 13 years ago
LICENSE-STORM.txt removed obsolete cmake files, renamed license file 12 years ago
cpplint.py integrated cpplint 12 years ago
storm-config.h.in Renaming MRMC to STORM, see #42 12 years ago