Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2016-03-31 | Update toString in readme; own toString for BoolHEADmaster | Camil Staps | 3 | -28/+31 |
2016-03-30 | Parentheses for ArithExpr/BoolExpr toString | Camil Staps | 1 | -6/+5 |
2016-03-30 | Parentheses for Stm toString | Camil Staps | 2 | -2/+8 |
2016-03-30 | Overloaded state, more boolean ops, unaliased Var | Camil Staps | 7 | -71/+128 |
2016-03-29 | Readme: features, headings | Camil Staps | 1 | -11/+20 |
2016-03-29 | Fix seq; more readme | Camil Staps | 3 | -3/+75 |
2016-03-29 | Initial commit | Camil Staps | 7 | -0/+369 |