On Tue, 3 Sep 2019, Sylvain Dailler wrote:
> Le 03/09/2019 à 23:37, Julia Lawall a écrit :
> > I can't figure out what is the correct syntax for the following:
> >
> > apply valid_cont_add_to_ready with (cores p), idlecore_10, timeshare, t
>
> You need to remove the space after each ','. We will
Le 03/09/2019 à 23:37, Julia Lawall a écrit :
I can't figure out what is the correct syntax for the following:
apply valid_cont_add_to_ready with (cores p), idlecore_10, timeshare, t
You need to remove the space after each ','. We will investigate if it's
possible to remove this constraint.
On Sat, 13 Jul 2019, Jean-Christophe Filliatre wrote:
>
>
> Jean-Christophe
>
> On 7/13/19 3:03 PM, Julia Lawall wrote:
> >
> >
> > On Sat, 13 Jul 2019, Jean-Christophe Filliatre wrote:
> >
> >> Hi Julia,
> >>
> >> Indeed it is. The syntax is
> >>
> >> apply Lemma with term1,term2,...,termk
>
On Tue, 3 Sep 2019, Claude Marche wrote:
>
> Hello,
>
> For the record, if others have the same issue:
>
> rm lib/why3/why3extract.cmi
>
> should solve the problem
Works. Thanks!
julia
>
> - Claude
>
> Le 03/09/2019 à 08:07, Guillaume Melquiond a écrit :
> > Le 03/09/2019 à 07:54, Julia Lawa
Hello,
For the record, if others have the same issue:
rm lib/why3/why3extract.cmi
should solve the problem
- Claude
Le 03/09/2019 à 08:07, Guillaume Melquiond a écrit :
Le 03/09/2019 à 07:54, Julia Lawall a écrit :
With commit e4e2a2a416ff2e98f6247cdf23f068e5369e7f0e, I gate the
following:
> On 3 Sep 2019, at 08:07, Guillaume Melquiond
> wrote:
>
>> Le 03/09/2019 à 07:54, Julia Lawall a écrit :
>> With commit e4e2a2a416ff2e98f6247cdf23f068e5369e7f0e, I gate the
>> following:
>> File "src/tools/why3extract.ml", line 1:
>> Error: The implementation src/tools/why3extract.ml
>>
