[isabelle-dev] AFP: Session AVL-Trees broken

Jasmin Blanchette jasmin.blanchette at gmail.com
Wed Dec 12 11:55:35 CET 2012

Am 12.12.2012 um 11:47 schrieb Makarius:

> I've seen spurious error 112 myself when I tried Z3 3.2 vs. 4.0 recently. I could not pin it down exactly, so I merely left it on my private TODO list to see again later.  There might be a slight tendency of such failures on Mac OS X, but this is just speculation.

Hm... I'll try hard to investigate this this month -- hopefully once the other issue is solved. The Z3 support is too important to me personally, so if nobody jumps in, I'll do it.


More information about the isabelle-dev mailing list