Skip to content

Releases: batfish/z3

z3-2019-01-26-be61a26452735dfe62b14ddb4804ca5df0526dcf

27 Jan 05:46
@arifogel arifogel
z3-2019-01-26-be61a26452735dfe62b14ddb4804ca5df0526dcf
be61a26
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.
Compare
Choose a tag to compare
z3-2019-01-26-be61a26452735dfe62b14ddb4804ca5df0526dcf Latest
Latest 
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
Assets 8

z3-2018-01-31-ad9d6482e3a4fc78165db3cc77ffa16aed2691d4

31 Jan 21:37
@arifogel arifogel
z3-2018-01-31-ad9d6482e3a4fc78165db3cc77ffa16aed2691d4
ad9d648
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.
Compare
Choose a tag to compare
z3-2018-01-31-ad9d6482e3a4fc78165db3cc77ffa16aed2691d4 
Merge pull request #1 from batfish/ari-travis

Modifications for batfish (READY FOR REVIEW)
Assets 6

z3-2018-01-12-450f3c9b459d128135abb5bbd4fa0508fe26bfae

15 Jan 18:30
@arifogel arifogel
z3-2018-01-12-450f3c9b459d128135abb5bbd4fa0508fe26bfae
450f3c9
Compare
Choose a tag to compare
z3-2018-01-12-450f3c9b459d128135abb5bbd4fa0508fe26bfae 
Merge branch 'master' of https://github.com/z3prover/z3
Assets 5