On 10/13/2011 10:52 AM, Florian Haftmann wrote:
Hi Lukas,
»removing checking of generated code because it fails on the mira
testing infrastructure due to a missing Pure image« – I don't quite
understand this. Why exactly is the check failing?
Florian
The issue can be observed at
Good day all. Just wanted to let the Isabelle developers know about the latest
feature David Matthews has added to PolyML, and to let you all know how useful
it is.
The feature allows profiling of objects after garbage collection. When code is
compiled with PolyML.compiler.allocationProfiling
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: