[Why3-club] updated gallery of verified programs

Jean-Christophe Filliâtre Jean-Christophe.Filliatre at lri.fr
Thu Mar 20 08:01:26 CET 2014


Dear Why3 users,

We have updated our gallery of verified programs, so that it is now
synchronized with release 0.83:

	http://toccata.lri.fr/gallery/why3.en.html

In the meantime, new examples have been added, namely

	http://toccata.lri.fr/gallery/sudoku.en.html
	http://toccata.lri.fr/gallery/inverse_in_place.en.html
	http://toccata.lri.fr/gallery/euler003.en.html
	http://toccata.lri.fr/gallery/maximum_subarray.en.html
	http://toccata.lri.fr/gallery/residual.en.html
	http://toccata.lri.fr/gallery/remove_duplicate.en.html
	http://toccata.lri.fr/gallery/ropes.en.html
	http://toccata.lri.fr/gallery/toy_compiler.en.html

All examples are categorized in the general index:

	http://toccata.lri.fr/gallery/index.en.html

-- 
Jean-Christophe



More information about the Why3-club mailing list