On Tue, 24 Mar 2020, Guillaume Melquiond wrote:
> 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 I'm not sure what this change is, but after doing a pull of the latest version, I still have to remove the --strings-exp option to get cvc4 to work. julia > * 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 > _______________________________________________ Why3-club mailing list Why3-club@lists.gforge.inria.fr https://lists.gforge.inria.fr/mailman/listinfo/why3-club