[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Gcl-devel] Re: space use better

From: Camm Maguire
Subject: [Gcl-devel] Re: space use better
Date: 22 Jun 2006 17:35:00 -0400
User-agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.2


Robert Boyer <address@hidden> writes:

> The latest ACL2 I have made is down to
>   82,953,335
> bytes.  Good!  Thanks!
> The gcl save image is down to
>  23,520,335
> bytes.  Very good!!!  I now need to bug Matt about how one
> can, if possible, make that very final image without doing
> any compiling at all, at all, and I bet the image will be
> much smaller than 80 megabytes.

Great!  Me thinks we can eventually get down to around 15 Mb for
ansi.  Don't know how this stacks up on a relative basis.  Hope you
also now see the extra 128M of heap, as evidenced by heap_start 0x0 in

Take care,

> Thanks!
> Bob

Camm Maguire                                            address@hidden
"The earth is but one country, and mankind its citizens."  --  Baha'u'llah

reply via email to

[Prev in Thread] Current Thread [Next in Thread]