mmarco/kenzo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
4 Commits 2 Branches 0 Tags 5.1 MiB
Common Lisp 99.8%
Dockerfile 0.2%
80c82ea6ac
Go to file
gheber 80c82ea6ac Added tests for various.lisp
2014-12-24 11:56:09 -06:00
doc Source reorg 2014-12-24 04:07:54 -06:00
src Added tests for various.lisp 2014-12-24 11:56:09 -06:00
test Added tests for various.lisp 2014-12-24 11:56:09 -06:00
.gitignore Updated infrastructure. 2014-12-24 08:16:17 -06:00
kenzo-test.asd Added tests for various.lisp 2014-12-24 11:56:09 -06:00
kenzo.asd Updated infrastructure. 2014-12-24 08:16:17 -06:00
kenzo.lisp Updated infrastructure. 2014-12-24 08:16:17 -06:00
package.lisp Added tests for various.lisp 2014-12-24 11:56:09 -06:00
README.md Updated infrastructure. 2014-12-24 08:16:17 -06:00

README.md

Welcome to Kenzo

!!! UNDER CONSTRUCTION !!!

This is a repackaged version of the Kenzo program by Francis Sergeraert and Xavier Dousson. The original version of the program can be found at http://www-fourier.ujf-grenoble.fr/~sergerar/Kenzo/ .

This version aims to update its infrastructure by providing the following:

  1. Installation via the Quicklisp library manager
  2. A simple regression test suite based on FiveAM (Based on tests scattered throughout the source code in comments.)
  3. Support for SBCL