A new release of Why3, version 1.3.1, is available from the Web page http://why3.lri.fr/
Changes between 1.3.0 and 1.3.1 are as follows: Bug fixes * fixed conflicting symbols for CVC4 1.7 * fixed META file * fixed infinite loops in strategies _______________________________________________ Why3-club mailing list Why3-club@lists.gforge.inria.fr https://lists.gforge.inria.fr/mailman/listinfo/why3-club