summaryrefslogtreecommitdiff
path: root/Assignment2
AgeCommit message (Expand)AuthorFilesLines
2018-07-06Merge branch 'master' of gitlab.science.ru.nl:eveen/Model-CheckingErin van der Veen4-109/+101
2018-07-06Debug smt2 statementsErin van der Veen2-15/+18
2018-07-06Report: abstract method, cut in text & figures to save space, bring implement...Camil Staps4-109/+101
2018-07-06Change var naming, change order of commands to Z3Erin van der Veen1-2/+4
2018-07-06Let z3 know that we have parametersErin van der Veen1-0/+7
2018-07-06Remove a little bit of uglinessCamil Staps1-1/+1
2018-07-06Enforce totality constraints in z3Erin van der Veen1-2/+4
2018-07-06Add propertiesCamil Staps2-25/+61
2018-07-06Avoid beautyCamil Staps1-3/+2
2018-07-06Fix compilation errorsCamil Staps1-11/+11
2018-07-06Start collecting propertiesCamil Staps2-0/+31
2018-07-06Assert simple formula in z3Erin van der Veen2-2/+39
2018-07-06Collect parametersCamil Staps2-27/+34
2018-07-06This is so uglyCamil Staps5-5/+77
2018-07-06Provide initial description of the implementationErin van der Veen2-0/+140
2018-07-06Add small section on our methodErin van der Veen2-0/+17
2018-07-05Merge branch 'master' of gitlab.science.ru.nl:eveen/Model-CheckingCamil Staps1-1/+1
2018-07-05Continue introductionCamil Staps3-6/+99
2018-07-05Merge branch 'master' of gitlab.science.ru.nl:eveen/Model-CheckingErin van der Veen2-1/+32
2018-07-05Make variables start with a vErin van der Veen1-1/+2
2018-07-05Add printDTMCCamil Staps2-1/+33
2018-07-05WhoopsErin van der Veen1-1/+1
2018-07-05Uniqueness :(Erin van der Veen1-9/+11
2018-07-05Add + var to every transitionErin van der Veen2-1/+20
2018-07-05State elimination works on the die exampleCamil Staps1-2/+108
2018-07-05Merge branch 'master' of gitlab.science.ru.nl:eveen/Model-CheckingCamil Staps2-0/+66
2018-07-05New DTMC structureCamil Staps3-26/+31
2018-07-05Merge branch 'master' of gitlab.science.ru.nl:eveen/Model-CheckingErin van der Veen4-2/+85
2018-07-05z3 interface for CleanErin van der Veen2-0/+66
2018-07-05Merge branch 'master' of gitlab.science.ru.nl:eveen/Model-CheckingCamil Staps2-1/+6
2018-07-05Add DTMC parserCamil Staps4-2/+85
2018-07-05Remove duplicate PCTLErin van der Veen1-11/+2
2018-07-05Explain difference probabilistic and cost-bounded propertiesErin van der Veen2-1/+15
2018-07-04Bootstrap reportCamil Staps5-0/+2852
2018-07-04Add properties and simple program with stormpy bindingsCamil Staps3-0/+67
2018-07-04Improve dockerfileCamil Staps2-4/+4
2018-07-04Add docker image with storm+stormpyCamil Staps2-0/+33
generated by cgit v1.2.3 (git 2.39.1) at 2025-03-14 11:25:24 +0000