summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
masterWorkaround for fucking verifierSergey Nazaryev5 years
 
 
AgeCommit messageAuthorFilesLines
2016-05-15Workaround for fucking verifierHEADmasterSergey Nazaryev3-41/+62
2016-05-14Strange workaround from old labsSergey Nazaryev2-1/+2
2016-05-14Lamport realisationSergey Nazaryev10-33/+92
2016-04-24Fixed clang warning; added first column with initial balances; clang instead ...Sergey Nazaryev2-9/+13
2016-04-24Removed trailing whitespacesSergey Nazaryev2-5/+5
2016-04-24First release of PA2 labSergey Nazaryev9-57/+206
2016-04-24Initial commit for PA2Sergey Nazaryev19-200/+268
2016-04-10Version with receive in for-loop instead of receive_anySergey Nazaryev7-98/+210
2016-04-03Initial commitSergey Nazaryev12-0/+515