[Openmcl-devel] Limiting memory allocation

Jared C. Davis jared at cs.utexas.edu
Fri Apr 20 21:07:30 PDT 2007


Hi,

Further investigation revealed that the version of ACL2 I was using
was explicitly setting the threshold to 10^9 bytes.

Once I changed that, everything started working fine and my problems
have been solved.  Sorry to have bothered everyone for this :)

Thanks,
   Jared



More information about the Openmcl-devel mailing list