A new release of Why3, version 1.1.1, is available from the Web page
http://why3.lri.fr/
Changes between 1.1.0 and 1.1.1 are as follows:
Bug fixes
* prevented broken extraction of `any`
* fixed evaluation order when extracting nested mutators
* fixed extraction of nested recursive polymorphic functions
* fixed cloning of expressions raising exceptions
_______________________________________________
Why3-club mailing list
Why3-club@lists.gforge.inria.fr
https://lists.gforge.inria.fr/mailman/listinfo/why3-club