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 <[EMAIL PROTECTED]> 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 <[EMAIL PROTECTED]> > Cc: [EMAIL PROTECTED], [EMAIL PROTECTED] > > 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 [EMAIL PROTECTED] ========================================================================== "The earth is but one country, and mankind its citizens." -- Baha'u'llah _______________________________________________ Gcl-devel mailing list Gcl-devel@gnu.org http://lists.gnu.org/mailman/listinfo/gcl-devel
