·
1 commit
to main
since this release
fb70ec3
This commit was signed with the committer’s verified signature.
samuelchassot
Samuel Chassot
What's Changed
- Update inox and add regression test from issue 1768 by @samuelchassot in #1769
- Fix extraction of opaque type aliases used outside their defining scope by @mbovel in #1770
- Run verification before GenC and add an option to skip verification by @samuelchassot in #1781
Full Changelog: v0.10.1...v0.10.2
Contributors
mbovel and samuelchassot