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

Skip to content

Tags: cj81499/z3

Tags

z3-4.12.5

Toggle z3-4.12.5's commit message 
update release scripts and notes

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

z3-4.12.4

Toggle z3-4.12.4's commit message 
add release notes

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

z3-4.12.3

Toggle z3-4.12.3's commit message 
update release notes

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

z3-4.12.2

Toggle z3-4.12.2's commit message 
updated release notes for 12.2

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

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