From: Matt K. <kau...@cs...> - 2006-02-15 21:46:47
|
Hi -- Thanks for making the fix (and for your SBCL work in general). OK, I've made a note to send future release emails to sbc...@li.... I intend to test SBCL on (ubuntu) Linux and Mac OS X (Darwin) just before each ACL2 release. We tend to do these releases about every four months, though this varies. If you have a particular sbcl version that you think is ready to test and you want me to test it on Mac OS X (Darwin), or Linux for that matter, feel free to ask. By the way, if for ACL2 you run "make certify-books" instead of "make regression", you'll get a significantly shorter but still non-trivial test. -- Matt From: Christophe Rhodes <cs...@ca...> Cc: sbc...@li... Date: Thu, 09 Feb 2006 13:32:50 +0000 Sender: Christophe Rhodes <cs...@ca...> X-SpamAssassin-Status: No, hits=-2.1 required=5.0 X-UTCS-Spam-Status: No, hits=-282 required=180 Matt Kaufmann <kau...@cs...> writes: > Great! I appreciate your efforts and that of the SBCL developer community, > including Juho Snellman <js...@ik...> who has helped a lot in earlier email > discussions. The utf-8 segmentation fault in subsumption-subst.lisp should now be fixed (there was a buffer overread in the resyncing code for variable-width external formats); the acl2 regression test just ran to completion here on a Linux/PPC dual G5 with sbcl-0.9.9.24. > In my original bug report, I mentioned other errors in "make -j 2 > regression" and "make -j 3 regression" that occur at other (earlier) > points in the regression than the one you've been looking at. Right, investigation of these is next on the list. > If there is an SBCL test suite, perhaps you'll want to add the ACL2 > 2.9.4 regression to it (instructions are in my original bug email), > and perhaps later releases as well. There is an SBCL test suite, but the various distributed developers don't all have access to very fast hardware -- and indeed even on a very recent G5 the ACL2 regression tests take upwards of 3 hours, which is impractical to run on every commit. > There's an ACL2 mailing list with links from the ACL2 home page, or > I can just make a note to email sbcl-devel upon new ACL2 releases, > generally every few months, if you like. This might be useful, or indeed (since sbcl is simple, we hope, to build) regressions could be tested for by an interested ACL2 user or developer. Thanks, Christophe |