aboutsummaryrefslogtreecommitdiff
path: root/Practical1
AgeCommit message (Expand)AuthorFilesLines
2015-12-11Practical 1; samples the program fails onCamil Staps12-0/+463
2015-11-04Final version report practical 1Camil Staps6-62/+75
2015-11-03Report organisation practical 1Camil Staps3-6/+6
2015-11-02Working on reportCamil Staps4-43/+182
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