[isabelle-dev] AFP: Session AVL-Trees broken
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