[isabelle-dev] Fwd: status (AFP)

Gerwin Klein gerwin.klein at nicta.com.au
Fri Oct 14 12:42:28 CEST 2011

On 14/10/2011, at 9:32 PM, David Matthews wrote:

> On 14/10/2011 10:02, Makarius wrote:
>> On Fri, 14 Oct 2011, Gerwin Klein wrote:
>>> Is anyone else observing intermittent problems like this?
>>> Building Jinja ...
>>> poly: scanaddrs.cpp:107: PolyWord
>>> ScanAddress::ScanStackAddress(PolyWord, StackObject*, bool): Assertion
>>> `val.IsDataPtr()' failed.
>>> /home/kleing/volatile/isadist/Isabelle_13-Oct-2011/lib/scripts/run-polyml:
>>> line 77: 20095 Aborted "$POLY" -q $ML_OPTIONS
>>> Jinja FAILED
>> Yes, occasionally. Such hard crashes were more frequent in the past, and
>> we are running much more and bigger jobs now.
> I pointed out in an email to Gerwin that this looks very like the bug that was fixed in commit 1297 in Poly/ML head and 1318 in the fixes branch.  Which version of Poly/ML was this?  It is possible that this could be the result of a different bug in which case I will need to look more closely.

My version was poly-5.4.0 as distributed with Isabelle. I've switched the test to poly-5.4.1 now. We should know in a day or two if the problem still persists.


More information about the isabelle-dev mailing list