Skip to content

Tags: Z3Prover/z3

Tags

z3-4.13.2

Toggle z3-4.13.2's commit message 
update version number and release notes

z3-4.13.0

Toggle z3-4.13.0's commit message 
add download of Arm64 to python packaging

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

z3-4.12.6

Toggle z3-4.12.6's commit message 
enable release publish

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

z3-4.12.5

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

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

z3-4.12.4

Toggle z3-4.12.4's commit message 
add release notes

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

z3-4.12.3

Toggle z3-4.12.3's commit message 
update release notes

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

z3-4.12.2

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

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

z3-4.12.1

Toggle z3-4.12.1's commit message 
update release script

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

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 <nbjorner@microsoft.com>