AFAIK, opam doesn't impose any licensing restrictions to add/publish a
new package :-)
Regards,
- Mohamed.
On 23/03/2020 18:21, François Bobot wrote:
Le 19/03/2020 à 17:14, Albin Coquereau a écrit :
Note that Alt-Ergo of course remains available for academic or exploratory
purpose under th
Le 19/03/2020 à 17:14, Albin Coquereau a écrit :
> Note that Alt-Ergo of course remains available for academic or exploratory
> purpose under the
> OCamlPro non commercial license. This is our way to replace the old model of
> automatically releasing
> a free version of Alt-Ergo with a one-year d
Hi,
On 3/23/20 4:39 PM, Julia Lawall wrote:
> I see the option --apply-transform to apply a specific transform, but is
> it possible to apply a strategy, as defined in the .why3.conf file?
>
We also faced this limitation of Why3 in AstraVer project. We implemented
separate
tool called "sprove"
I see the option --apply-transform to apply a specific transform, but is
it possible to apply a strategy, as defined in the .why3.conf file?
thanks,
julia
___
Why3-club mailing list
Why3-club@lists.gforge.inria.fr
https://lists.gforge.inria.fr/mailman/li
