Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2018-07-05 | Merge branch 'master' of gitlab.science.ru.nl:eveen/Model-Checking | Camil Staps | 2 | -1/+6 | |
2018-07-05 | Add DTMC parser | Camil Staps | 4 | -2/+85 | |
2018-07-05 | Remove duplicate PCTL | Erin van der Veen | 1 | -11/+2 | |
2018-07-05 | Explain difference probabilistic and cost-bounded properties | Erin van der Veen | 2 | -1/+15 | |
2018-07-04 | Bootstrap report | Camil Staps | 5 | -0/+2852 | |
2018-07-04 | Add properties and simple program with stormpy bindings | Camil Staps | 3 | -0/+67 | |
2018-07-04 | Improve dockerfile | Camil Staps | 2 | -4/+4 | |
2018-07-04 | Add docker image with storm+stormpy | Camil Staps | 2 | -0/+33 | |