summaryrefslogtreecommitdiff
AgeCommit message (Expand)AuthorFilesLines
2018-07-06Improve text on PRISM programsHEADmasterCamil Staps1-4/+5
2018-07-06Add text about PRISM repairCamil Staps2-18/+10
2018-07-06Merge branch 'master' of gitlab.science.ru.nl:eveen/Model-CheckingErin van der Veen1-36/+36
2018-07-06\o/Erin van der Veen1-1/+1
2018-07-06LaTeX 0 - Camil 1Camil Staps1-36/+36
2018-07-06Merge branch 'master' of gitlab.science.ru.nl:eveen/Model-CheckingErin van der Veen3-49/+25
2018-07-06Trivial fixesErin van der Veen2-3/+3
2018-07-06Remove run.py, add READMECamil Staps3-49/+25
2018-07-06Tsk tskCamil Staps1-0/+9
2018-07-06LalalaCamil Staps4-71/+80
2018-07-06Prevent division by zero in Z3Camil Staps6-38/+61
2018-07-06Shortcommings of our own toolErin van der Veen1-0/+9
2018-07-06Initial discussion of encountered problemsErin van der Veen2-0/+16
2018-07-06Try to let Z3 minimize stuffCamil Staps4-10/+10
2018-07-06Add minimization goals (not supported by Z3)Camil Staps7-31/+57
2018-07-06Merge branch 'master' of gitlab.science.ru.nl:eveen/Model-CheckingCamil Staps1-2/+4
2018-07-06Put everything in dockerCamil Staps5-12/+26
2018-07-06Merge branch 'master' of gitlab.science.ru.nl:eveen/Model-CheckingErin van der Veen4-34/+44
2018-07-06Reword totality constraint, add producing model to enumerationErin van der Veen1-2/+4
2018-07-06Add properties to make transition probabilities remain in [0,1]Camil Staps2-5/+18
2018-07-06CleanupCamil Staps3-31/+28
2018-07-06Get model if satisfiableErin van der Veen1-4/+4
2018-07-06Merge branch 'master' of gitlab.science.ru.nl:eveen/Model-CheckingErin van der Veen2-3/+6
2018-07-06Allow multiple propertiesErin van der Veen2-1/+12
2018-07-06Merge branch 'master' of gitlab.science.ru.nl:eveen/Model-CheckingCamil Staps2-5/+16
2018-07-06Remove redundant parenthesesCamil Staps3-5/+8
2018-07-06Allow more powerfull properties by allowing operatorsErin van der Veen2-5/+16
2018-07-06Whoops v2Erin van der Veen1-2/+2
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 Staps6-5/+79
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
generated by cgit v1.2.3 (git 2.39.1) at 2025-03-13 06:09:16 +0000