·
172 commits
to main
since this release
5d817d8
This commit was signed with the committer’s verified signature.
bpandreotti
Bruno Andreotti
- Implemented parallel proof checking
- Added
slicecommand - Added more options to control how
lia_genericsteps are solved - Fixed non-deterministic error messages
- Improved API documentation
- Improved memory usage
- Upgraded to Rust version 1.72
- Many bug fixes and other small improvements