Re: [isabelle] Isabelle2016-RC0: cvc4 crashing
> Did the situation change in the past 2 weaks? Supposedly not, since the cvc4 component in Isabelle2016-RC2 did not change in the meantime.
(Nothing changed, except that 2 weeks ago was 1 week before the IJCAR deadline, whereas now is 6 hours before the extended deadline...)
> The question remains, if there is a problem with that cvc4 compilation, or something else on that particular Ubuntu 14.04 installation.
> Jasmin, if you want to change anything for Isabelle2016, the remaining time is about 1 week.
The issue is not a regression -- the binaries are identical in Isabelle2015 and Isabelle2016-RC*. I'd rather not do anything that might break things for other users at this point. I'll investigate things privately with Eugene and hopefully have a satisfactory fix for him and for Isabelle2016-1.
This archive was generated by a fusion of
Pipermail (Mailman edition) and