Old Revisions

These are the older revisons of the current document. To revert to an old revision, select it from below, click Edit this page and save it.

2025/11/03 23:08 creating:actions – One more instanceof-cast ahelwer -16 B (current)
2025/11/03 23:05 creating:actions – Use Java's instanceof-cast syntax ahelwer -210 B
2025/08/27 18:44 creating:actions – Next page is model checker ahelwer -2 B
2025/08/26 22:40 creating:actions – Use goToState() instead of setNextState() and step() ahelwer -876 B
2025/08/26 22:13 creating:actions – Improve double-priming error message, remove ambiguous usage of "current" ahelwer +100 B
2025/08/26 18:37 creating:actions – Change next chapter to model checker ahelwer +40 B
2025/06/19 21:36 creating:actions – Finished probable final draft of actions tutorial ahelwer +5.3 KB
2025/06/19 20:44 creating:actions – Rewrite Interpreter code to use simplified action method ahelwer +7.8 KB
2025/06/06 22:01 creating:actions – Handle basic x' = expr case ahelwer +7.8 KB
2025/06/06 18:54 creating:actions – Parsing & interpreting variable declarations ahelwer +6.4 KB