Mentions légales du service

Skip to content

Initial bulk upgrade of z3

Xavier Denis requested to merge upgrade-z3 into master

This PR includes an initial bulk upgrade of old z3 versions to z3 4.11.2.

It seems like ~10-20 proofs failed for diverse reasons but it should remove quite a bit of heavy lifting for the upgrade process.

The mapping is:

Z3,2.19 -> Z3,4.11.2 
Z3,3.2 -> Z3,4.11.2 
Z3,4.10.2 -> Z3,4.11.2 
Z3,4.3.1 -> Z3,4.11.2 
Z3,4.3.2 -> Z3,4.11.2 
Z3,4.4.0 -> Z3,4.11.2 
Z3,4.4.1 -> Z3,4.11.2 
Z3,4.5.0 -> Z3,4.11.2 
Z3,4.6.0 -> Z3,4.11.2 
Z3,4.7.1 -> Z3,4.11.2 
Z3,4.8.1 -> Z3,4.11.2 
Z3,4.8.10 -> Z3,4.11.2 
Z3,4.8.11 -> Z3,4.11.2 
Z3,4.8.12 -> Z3,4.11.2 
Z3,4.8.13 -> Z3,4.11.2 
Z3,4.8.14 -> Z3,4.11.2 
Z3,4.8.15 -> Z3,4.11.2 
Z3,4.8.3 -> Z3,4.11.2 
Z3,4.8.4 -> Z3,4.11.2 
Z3,4.8.5 -> Z3,4.11.2 
Z3,4.8.6 -> Z3,4.11.2 
Z3,4.8.7 -> Z3,4.11.2 
Z3,4.8.8 -> Z3,4.11.2 
Z3,4.8.9 -> Z3,4.11.2 
Z3,4.9.1 -> Z3,4.11.2

cc @marche

Edited by Xavier Denis

Merge request reports