- cmucl-imp - mailman3.common-lisp.net

[cmucl-imp] Cinco de Mayo snapshot
by Raymond Toy 04 May '14

04 May '14

Just in time for Cinco de Mayo, the latest snapshot of cmucl is available and binaries will be uploaded shortly. As announced in the last snapshot, this snapshot and all future builds for x86 will require SSE2. As a side-effect the binaries are now half-sized because the x87 core is no longer included. The lisp core is still named lisp-sse2.core and not lisp.core as on other architectures. Ray

1 0

[cmucl-imp] Snapshot 2014-04
by Raymond Toy 30 Mar '14

30 Mar '14

The April snapshot has been tagged and binaries will be uploaded soon. Key changes: * This is the last snapshot that will include support for x87. After this, cmucl will only run on x86 chips that include support sse2. Sse2 was introduced with the Pentium 4 in 2001, 13 years ago. * The change in type derivation introduced in the last snapshot has been reverted. It's important to have (log -0d0) return -infinity+i*pi to get the branch cuts of the special funtions correct, using the definitions. (CMUCL doesn't evaluate the functions directly from the definitions.) * Add more missing constants for double-double floats. Ray

1 0

[cmucl-imp] Removing x87 support
by Raymond Toy 14 Mar '14

14 Mar '14

SSE2 has been supported by CMUCL since around 2008 and SSE2 was introduced in the Pentium 4 in 2001. It's now time to drop support for x87. I suspect x87 is rarely, if ever, used anymore since CMUCL will automatically detect SSE2 and use that if your CPU supports. I rarely test x87 except to see that it starts when a snapshot is made. Removing this support will make the tarballs half as large (no x87 core anymore), a large chunk of code can be removed as well as simplifying the hairy x86-assem.S file. If you need x87 support speak up! No guarantees that we'll keep x87 support, but knowing that it's important to you will help. The current plan is that the upcoming April snapshot will be the last version that will ship with x87 support. After that, tarballs will not ship with the x87 core file and we will begin removing support for x87. Ray

1 0

[cmucl-imp] [CfP] DEADLINE EXTENSION - 7th European Lisp Symposium
by Didier Verna 11 Mar '14

11 Mar '14

ELS'14 - 7th European Lisp Symposium IRCAM, Paris, France May 5-6, 2014 http://www.european-lisp-symposium.org/ Sponsored by IRCAM, CNRS, UPMC, EPITA, LispWorks, Franz Inc. Latest News: * SUBMISSION DEADLINE EXTENDED. You have two more week to submit! * Registration is now open. Early registration fee until April 13. See http://www.european-lisp-symposium.org/content-registration-full.html The purpose of the European Lisp Symposium is to provide a forum for the discussion and dissemination of all aspects of design, implementation and application of any of the Lisp and Lisp-inspired dialects, including Common Lisp, Scheme, Emacs Lisp, AutoLisp, ISLISP, Dylan, Clojure, ACL2, ECMAScript, Racket, SKILL, Hop and so on. We encourage everyone interested in Lisp to participate. The 7th European Lisp Symposium invites high quality papers about novel research results, insights and lessons learned from practical applications, and educational perspectives. We also encourage submissions about known ideas as long as they are presented in a new setting and/or in a highly elegant way. Topics include but are not limited to: - Context-, aspect-, domain-oriented and generative programming - Macro-, reflective-, meta- and/or rule-based development approaches - Language design and implementation - Language integration, inter-operation and deployment - Development methodologies, support and environments - Educational approaches and perspectives - Experience reports and case studies Please note that IRCAM, the conference venue, is a French institute for research on music and acoustics. Submissions relating Lisp to music or other acoustical matters will hence be particularly welcome, although given no heightened favor during the review process. We invite submissions in the following forms: Papers: Technical papers of up to 8 pages that describe original results or explain known ideas in new and elegant ways. Demonstrations: Abstracts of up to 2 pages for demonstrations of tools, libraries, and applications. Tutorials: Abstracts of up to 4 pages for in-depth presentations about topics of special interest for at least 90 minutes and up to 180 minutes. The symposium will also provide slots for lightning talks, to be registered on-site every day. All submissions should be formatted following the ACM SIGS guidelines and include ACM classification categories and terms. For more information on the submission guidelines and the ACM keywords, see: http://www.acm.org/sigs/publications/proceedings-templates and http://www.acm.org/about/class/1998. Important dates: - TODAY: Mark your calendar. Start planning now! - 23 Mar 2014: Submission deadline **** EXTENDED **** - 31 Mar 2014: Notification of acceptance - 13 Apr 2014: Early registration deadline - 21 Apr 2014: Final Papers due - 05 May 2014: Symposium. Join us there! Programme chair: Kent Pitman, Hypermeta Inc., U.S.A. Local chairs: Didier Verna, EPITA Research Lab, France Gérard Assayag, IRCAM, Paris, France Programme committee: Marie Beurton-Aimar — LaBRI, University of Bordeaux, France Pierre Parquier — IBM France Lab, Paris, France Rainer Joswig — Hamburg, Germany Guiseppe Attardi — Università di Pisa, Italy Taiichi Yuasa — Kyoto University, Japan António Leitão — IST/Universidade de Lisboa, Portugal Christophe Rhodes — Goldsmiths, University of London, UK Olin Shivers — Northeastern University, USA Charlotte Herzeel — IMEC, ExaScience Life Lab, Leuven, Belgium Local organizers: Daniela Becker, EPITA Research Lab, France Sylvie Benoit, IRCAM, Paris, France Search Keywords: #els2014, ELS 2014, ELS '14, European Lisp Symposium 2014, European Lisp Symposium '14, 7th ELS, 7th European Lisp Symposium, European Lisp Conference 2014, European Lisp Conference '14 Ircam STMS Lab, IRCAM / CNRS / UPMC -- Resistance is futile. You will be jazzimilated. Lisp, Jazz, Aïkido: http://www.didierverna.info

1 0

[cmucl-imp] March snapshot
by Raymond Toy 08 Mar '14

08 Mar '14

The March snapshot has been tagged and binaries will be uploaded soon. The main changes are: * run-program accepts :element-type to specify the element type for the streams that are created. * Lisp-unit (a Lisp framework for testing) has been added as a contrib. Use (require :lisp-unit) to compile and load it. Unlike asdf and defsystem, precompild fasls are not included. * Type derivation for log was not consistent with the values actually returned by log. This is corrected now. * Double-double floats were missing the constants describing various limits such as least-positive-double-double-float. These are added now. * When reading very small floats values, the reader will round to least-positive float if possible. Otherwise an error is still signaled. Ray

2 2

[cmucl-imp] Fwd: Backquote bug
by Faré 20 Feb '14

20 Feb '14

Subtle bug in CMUCL. What should this form read as? `#5(1 ,@`(2 3)) ECL, LispWorks and fare-quasiquote agree on #(1 2 3 2 3) allegro, ccl, clisp, sbcl return the arguably conformant #(1 2 3 2 3 2 3 2 3) abcl, cmucl, gcl, xcl all return the arguably completely buggy #(1 2 3) —♯ƒ • François-René ÐVB Rideau •Reflection&Cybernethics• http://fare.tunes.org It may be bad manners to talk with your mouth full, but it isn't too good either if you speak when your head is empty.

1 1

[cmucl-imp] ELS 2014 Registration now open / 2nd Call for papers
by Didier Verna 11 Feb '14

11 Feb '14

ELS'14 - 7th European Lisp Symposium IRCAM, Paris, France May 5-6, 2014 http://www.european-lisp-symposium.org/ Latest News: * Registration is now open. Early registration fee until April 13. See http://www.european-lisp-symposium.org/content-registration-full.html * Submission deadline is approaching. Still one month to submit a paper! * Thanks to our new sponsors, Lispworks and Franz Inc.! http://www.lispworks.com/ http://franz.com/ The purpose of the European Lisp Symposium is to provide a forum for the discussion and dissemination of all aspects of design, implementation and application of any of the Lisp and Lisp-inspired dialects, including Common Lisp, Scheme, Emacs Lisp, AutoLisp, ISLISP, Dylan, Clojure, ACL2, ECMAScript, Racket, SKILL, Hop and so on. We encourage everyone interested in Lisp to participate. The 7th European Lisp Symposium invites high quality papers about novel research results, insights and lessons learned from practical applications, and educational perspectives. We also encourage submissions about known ideas as long as they are presented in a new setting and/or in a highly elegant way. Topics include but are not limited to: - Context-, aspect-, domain-oriented and generative programming - Macro-, reflective-, meta- and/or rule-based development approaches - Language design and implementation - Language integration, inter-operation and deployment - Development methodologies, support and environments - Educational approaches and perspectives - Experience reports and case studies Please note that IRCAM, the conference venue, is a French institute for research on music and acoustics. Submissions relating Lisp to music or other acoustical matters will hence be particularly welcome, although given no heightened favor during the review process. We invite submissions in the following forms: Papers: Technical papers of up to 8 pages that describe original results or explain known ideas in new and elegant ways. Demonstrations: Abstracts of up to 2 pages for demonstrations of tools, libraries, and applications. Tutorials: Abstracts of up to 4 pages for in-depth presentations about topics of special interest for at least 90 minutes and up to 180 minutes. The symposium will also provide slots for lightning talks, to be registered on-site every day. All submissions should be formatted following the ACM SIGS guidelines and include ACM classification categories and terms. For more information on the submission guidelines and the ACM keywords, see: http://www.acm.org/sigs/publications/proceedings-templates and http://www.acm.org/about/class/1998. Important dates: - TODAY: Mark your calendar. Start planning now! - 09 Mar 2014: Submission deadline - 31 Mar 2014: Notification of acceptance - 13 Apr 2014: Early registration deadline - 21 Apr 2014: Final Papers due - 05 May 2014: Symposium. Join us there! Programme chair: Kent Pitman, Hypermeta Inc., U.S.A. Local chairs: Didier Verna, EPITA Research Lab, France Gérard Assayag, IRCAM, Paris, France Programme committee: To be announced later Local organizers: Daniela Becker, EPITA Research Lab, France Sylvie Benoit, IRCAM, Paris, France Search Keywords: #els2014, ELS 2014, ELS '14, European Lisp Symposium 2014, European Lisp Symposium '14, 7th ELS, 7th European Lisp Symposium, European Lisp Conference 2014, European Lisp Conference '14 Ircam STMS Lab, IRCAM / CNRS / UPMC -- Please help crowdfund my next Jazz quartet album !! http://www.kisskissbankbank.com/quartet-the-second-album Lisp, Jazz, Aïkido: http://www.didierverna.info

1 0

[cmucl-imp] Year of the Horse snapshot
by Raymond Toy 06 Feb '14

06 Feb '14

Happy Chinese New Year! Just missed the first day of the Year of the Horse by a few days, but the new 2014-02 snapshot has been tagged. Also, we want to thank Peter Buhr for allowing us to use his Blade 1500 to build and test cmucl. This month's snapshot was built on that machine. Thanks! Binaries will be uploaded soon. Some key changes are listed below. Check the release notes for other changes. o Micro-optimizations in arithmetic vops for x86/sse2, reducing the number of memory loads in some cases. o Run-time checks for zero pages are now disabled; the lazy zeroing of heap pages has been the default for some time without problems, so the run-time check is disabled. o A serious error in the complex multiply vop on sparc has been fixed. Ray

1 0

[cmucl-imp] Fwd: cmucl upgrade of asdf works (somewhat)
by Faré 08 Jan '14

08 Jan '14

An innocuous-looking change suggested by rpgoldman, of not providing a default initform for the selfward-operation slot, led after testing to fixing a few innocuous bugs in asdf, but also to a better understanding of the issues with CMUCL and upgrade. After the innocuous change, tests failed on CMUCL that didn't; some of it was bugs in ASDF that had been papered over by that initform: things that shouldn't have been selfward-operation were, and now had no initform — that was easily fixed. Then, there was a CMUCL bug, whereby sometimes, for reasons not understood yet deterministic and easy but not simple to trigger, some operations would be created without an initialized selfward-operation slot. This was worked around by noticing that selfward-operation was meant to be an :allocation :class slot, but that option wasn't inherited by slot specializations, and needed to be explicitly specified every time the slot was specialized (no doubt because trying to inherit the option would require a non-trivial decision procedure in case of conflict between multiple super-slots); fixing ASDF to do the right thing papered over that CMUCL bug. (to reproduce, checkout 3.1.0.37 and make t l=cmucl t=test-encodings.script) While we were experimenting with CLOS and CMUCL, we tried to remove the #+cmu declaim optimize (not sure why it was ever there), and/or add a #+cmu (setf c::top-level-lambda-max 0). That didn't help (yet I removed the declaim at rtoy's suggestion), but along the way, we noticed that upgrade works from 3.0.1, 3.0.2, 3.0.3, and fails from 2.32 and earlier. The issue is that defclass component has a renamed a slot, and its subclass system is invalidated, but CMUCL somehow fails to finalize it again before it's next used. The good news is that not only have we identified two CMUCL bugs, we have established to upgrade works from 3.0.1 to 3.0.3, which is all that matters, really, since CMUCL updates its ASDF frequently. And we know what to do to avoid more upgrade woes on CMUCL: avoid incompatible slot definitions in classes and/or superclasses. I changed our tests to upgrade versions in reverse chronological order, which is more relevant, and disabled older versions when using CMUCL. I also bumped *oldest-forward-compatible-asdf-version* to 2.33, since we don't have a method on update-instance-for-redefined-class to account for the renamed slot. That leaves the upgrade issue found by cl-grid-test on CCL with cl-l10n and some other systems. wow. such procrastination. much bugfix. very robustified. wow. All because rpgoldman read the source and wanted a tiny cleanup. In other news, still no date set for the walkthrough of ASDF sources on Google hangout; since rpgoldman is the primary audience, we're waiting for his schedule to open up. —♯ƒ • François-René ÐVB Rideau •Reflection&Cybernethics• http://fare.tunes.org "I believe that sex is one of the most beautiful, natural, wholesome things that money can buy." — Steve Martin

1 0

[cmucl-imp] Snapshot 2014-01
by Raymond Toy 04 Jan '14

04 Jan '14

Happy New Year! The first snapshot of the year has been tagged and binaries will be uploaded soon. See trac.common-lisp.net/cmucl for the lastest changes. Ray

1 0