·
15 commits
to master
since this release
- Cross-build for Scala 2.13.0 (#68)
- Update Z3 to version 4.7.1 (#66)
- Update build to sbt 1.0 (#64)
- Make all Mac OS dynamic libraries be relocatable (#58)
- Get Native class to load in withinJar (#57)
- Exclude ar archives from computing the checksum (#55)
- Add DSL bindings to bit-vectors (#52)
- Make Z3Solver.assertCnstr(dsl.Tree[dsl.BoolSort]) public (#51)
- Remove -fopenmp on Mac (#50)