| Age | Commit message (Expand) | Author | Files | Lines |
|---|
| 2017-11-22 | Merge branch 'master' of gitlab.science.ru.nl:eveen/Testing-Techniques into 2... | Camil Staps | 1 | -0/+7 |
| 2017-11-22 | Add prop_dont_touch_my_pieces | Camil Staps | 1 | -1/+7 |
| 2017-11-22 | Implement Check after own move prop | Erin van der Veen | 1 | -0/+7 |
| 2017-11-20 | Hotfix for prop_no_pawns_on_1_and_8 | Camil Staps | 1 | -1/+1 |
| 2017-11-20 | Merge branch '5-quickcheck-property-there-can-never-be-a-pawn-on-rank-a-and-h... | Erin van der Veen | 1 | -1/+7 |
| 2017-11-20 | Merge branch '7-quickcheck-property-if-a-side-was-in-check-before-a-ply-he-sh... | Camil Staps | 1 | -0/+5 |
| 2017-11-20 | Add sequential check property | Erin van der Veen | 1 | -0/+5 |
| 2017-11-20 | nomenclature | Camil Staps | 1 | -2/+2 |
| 2017-11-20 | Refactor atAnyStaterefactor-atAnyState | Camil Staps | 1 | -6/+1 |
| 2017-11-20 | Merge branch 'master' into 5-quickcheck-property-there-can-never-be-a-pawn-on... | Camil Staps | 1 | -1/+19 |
| 2017-11-20 | Add prop_no_pawns_on_1_and_8 | Camil Staps | 1 | -1/+7 |
| 2017-11-20 | Fix issues in number of pieces property | Erin van der Veen | 1 | -2/+4 |
| 2017-11-20 | Merge remote-tracking branch 'origin/master' into 1-quickcheck-property-niet-... | Erin van der Veen | 1 | -4/+12 |
| 2017-11-20 | Add number of pieces property test | Erin van der Veen | 1 | -0/+16 |
| 2017-11-20 | Add pieceCoords | Camil Staps | 1 | -4/+12 |
| 2017-11-20 | Resolve #3: add property for number of kings | Camil Staps | 1 | -0/+16 |
| 2017-11-20 | Made Test.hs for adding properties | Camil Staps | 1 | -0/+63 |
