aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)AuthorFilesLines
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