Porting to another Lisp

From SRI PVS

Revision as of 11:00, 20 November 2006; Owre (Talk | contribs)
(diff) ←Older revision | Current revision | Newer revision→ (diff)
Jump to: navigation, search

We would like to eventually port to all the other Common Lisps (or at least the free ones). If you would like to get involved, please let us know at pvs-sri@csl.sri.com. Or perhaps just add your name to the list, so that others may coordinate with you.

Here are the other Common Lisps we'd like to use eventually:

  • SBCL (Steel Bank Common Lisp) - Sam Owre has already started on this, thinking that it should be close to CMU CL, but it isn't as similar as expected.
  • Gnu Common Lisp (GCL) - Many year ago, before AKCL became GCL, this was partially done, and there are still bits left in the source code.
  • CLISP
  • OpenMCL
  • Macintosh Common Lisp (MCL)
  • Lispworks

Feel free to add to this list.

Retrieved from "http://pvs-wiki.csl.sri.com/index.php/Porting_to_another_Lisp"
Personal tools