Skip to content

0.8.3

Compare
Choose a tag to compare
@zokratesbot zokratesbot released this 11 Oct 14:07
· 272 commits to develop since this release
d9006cb

This release fixes one regression introduced by assert error messages which led to some duplicate contraints not being deduplicated.

For a full list of the changes, check out the changelog.