Kind 2 v1.2.0
·
2686 commits
to develop
since this release
New features:
- Support for machine integers.
- Option to output results in JSON format.
- Interpreter accepts input values in JSON format.
Many bug fixes!
Please refer to the user documentation for more details.