Changelog

All notable changes to this project are documented in this file.

---

[2.0.0] - 2025-05-15

• Support for division and modulo operations.
• Language extensions:
  • match statement.
  • havoc statement.
  • assert statement.
  • flip statement.
  • raise statement.
  • try statement.
  • swap statement.
• Replace || with [] for non-determinism.
• Improved REPL and CLI.
• Enhanced pretty printing.
• Cleaner result handling.

---

[1.1.1] - 2025-05-07

• Delete TTY module.

---

[1.1.0] - 2025-05-07

• Implement read, revert, and break statements.
• Store procedures in state as a list.
• Extend test suite.

---

[1.0.5] - 2025-05-03

• Fix Windows build workflow.

---

[1.0.4] - 2025-05-03

• Implement do-times statement.
• Move TTY module out of IMP.
• Strip binary in release workflow.
• Extend tests.

---

[1.0.3] - 2025-05-01

• Various small fixes.

---

[1.0.2] - 2025-05-01

• Implement repeat-until and for statements.
• Implement time arithmetic expression.
• Support arithmetic variable definition operators.
• Remove quotes around pretty-printing of Bool.
• Rename Var to Ident.
• Update EBNF.

---

[1.0.1] - 2025-04-30

• Rewrite parser in applicative style.
• Add specification tests.

---

[1.0.0] - 2025-04-24

• Core language features and extensions fully implemented.
• Fletched out CLI and REPL.
• Add example programs.
• Pretty printing of statements.

---

[0.2.0] - 2025-04-19

• Fix procedures.
• Print expressions in the REPL.
• More meta commands and example programs.

---

[0.1.4] - 2025-04-19

• Fix evaluation of expressions in the REPL.
• More meta commands.
• Internal refactor into CLI module.
• Add version flag.

---

[0.1.3] - 2025-04-18

• Add local variable definition in statements.
• Add parallel execution of statements.
• Add non-deterministic execution of statements.
• Known issue: entering only expressions hangs the REPL.

---

[0.1.2] - 2025-04-17

• Fix while loop logic with eager evaluation.
• Support REPL meta commands.
• Reserve future operators and keywords.

---

[0.1.1] - 2025-04-16

• Add input channel in parseIMP.
• Rename --code to --command.
• Minor codebase and CI changes for automatic releases.

---

[0.1.0] - 2025-04-16

• Initial release.
• First release of the IMP CLI tool.
• Contains the interpreter, REPL, and some example programs.

---