Skip to content

z3-2019-01-26-be61a26452735dfe62b14ddb4804ca5df0526dcf

Latest
Compare
Choose a tag to compare
@arifogel arifogel released this 27 Jan 05:46
· 2 commits to master since this release
be61a26
Merge pull request #3 from batfish/ari-upgrade-for-ite

Upgrade to enable ite as doc precondition

- update OSX build matrix
- re-add debug tests for linux
- update build matrix flags based on upstream changes
- better OSX documentation