Public Git Hosting - why3.git/commit

commit	5f9169e03292179b7d2af447fc8caa0b63892c19
author	Claude Marche <Claude.Marche@inria.fr>
	Sat, 16 Nov 2024 08:41:34 +0000 (16 09:41 +0100)
committer	Claude Marche <Claude.Marche@inria.fr>
	Sat, 16 Nov 2024 08:41:34 +0000 (16 09:41 +0100)
tree	b1eaa0f88ef7158f0513f96d272c175b4dab9a43	tree \| snapshot (tar.gz zip)
parent	746f2fa7c1e3bb35ce18b8e4b671e35c12fc200d	commit \| diff

fis sessions

A platform for deductive program verification

examples/multiprecision/mpz_add/why3session.xml		diff \| blob \| blame \| history
examples/numeric/exp_log/why3session.xml		diff \| blob \| blame \| history
examples/numeric/exp_log/why3shapes.gz		diff \| blob \| blame \| history
examples/prover/Firstorder_formula_impl/why3session.xml		diff \| blob \| blame \| history
examples/prover/Firstorder_formula_impl/why3shapes.gz		diff \| blob \| blame \| history
examples/sieve/why3session.xml		diff \| blob \| blame \| history
examples/skew_heaps/why3session.xml		diff \| blob \| blame \| history
examples/stdlib/list/why3session.xml		diff \| blob \| blame \| history