-
Clément Fumex authored
- generation in the makefile - proofs done Remove complex axioms from Pow2int in bv.why. Add guards in rotates axioms in bv.why.
1a0d9e4a
Prochaines maintenances programmées: mardi 02/04, lundi 06/05, lundi 03/06
Pour plus d'informations: https://doc-si.inria.fr/display/SU/Gitlab
- generation in the makefile - proofs done Remove complex axioms from Pow2int in bv.why. Add guards in rotates axioms in bv.why.