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

Skip to content

Tags: lurium/z3

Tags

z3-4.12.1

Toggle z3-4.12.1's commit message 
update release script

Signed-off-by: Nikolaj Bjorner <[email protected]>

z3-4.12.0

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

z3-4.11.2

Toggle z3-4.11.2's commit message 
inc version

Signed-off-by: Nikolaj Bjorner <[email protected]>

z3-4.11.0

Toggle z3-4.11.0's commit message 
fix closing parnetheses

Signed-off-by: Nikolaj Bjorner <[email protected]>

z3-4.10.2

Toggle z3-4.10.2's commit message 
inc release number

Signed-off-by: Nikolaj Bjorner <[email protected]>

z3-4.10.1

Toggle z3-4.10.1's commit message 
startswith

Signed-off-by: Nikolaj Bjorner <[email protected]>

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 <[email protected]>

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 <[email protected]>