| Age | Commit message (Expand) | Author | Files | Lines |
|---|---|---|---|---|
| 2016-03-31 | Update toString in readme; own toString for BoolHEADmaster | Camil Staps | 1 | -1/+3 |
| 2016-03-30 | Parentheses for ArithExpr/BoolExpr toString | Camil Staps | 1 | -6/+5 |
| 2016-03-30 | Parentheses for Stm toString | Camil Staps | 1 | -2/+7 |
| 2016-03-30 | Overloaded state, more boolean ops, unaliased Var | Camil Staps | 1 | -40/+67 |
| 2016-03-29 | Fix seq; more readme | Camil Staps | 1 | -2/+2 |
| 2016-03-29 | Initial commit | Camil Staps | 1 | -0/+146 |
 |
index : while | |
| Clean While tools |
| aboutsummaryrefslogtreecommitdiff |