# 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.

---