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
http://isabelle.in.tum.de/website-Isabelle2016-1-RC0 already?

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.


	Makarius





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.