Greetings! Matt Kaufmann <[EMAIL PROTECTED]> 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 <[EMAIL PROTECTED]> > Subject: GCL 2.6.8 release > To: [EMAIL PROTECTED] > 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 [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
