[Top][All Lists]

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

[Gcl-devel] Maybe the performance situation is not so bad after all...

From: Camm Maguire
Subject: [Gcl-devel] Maybe the performance situation is not so bad after all...
Date: 12 Dec 2002 15:25:21 -0500

Greetings!  FYI...

Take care,
Camm Maguire                                            address@hidden
"The earth is but one country, and mankind its citizens."  --  Baha'u'llah
------- Start of forwarded message -------
Date: Thu, 12 Dec 2002 12:03:19 -0600 (CST)
Message-ID: <address@hidden>
From: "Matt Kaufmann" <address@hidden>
To: address@hidden
Subject: Re: The state of gcl/maxima/acl2
References: <address@hidden>
MIME-Version: 1.0
Content-Type: text/plain
Content-Transfer-Encoding: 7bit
Reply-To: address@hidden

Thanks, Camm.
Here is a bit of background for ACL2 users who are unaware of this work.  Camm
Maguire maintains GCL (Gnu Common Lisp).  GCL, created as AKCL by the late Bill
Schelter from KCL (Kyoto Common Lisp), was the first Common Lisp on which ACL2
was built.  As you can see from "Performance comparisons" at
http://www.cs.utexas.edu/users/moore/acl2/v2-7/new.html, GCL was the fastest
Lisp for the ACL2 2.7 full regression suite.  GCL remains freely distributed
under the Gnu Public License.

------- End of forwarded message -------

reply via email to

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