| Age | Commit message (Collapse) | Author | Files | Lines | |
|---|---|---|---|---|---|
| 2017-11-25 | Merge branch 'trivial-tests' into 'master' | Erin van der Veen | 2 | -19/+21 | |
| Add reports on triviality of test cases See merge request eveen/Testing-Techniques!10 | |||||
| 2017-11-22 | Remove illegal moves | Camil Staps | 1 | -2/+0 | |
| 2017-11-22 | Fix random seed & do not shrink for reproducibility | Camil Staps | 2 | -10/+13 | |
| 2017-11-22 | Pluralise triviality reports | Camil Staps | 1 | -1/+1 | |
| 2017-11-22 | Add reports on triviality of test cases | Camil Staps | 1 | -7/+8 | |
| 2017-11-22 | Merge branch '8-quickcheck-property-pinned-pieces-cannot-move' into 'master' | Camil Staps | 1 | -0/+7 | |
| Implement Check after own move prop Closes #8 See merge request eveen/Testing-Techniques!9 | |||||
| 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 ↵ | Erin van der Veen | 1 | -1/+7 | |
| '5-quickcheck-property-there-can-never-be-a-pawn-on-rank-a-and-h' into 'master' Add prop_no_pawns_on_1_and_8 Closes #5 See merge request eveen/Testing-Techniques!4 | |||||
| 2017-11-20 | Merge branch ↵ | Camil Staps | 1 | -0/+5 | |
| '7-quickcheck-property-if-a-side-was-in-check-before-a-ply-he-should-not-be-in-check-anymore-after-that-ply' into 'master' Add sequential check property Closes #7 See merge request eveen/Testing-Techniques!6 | |||||
| 2017-11-20 | Merge branch 'refactor-atAnyState' into 'master' | Erin van der Veen | 1 | -6/+1 | |
| Refactor atAnyState See merge request eveen/Testing-Techniques!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 ↵ | Camil Staps | 1 | -1/+19 | |
| 5-quickcheck-property-there-can-never-be-a-pawn-on-rank-a-and-h | |||||
| 2017-11-20 | Add prop_no_pawns_on_1_and_8 | Camil Staps | 1 | -1/+7 | |
| 2017-11-20 | Merge branch ↵ | Camil Staps | 1 | -1/+19 | |
| '1-quickcheck-property-niet-meer-stukken-op-het-bord-na-een-zet' into 'master' Resolve "QuickCheck property: niet meer stukken op het bord na een zet" Closes #1 See merge request eveen/Testing-Techniques!3 | |||||
| 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 ↵ | Erin van der Veen | 1 | -4/+12 | |
| 1-quickcheck-property-niet-meer-stukken-op-het-bord-na-een-zet | |||||
| 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 | Merge branch ↵ | Erin van der Veen | 2 | -1/+17 | |
| '3-quickcheck-property-there-should-not-ever-be-more-than-2-kings-on-the-board-black-and-white' into 'master' Resolve #3: add property for number of kings Closes #3 See merge request eveen/Testing-Techniques!2 | |||||
| 2017-11-20 | Resolve #3: add property for number of kings | Camil Staps | 2 | -1/+17 | |
| 2017-11-20 | Made Test.hs for adding properties | Camil Staps | 3 | -109/+119 | |
| 2017-11-13 | Add shrink for PGN | Camil Staps | 1 | -0/+2 | |
| 2017-11-13 | Update introduction assignment 3 | Camil Staps | 1 | -5/+17 | |
| 2017-11-13 | Add frequency-based arbitrary move generator | Camil Staps | 2 | -1/+7774 | |
| 2017-11-13 | Assignment 3: Write small section on QuickCheck and relation to assignment 1 | Erin van der Veen | 1 | -0/+39 | |
| 2017-10-26 | 'Bounded Retransmission Protocol' Blob | René den Hertog | 64 | -0/+38501 | |
| 2017-10-25 | Finish assignment 2, part 1 | Camil Staps | 1 | -4/+11 | |
| 2017-10-25 | Reorganise full runs | Camil Staps | 4 | -25/+3 | |
| 2017-10-25 | Add final runs and models of Rivest-Schapire | Camil Staps | 2 | -18/+83 | |
| 2017-10-24 | Add Randomwalk and WPMethod full runs | Erin van der Veen | 4 | -0/+235 | |
| 2017-10-24 | Add runs of Rivest-Schapire (RandomWalk and WMethod) | Camil Staps | 2 | -0/+82 | |
| 2017-10-23 | Add hypotheses | Camil Staps | 5 | -73/+178 | |
| 2017-10-23 | 1.1.4 | Camil Staps | 1 | -0/+8 | |
| 2017-10-23 | Cleanup | Camil Staps | 1 | -10/+1 | |
| 2017-10-16 | Remove PNGs | Camil Staps | 7 | -0/+11 | |
| 2017-10-16 | Merge branch 'master' of gitlab.science.ru.nl:eveen/Testing-Techniques | Camil Staps | 14 | -0/+297 | |
| 2017-10-16 | de-misunderestimating | Camil Staps | 13 | -0/+398 | |
| 2017-10-16 | Add counterexamples and hypotheses of same counterexample twice | Erin van der Veen | 4 | -0/+152 | |
| 2017-10-16 | Fix typo in Shapir | Erin van der Veen | 5 | -0/+0 | |
| 2017-10-16 | Add counterexamples and Hypotheses for TTT | Erin van der Veen | 5 | -0/+145 | |
| 2017-10-16 | Move assignment1 to own dir; Setup assignment2.tex; Add 4 hypotheses of ↵ | Erin van der Veen | 8 | -0/+177 | |
| Rivest Shapir | |||||
| 2017-10-05 | Argue about coverage | Camil Staps | 1 | -0/+5 | |
| 2017-10-05 | Add more tests | Camil Staps | 11 | -32/+142 | |
| 2017-10-05 | Test results | Camil Staps | 3 | -15/+115 | |
| 2017-10-02 | Continue with text | Camil Staps | 2 | -43/+79 | |
| 2017-10-02 | Merge branch 'master' of gitlab.science.ru.nl:eveen/Testing-Techniques | Camil Staps | 1 | -10/+4 | |
| 2017-10-02 | Authors | Camil Staps | 1 | -5/+1 | |
 |
index : NWI-I00110-Testing-Techniques | |
| Files related to NWI-I00110 Testing Techniques, autumn 2017, Radboud University Nijmegen. |
| summaryrefslogtreecommitdiff |