- Add support for Absolute DAL Cost Values
- Add support for bounded and unbounded replay attacks
- Update Agree2VDM to support AGREE expressions involving the "div" operator
- Update handling of Kind 2's exit codes to make it compatible with v1.9.0
- Fix an issue in the translator pipeline
- Update project dependencies