[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 |
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
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Gcl-devel] Re: space use better,
Camm Maguire <=