Skip to content

Tags: longzhang88/z3

Tags

z3-4.8.6

Toggle z3-4.8.6's commit message 
update to pypirc

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>

Nightly

Toggle Nightly's commit message 
temporarily disable delete

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>

Z3-4.8.5

Toggle Z3-4.8.5's commit message 
fix Z3Prover#2309

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>

z3-4.8.4

Toggle z3-4.8.4's commit message 
new tag

z3-4.8.3

Toggle z3-4.8.3's commit message 
Z3 version 4.8.3

z3-4.8.1

Toggle z3-4.8.1'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
Verified
Learn about vigilant mode 
Merge pull request Z3Prover#1881 from Z3Prover/revert-1880-c++17

Revert "Made Z3 compile for C++17 with MSVC"

z3-4.7.1

Toggle z3-4.7.1's commit message 
bumping version number by 1 for release tagging

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>

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