[Gcl-devel] Re: space use better

[Camm Maguire]

Greetings!

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
(room). 

Take care,

> Thanks!
> 
> Bob
> 
> 
> 
> 

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