Public Git Hosting - why3.git/commit

commit	0e2477adebd98dcd00211d6dfccecdf8cc7679d6
author	Claude Marche <Claude.Marche@inria.fr>
	Thu, 16 May 2024 12:09:55 +0000 (16 14:09 +0200)
committer	Claude Marche <Claude.Marche@inria.fr>
	Thu, 16 May 2024 12:09:55 +0000 (16 14:09 +0200)
tree	f182718eeab32be3cadc5255ef22f84b87664e6f	tree \| snapshot (tar.gz zip)
parent	27a128ffb95fdf096da493a66c3f105eae0ef73a	commit \| diff

fix some failing proofs

A platform for deductive program verification

examples/mergesort_queue/why3session.xml		diff \| blob \| blame \| history
examples/multiprecision/div/why3session.xml		diff \| blob \| blame \| history
examples/multiprecision/div/why3shapes.gz		diff \| blob \| blame \| history
examples/verifythis_2021_dll_to_bst/why3session.xml		diff \| blob \| blame \| history
examples/verifythis_2021_dll_to_bst/why3shapes.gz		diff \| blob \| blame \| history