Le 24/03/2020 à 21:42, Julia Lawall a écrit :
>> * 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.
Yes, this is a different issue. The one that
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
___