2006-05-03 | Rafael Garcia-Suarez | Ensure that C<(state $x) = $y> is not a state assignment | blob | commitdiff |
2006-05-03 | Rafael Garcia-Suarez | New test case for state variables with ties, suggested... | blob | commitdiff | diff to current |
2006-05-03 | Rafael Garcia-Suarez | Add "state" feature | blob | commitdiff | diff to current |
2006-05-03 | Rafael Garcia-Suarez | Introduce a new keyword, state, for state variables. | blob | commitdiff | diff to current |