Skip to content

v1.3.2
Compare
Choose a tag to compare
@sallaigy sallaigy released this 30 Dec 18:44
· 16 commits to master since this release
v1.3.2
ebbffbc
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.

This release adds support for GitHub actions and fixes some possible aliasing issues on the counterexample check script in the tests. It also fixes build errors with newer (>1.70) Boost versions.

Assets 2
Loading