Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Tags: zkincaid/z3

Tags

20180513

Toggle 20180513's commit message
Compilation error

z3-4.6.0

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

20161217

Toggle 20161217's commit message
rpath bugfix in META

20161216

Toggle 20161216's commit message
Set rpath to include dll install directory in META

z3-4.5.0

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

20160610

Toggle 20160610's commit message
Fixed optimize API

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.

20150928

Toggle 20150928's commit message
Merge remote-tracking branch 'ms/unstable' into sv-opam