The interactive file manager requires Javascript. Please enable it or use sftp or scp.
You may still browse the files here.
Get an email when there's a new version of Common Lisp Reasoner
| Name | Modified | Size | Downloads / Week |
|---|---|---|---|
| Parent folder | |||
| readme.txt | 2014-05-13 | 1.4 kB | |
| reasoner-3.3.2.zip | 2014-05-13 | 167.7 kB | |
| reasoner-3.3.1.zip | 2014-04-04 | 167.4 kB | |
| reasoner-3.3.zip | 2013-12-03 | 149.1 kB | |
| Totals: 4 Items | 485.6 kB | 0 | |
Common Lisp Reasoner, Version 3.3.2 Status ------ It has been tested in Allegro 9.0, clisp 2.48, ECL 13.5.1, LispWorks 6.1.1 and SBCL 1.1.2 (Win32). It should run unmodified in any Lisp that implements the metaobject protocol, and can be used in conjunction with Closer to MOP (common-lisp.net/project/closer/). The file compat.lisp may enable it to work (possibly with a little additional customization) in other Lisps. Automatically-generated reader methods (i.e., that behave like slot-value-reduce) work only in SBCL of the above-mentioned Lisps. Use Closer to MOP to fill this lacuna. Changes Since Last Release -------------------------- (3.3.1) Performance improvements to ATMS and class consumer (i.e., rule) invokation Class consumer parallelism extended to embrace multiple ATMS nodes (when initiated via nschedule) Temporary nodes are deleted and their justifications reused Integration with Closer to MOP (see above) ASDF-related changes: XML (de)serialization has its own system definition There are parallel variants of each system (3.3.2) Bug fixes: Automatically-generated reader methods didn't work if make-method-lambda was supplied by Closer to MOP. Also, checking has been added for writers and multiple readers (both disallowed) Serialization of a slot's values was incorrect if it had a count with a non- zero lower bound