8000 Tags · jreineke/z3 · GitHub
[go: up one dir, main page]
Skip to content

Tags

Tags

z3-4.11.2

Toggle z3-4.11.2's commit message 
inc version

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

z3-4.11.0

Toggle z3-4.11.0's commit message 
fix closing parnetheses

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

z3-4.10.2

Toggle z3-4.10.2's commit message 
inc release number

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

z3-4.10.1

Toggle z3-4.10.1's commit message 
startswith

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

z3-4.10.0

Toggle z3-4.10.0's commit message 
Merge branch 'master' of https://github.com/z3prover/z3

z3-4.9.1

Toggle z3-4.9.1's commit message 
update release notes

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

z3-4.9.0

Toggle z3-4.9.0's commit message 
Update release.yml for Azure Pipelines

z3-4.8.17

Toggle z3-4.8.17's commit message 
enable pypi release

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

z3-4.8.16

Toggle z3-4.8.16'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 
wasm build: disable error handler (Z3Prover#5996)

* wasm: set error handler to no-op

* wasm: better wrapper for use in html

z3-4.8.15

Toggle z3-4.8.15's commit message 
remove buggy code, close, fix Z3Prover#5825

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