summaryrefslogtreecommitdiff
AgeCommit message (Expand)AuthorFilesLines
2017-11-26CleanupCamil Staps2-14/+10
2017-11-26Add Markov chain testCamil Staps3-12/+70
2017-11-25Fix merge problemCamil Staps1-1/+1
2017-11-25Merge branch '2-quickcheck-property-zwart-wit-mag-geen-wit-zwart-stuk-verplaa...Erin van der Veen1-1/+7
2017-11-25Merge branch 'trivial-tests' into 'master'Erin van der Veen2-19/+21
2017-11-22Remove illegal movesCamil Staps1-2/+0
2017-11-22Fix random seed & do not shrink for reproducibilityCamil Staps2-10/+13
2017-11-22Pluralise triviality reportsCamil Staps1-1/+1
2017-11-22Add reports on triviality of test casesCamil Staps1-7/+8
2017-11-22Fix prop_dont_touch_my_pieces for caught piecesCamil Staps1-1/+1
2017-11-22Merge branch 'master' of gitlab.science.ru.nl:eveen/Testing-Techniques into 2...Camil Staps1-0/+7
2017-11-22Add prop_dont_touch_my_piecesCamil Staps1-1/+7
2017-11-22Merge branch '8-quickcheck-property-pinned-pieces-cannot-move' into 'master'Camil Staps1-0/+7
2017-11-22Implement Check after own move propErin van der Veen1-0/+7
2017-11-21Don't shrink test cases; this always reduces to the moves '' which gives a ru...Camil Staps1-2/+0
2017-11-20Hotfix for prop_no_pawns_on_1_and_8Camil Staps1-1/+1
2017-11-20Merge branch '5-quickcheck-property-there-can-never-be-a-pawn-on-rank-a-and-h...Erin van der Veen1-1/+7
2017-11-20Merge branch '7-quickcheck-property-if-a-side-was-in-check-before-a-ply-he-sh...Camil Staps1-0/+5
2017-11-20Merge branch 'refactor-atAnyState' into 'master'Erin van der Veen1-6/+1
2017-11-20Add sequential check propertyErin van der Veen1-0/+5
2017-11-20nomenclatureCamil Staps1-2/+2
2017-11-20Refactor atAnyStaterefactor-atAnyStateCamil Staps1-6/+1
2017-11-20Merge branch 'master' into 5-quickcheck-property-there-can-never-be-a-pawn-on...Camil Staps1-1/+19
2017-11-20Add prop_no_pawns_on_1_and_8Camil Staps1-1/+7
2017-11-20Merge branch '1-quickcheck-property-niet-meer-stukken-op-het-bord-na-een-zet'...Camil Staps1-1/+19
2017-11-20Fix issues in number of pieces propertyErin van der Veen1-2/+4
2017-11-20Merge remote-tracking branch 'origin/master' into 1-quickcheck-property-niet-...Erin van der Veen1-4/+12
2017-11-20Add number of pieces property testErin van der Veen1-0/+16
2017-11-20Add pieceCoordsCamil Staps1-4/+12
2017-11-20Merge branch '3-quickcheck-property-there-should-not-ever-be-more-than-2-king...Erin van der Veen2-1/+17
2017-11-20Resolve #3: add property for number of kingsCamil Staps2-1/+17
2017-11-20Made Test.hs for adding propertiesCamil Staps3-109/+119
2017-11-13Add shrink for PGNCamil Staps1-0/+2
2017-11-13Update introduction assignment 3Camil Staps1-5/+17
2017-11-13Add frequency-based arbitrary move generatorCamil Staps2-1/+7774
2017-11-13Assignment 3: Write small section on QuickCheck and relation to assignment 1Erin van der Veen1-0/+39
2017-10-26'Bounded Retransmission Protocol' BlobRené den Hertog64-0/+38501
2017-10-25Finish assignment 2, part 1Camil Staps1-4/+11
2017-10-25Reorganise full runsCamil Staps4-25/+3
2017-10-25Add final runs and models of Rivest-SchapireCamil Staps2-18/+83
2017-10-24Add Randomwalk and WPMethod full runsErin van der Veen4-0/+235
2017-10-24Add runs of Rivest-Schapire (RandomWalk and WMethod)Camil Staps2-0/+82
2017-10-23Add hypothesesCamil Staps5-73/+178
2017-10-231.1.4Camil Staps1-0/+8
2017-10-23CleanupCamil Staps1-10/+1
2017-10-16Remove PNGsCamil Staps7-0/+11
2017-10-16Merge branch 'master' of gitlab.science.ru.nl:eveen/Testing-TechniquesCamil Staps14-0/+297
2017-10-16de-misunderestimatingCamil Staps13-0/+398
2017-10-16Add counterexamples and hypotheses of same counterexample twiceErin van der Veen4-0/+152
2017-10-16Fix typo in ShapirErin van der Veen5-0/+0
generated by cgit v1.2.3 (git 2.39.1) at 2025-03-18 22:59:59 +0000