aboutsummaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
masterUpdate toString in readme; own toString for BoolCamil Staps9 years
 
 
AgeCommit messageAuthorFilesLines
2016-03-31Update toString in readme; own toString for BoolHEADmasterCamil Staps3-28/+31
2016-03-30Parentheses for ArithExpr/BoolExpr toStringCamil Staps1-6/+5
2016-03-30Parentheses for Stm toStringCamil Staps2-2/+8
2016-03-30Overloaded state, more boolean ops, unaliased VarCamil Staps7-71/+128
2016-03-29Readme: features, headingsCamil Staps1-11/+20
2016-03-29Fix seq; more readmeCamil Staps3-3/+75
2016-03-29Initial commitCamil Staps7-0/+369
 
Clone
git@git.camilstaps.nl:archived/clean/while
https://git.camilstaps.nl/archived/clean/while