[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Gcl-devel] Re: 2.7.0 ANSI ACL2, fyi

From: Camm Maguire
Subject: [Gcl-devel] Re: 2.7.0 ANSI ACL2, fyi
Date: 09 Aug 2005 01:54:10 -0400
User-agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.2

Greetings, and thanks for the report!  Just curious as to how the
timings compare to the cltl1 build.  Please don't expend any great
effort here.

Take care,

Robert Boyer <address@hidden> writes:

> For what it's worth, I built a 2.7.0 GCL ANSI on elgin from fresh sources on
> Saturday and then an ACL2 2.9.2 today and got the times below for a
> certify-books.
>    real       152m15.477s
>    user       148m58.350s
>    sys        1m22.760s
> Perhaps ACL2's days of connection with the CLTL1 version of GCL are drawing
> to an end.
> Probably you all knew this could be done, but I did not until today.
> Bob

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

reply via email to

[Prev in Thread] Current Thread [Next in Thread]