Version 0.6.1 : hybridization with the crypt solver
·
67 commits
to main
since this release
New Features
- Integration of the crypt solver in C.
- Minor improvements of the grammar and the generation model.
What's Changed
- Add new heavy table constraints for the addition by @arnaud-m in #131
- Simplify the heavy table constraints for the addition by @arnaud-m in #136
- Antlr: reject && at the end + refactor grammar #134 by @FissoreD in #135
- Integration of the crypt solver by @arnaud-m in #137
Full Changelog: v0.6.0...v0.6.1
Contributors
arnaud-m and FissoreD