aboutsummaryrefslogtreecommitdiff
path: root/Practical1
AgeCommit message (Expand)AuthorFilesLines
2015-10-28P1 report: typo; margins; copyright; lemmas / proofs on one pageCamil Staps1-5/+4
2015-10-27Correctness proofsCamil Staps3-49/+93
2015-10-27Start report practical 1Camil Staps5-0/+485
2015-10-27Using a type variable for a Node's contentCamil Staps3-47/+49
2015-10-23Practical1: comments; Java8 fancy stuff; enhancements testerCamil Staps4-103/+235
2015-10-22Robson's algorithm; added test outputs; more test cases; tester bugfixCamil Staps46-118/+1060
2015-10-22Practical 1 TesterCamil Staps21-0/+1620
2015-10-20First version practical 1 (garbage collection)Camil Staps5-0/+270