[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Gcl-devel] Re: on to /u/boyer/bin-override/2
From: |
Camm Maguire |
Subject: |
[Gcl-devel] Re: on to /u/boyer/bin-override/2 |
Date: |
28 Jun 2006 13:13:56 -0400 |
User-agent: |
Gnus/5.09 (Gnus v5.9.0) Emacs/21.2 |
Greetings! In looking at mv performance, I just noticed one glitch
that is currently significantly slowing down shelter mv if you are
using it:
We need this:
(proclaim '(ftype (function (seqind t) t) si::set-mv))
Take care,
Matt Kaufmann <address@hidden> writes:
> Good morning --
>
> I rebuilt ACL2 on the new GCL 2.7.0, fixing three very minor errors in
> acl2-proclaim.lisp, and got the following regression results, which show a 19%
> slowdown.
>
> Old (/projects/hvg/ACL2/v3-0-hons-jun25/make-regression.log):
> 16925.205u 434.179s 4:55:01.49 98.0% 0+0k 0+0io 13pf+0w
>
> New (/projects/hvg/ACL2/v3-0-hons-jun27/make-regression.log):
> 20271.642u 439.507s 5:50:04.01 98.6% 0+0k 0+0io 18pf+0w
>
> Serita, if you can stand the 19% slowdown maybe you'd be willing to do a
> "make clean" on your books and start using
> /projects/hvg/ACL2/v3-0-hons-jun27/saved_acl2.
>
> -- Matt
> Date: Tue, 27 Jun 2006 21:09:05 -0500
> From: Robert Boyer <address@hidden>
> Cc: address@hidden, address@hidden
>
> Matt sez:
>
> > when you or Camm tells me that there's a new GCL 2.7.0 to
> > build on
>
> Camm sez:
>
> > Should be cleared now
>
> So, a brand new big, static, ansi 2.7.0 with expanded stacks
> but with x disabled may now be found at:
>
> /u/boyer/bin-override/2
>
> All I did was run /u/boyer/bin-override/build2.
>
> Let me know if you would prefer for me to flush my big
> initial allocates in the future.
>
> I hope Serita can produce a reproducible bug for Camm in an
> up-to-date acl2/hons built on 2 by you within an hour,
> before 2.7.0 changes too much!
>
> Thanks very much,
>
> Bob
>
>
>
>
--
Camm Maguire address@hidden
==========================================================================
"The earth is but one country, and mankind its citizens." -- Baha'u'llah
- [Gcl-devel] Re: on to /u/boyer/bin-override/2,
Camm Maguire <=