Skip to content

Tags: batfish/z3

Tags

z3-2019-01-26-be61a26452735dfe62b14ddb4804ca5df0526dcf

Toggle z3-2019-01-26-be61a26452735dfe62b14ddb4804ca5df0526dcf's commit message

Verified

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 
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

z3-2018-01-31-ad9d6482e3a4fc78165db3cc77ffa16aed2691d4

Toggle z3-2018-01-31-ad9d6482e3a4fc78165db3cc77ffa16aed2691d4's commit message

Verified

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 
Merge pull request #1 from batfish/ari-travis

Modifications for batfish (READY FOR REVIEW)

z3-2018-01-12-450f3c9b459d128135abb5bbd4fa0508fe26bfae

Toggle z3-2018-01-12-450f3c9b459d128135abb5bbd4fa0508fe26bfae's commit message 
Merge branch 'master' of https://github.com/z3prover/z3

z3-4.6.0

Toggle z3-4.6.0's commit message 
Official release Z3 4.6.0

z3-4.5.0

Toggle z3-4.5.0's commit message 
Official release Z3 4.5.0

z3-4.4.1

Toggle z3-4.4.1's commit message 
Official release Z3 4.4.1

last-pure-unstable

Toggle last-pure-unstable's commit message 
Last known pure (Microsoft-only) source in the unstable branch.

last-pure-pure

Toggle last-pure-pure's commit message 
Last known pure (Microsoft-only) source in the pure branch.

z3-4.4.0

Toggle z3-4.4.0's commit message 
Official release binary Z3 4.4.0 (Windows x86 and x64).

z3-4.3.2

Toggle z3-4.3.2's commit message 
Z3 4.3.2