[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Gcl-devel] Re: P.S. on address@hidden: GCL 2.6.8 release]
From: |
Camm Maguire |
Subject: |
[Gcl-devel] Re: P.S. on address@hidden: GCL 2.6.8 release] |
Date: |
14 Jul 2006 20:40:24 -0400 |
User-agent: |
Gnus/5.09 (Gnus v5.9.0) Emacs/21.2 |
Greetings!
Matt Kaufmann <address@hidden> writes:
> Hi again --
>
> I'm running into odd errors again, this time with /p/bin/gcl-2.6.8pre. For
> example:
>
> [SGC off]
> Error: Caught fatal error [memory may be damaged]
>
> Of course, that could be ACL2 code's fault. But this time, every time I did
> (si::sgc-on nil), the problem went away. So I'm guessing there's an SGC
> problem.
I also suspect sgc-off in particular at core expansion time.
>
> Let me know if you want me to set up a directory at UT with the error.
>
Yes please, and an easy reproducing command if possible.
> In the meantime, I'm thinking of sending an email to the ACL2 mailing list
> suggesting that if people get strange errors with GCL, then try (si::sgc-on
> nil). If you prefer something different, let me know; otherwise I imagine
> I'll
> send out the note on Monday.
>
A good idea.
I'd like to fix this before releasing 2.6.8 if possible.
Take care,
> Thanks --
> -- Matt
> From: Matt Kaufmann <address@hidden>
> Subject: GCL 2.6.8 release
> To: address@hidden
> Date: 13 Jul 2006 21:29:02 -0500
>
> Hi, Camm --
>
> Thank you for your recent emails. I hope to absorb them (especially the one
> about mutual-recursion) soon; I'm away this week.
>
> A couple of days ago, I ran a regression on the development copy of ACL2 built
> on GCL 2.6.7, and got strange errors in certification of a particular file.
> Fortunately, the regression passed using the GCL 2.6.8pre you built at UT
> (/p/bin/gcl-2.6.8pre), and for that matter, Allegro CL. (Sorry... I didn't
> save the errors. But some were very low level; something about "plist".)
>
> Anyhow, I'm guessing that I simply exposed a GCL 2.6.7 problem that's been
> fixed in GCL 2.6.8. So I'm wondering: Might you be releasing GCL 2.6.8 soon?
> It would be great if ACL2 releases would run fine on an existing, recent GCL.
> I might want to do an ACL2 incremental release late next week.
>
> Thanks --
> - -- Matt
> ----------
>
>
>
>
--
Camm Maguire address@hidden
==========================================================================
"The earth is but one country, and mankind its citizens." -- Baha'u'llah
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Gcl-devel] Re: P.S. on address@hidden: GCL 2.6.8 release],
Camm Maguire <=