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

[Camm Maguire]

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