[Gcl-devel] Re: on to /u/boyer/bin-override/2

[Camm Maguire]

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