Lanchid
|
ec91dcbe2e
|
Merge branch master into LTLParser
|
13 years ago |
dehnert
|
9ed1fa19e2
|
Added some example files.
|
13 years ago |
|
dehnert
|
5149a7a943
|
Added lab files for asynch_leader and corrected pctl file a bit. Included first (incorrect) tests for performance test suite.
|
13 years ago |
|
dehnert
|
6ba1cf25c8
|
Added new variable for base bath for project root. Changed test input files to the files from example folder. Added leader4.lab to asynchronous leader election example.
|
13 years ago |
|
dehnert
|
0f545630eb
|
Adapted the pctl files according to our format.
|
13 years ago |
gereon
|
3ff9514f7b
|
Make clone() work for variables without initial value.
|
13 years ago |
|
gereon
|
966377ae32
|
Added a few more example files.
|
13 years ago |
|
dehnert
|
726324a37a
|
Added missing model files for consensus example.
|
13 years ago |
|
dehnert
|
98426aa139
|
Added new MDP example 'consensus'. Added some test checking to storm.cpp.
|
13 years ago |
|
dehnert
|
5b49307eaf
|
Added PRISM files for all of our examples. Added missing reward models. Added result files that indicate the results of PRISM on our examples.
|
13 years ago |
|
dehnert
|
fb7b910f51
|
Reverted PRISM example to original reward formulation, because we can now deal with transition rewards on MDPs.
|
13 years ago |
|
dehnert
|
acc368d49a
|
Changed two dice example to not include the file header any more.
|
13 years ago |
|
gereon
|
270c3125b5
|
Adding new simple example pm file.
sync.pm contains a very simple model that uses the synchronization feature of prism.
|
13 years ago |
|
dehnert
|
db01eb92d9
|
Splitted explicit model adapter into several logical functions.
|
13 years ago |
|
dehnert
|
f056eee6b2
|
Added some more examples.
Removed result file for example.
|
13 years ago |
|
dehnert
|
f6e70a6ee6
|
Included small DTMC example along with its analysis result using PRISM.
|
13 years ago |
