Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2015-12-11 | Practical 1; samples the program fails on | Camil Staps | 12 | -0/+463 |
2015-11-04 | Final version report practical 1 | Camil Staps | 6 | -62/+75 |
2015-11-03 | Report organisation practical 1 | Camil Staps | 3 | -6/+6 |
2015-11-02 | Working on report | Camil Staps | 4 | -43/+182 |
2015-10-28 | P1 report: typo; margins; copyright; lemmas / proofs on one page | Camil Staps | 1 | -5/+4 |
2015-10-27 | Correctness proofs | Camil Staps | 3 | -49/+93 |
2015-10-27 | Start report practical 1 | Camil Staps | 5 | -0/+485 |
2015-10-27 | Using a type variable for a Node's content | Camil Staps | 3 | -47/+49 |
2015-10-23 | Practical1: comments; Java8 fancy stuff; enhancements tester | Camil Staps | 4 | -103/+235 |
2015-10-22 | Robson's algorithm; added test outputs; more test cases; tester bugfix | Camil Staps | 46 | -118/+1060 |
2015-10-22 | Practical 1 Tester | Camil Staps | 21 | -0/+1620 |
2015-10-20 | First version practical 1 (garbage collection) | Camil Staps | 5 | -0/+270 |