[isabelle-dev] Formula_Derivatives FAILED: Cannot allocate memory

Lars Hupel hupel at in.tum.de
Thu Feb 18 22:37:09 CET 2016

Previous message (by thread): [isabelle-dev] Formula_Derivatives FAILED: Cannot allocate memory
Next message (by thread): [isabelle-dev] NEWS: SML/NJ is no longer supported
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

> The obvious explanation is a failing proof which keeps using up more and more memory.

Wouldn't that be deterministic, then? It only fails spuriously.

Previous message (by thread): [isabelle-dev] Formula_Derivatives FAILED: Cannot allocate memory
Next message (by thread): [isabelle-dev] NEWS: SML/NJ is no longer supported
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the isabelle-dev mailing list