Re: [isabelle] Isabelle2016-RC0: cvc4 crashing
On 26/10/16 12:42, Eugene W. Stark wrote:
> CVC4 still crashes regularly with Isabelle2016 on Ubuntu 16.04 LTS.
> For some reason it seems to still be useful, though. I believe this
> is because (as surmised earlier in this thread) the crashing seems to
> occur when Isabelle kills a no-longer-needed CVC4 process, not during
> actual useful work.
Did you try Isabelle2016-1-RC0 from
There is now also a daily snapshot at http://isabelle.in.tum.de/devel --
it will quickly converge to Isabelle2016-1-RC1 at the end of the week.
This archive was generated by a fusion of
Pipermail (Mailman edition) and