[Why3-club] permut fix

Jean-Christophe Filliatre Jean-Christophe.Filliatre at lri.fr
Tue Mar 11 10:10:16 CET 2014


> Many thanks. So your advice is to use the development version.

We should make a new release very soon (hopefully by the end of the
week), notably because of this fix regarding permutations.

-- 
Jean-Christophe



More information about the Why3-club mailing list