mmarco/kenzo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Commit Graph

  • 7093cbe4df Extracted last batch of CL-SPACE-EFHM tests. Gerd Heber 2015-07-21 06:58:13 -0500
  • 3d6c2812b9 Another batch of CL-SPACE-EFHM tests extracted. Gerd Heber 2015-07-20 20:13:04 -0500
  • ed51e2b993 ECL signals a SIMPLE-TYPE-ERROR instead of a SIMPLE-ERROR. Gerd Heber 2015-07-17 14:04:28 -0500
  • 5d3b7815eb Added ECL feature expressions. Gerd Heber 2015-07-17 06:16:07 -0500
  • 277eb3f980 ECL has the same issue that was resolved in 463522d for CCL and SBCL. Gerd Heber 2015-07-17 06:11:24 -0500
  • b15b0b1e75 CCL doesn't like the asterisks. Fixed. Gerd Heber 2015-07-16 17:26:26 -0500
  • 2aecb86a50 All examples from Chapter 0 of the Kenzo User's Guide appear to be working. gheber 2015-07-16 15:49:40 -0500
  • 37e052cfe9 Export the *RESULTS-VERBOSE* variable. The tests in cl-space-efhm-test.lisp are passing. Gerd Heber 2015-07-15 21:27:52 -0500
  • 0648e4e8c0 The previous commits fixed a few outstanding issues. Gerd Heber 2015-07-15 21:03:14 -0500
  • bd09c079c2 Fixed missing hashmark. Gerd Heber 2015-07-15 18:54:52 -0500
  • 42d1e01f0f The current examples pass. Gerd Heber 2015-07-15 18:48:12 -0500
  • c1a9b6977a CCL can't initialize the INTR slot with NIL. Gerd Heber 2015-07-15 18:45:51 -0500
  • f836b37aff Type declaration should include NULL. Gerd Heber 2015-07-15 18:20:39 -0500
  • 463522dc4c CCL and SBCL are also affected by the alleged LispWorks bug. Gerd Heber 2015-07-15 18:19:24 -0500
  • 78e460ec9a NULL is a permissible value for INTR. Gerd Heber 2015-07-15 17:45:00 -0500
  • d46e4d3046 Added a few more examples. Gerd Heber 2015-07-15 11:57:11 -0500
  • c18a485dcb Added a few examples from Chapter 0 of the Kenzo User's Guide. Gerd Heber 2015-07-15 07:54:58 -0500
  • 9fba07a1c0 Formatting updates. Gerd Heber 2015-07-14 20:31:52 -0500
  • 2672709129 Extracted simplicial groups test. Gerd Heber 2015-07-14 06:39:49 -0500
  • 04eb103bad Update README.md Gerd Heber 2015-07-13 19:58:23 -0500
  • 9e14b1fdaa Update README.md Gerd Heber 2015-07-13 19:49:38 -0500
  • ec5ad4d359 Update README.md Gerd Heber 2015-07-13 19:33:44 -0500
  • 682b7ad2f8 Extracted simplicial morphism tests. Gerd Heber 2015-07-13 19:20:30 -0500
  • 3fb780645b Extracted Kan tests. Gerd Heber 2015-07-13 18:50:45 -0500
  • ba6d13452a Enable all tests. Gerd Heber 2015-07-12 19:36:29 -0500
  • c177ef36f4 Extracted simplicial set tests. Gerd Heber 2015-07-12 19:35:13 -0500
  • e31bbd56f7 Need to take care of NIL, which is also a SYMBOL. Gerd Heber 2015-07-12 15:53:04 -0500
  • 19297ce111 Fixed uninitialized BASIS and INTR-DFFR. Gerd Heber 2015-07-12 15:37:26 -0500
  • 32c2ab2383 Added a simple abbreviation resolver. gheber 2015-07-12 13:46:15 -0500
  • c75796d4c7 First batch of k-pi-n tests. Gerd Heber 2015-07-11 21:13:19 -0500
  • dc99be9e18 Disabled a misbehaving test and added a missing DEFGENERIC gheber 2015-07-11 18:12:32 -0500
  • 6fc2688b58 Extracted tensor product tests. Gerd Heber 2015-07-11 17:46:41 -0500
  • 2f7b5d9128 VRTC-BAR appears to be fixed by the +MAXIMAL-DIMENSION+ bump. Gerd Heber 2015-07-10 21:11:14 -0500
  • edefe1d661 Formatting updates. Gerd Heber 2015-07-10 20:44:09 -0500
  • a8623228e1 After bumping +MAXIMUM-DIMENSION+ this test appears to be working. Gerd Heber 2015-07-10 20:36:02 -0500
  • 4773e918cf Bump +MAXIMAL-DIMENSION+ by 1. Gerd Heber 2015-07-10 20:35:09 -0500
  • 097873d88c The previous commit (type declaration) fixes a bunch of tests. Gerd Heber 2015-07-10 19:51:08 -0500
  • 463f908c8c Fixed incorrect type declaration. GNRT-? returns a CMBN, not ICMBN. Gerd Heber 2015-07-10 19:41:45 -0500
  • 89975ca8fa First cl-space-efhm test extracted. This part seems to be affected by the ICMBN-P issues. Gerd Heber 2015-07-10 06:58:06 -0500
  • 6a9a2f60b9 Extracted cones tests. Gerd Heber 2015-07-09 19:54:03 -0500
  • fe065a7a13 Extracted cartesian product tests. Gerd Heber 2015-07-09 18:56:23 -0500
  • 34576fb375 First stab at BAR tests. gheber 2015-07-09 08:09:57 -0500
  • 8b2a7e835c Added first batch of ABAR tests. Gerd Heber 2015-07-08 21:35:22 -0500
  • 7776c92aaf Extracted all tests from delta.lisp. Gerd Heber 2015-07-08 18:50:51 -0500
  • 31d84edc1e Just discovered the D macro. It returns a dotted pair. That why CDR is in order. Backed out the earlier changes. Gerd Heber 2015-07-08 17:14:33 -0500
  • b7a7e9a4ea Use F-CMPR and CADR instead of L-CMPR. gheber 2015-07-08 08:04:03 -0500
  • 39197123b4 First batch of DELTA tests. gheber 2015-07-08 07:51:19 -0500
  • b92f5211f9 CDR -> CADR gheber 2015-07-08 07:50:54 -0500
  • b82a5e6884 Fixed error in SOFT-DELTA-CMPR gheber 2015-07-08 06:42:31 -0500
  • 911a74de68 Extracted simple tests from homology-groups.lisp and searching-homology.lisp. Gerd Heber 2015-07-07 20:07:07 -0500
  • ded9d544ca Added bicone tests and refactored common functions. Gerd Heber 2015-07-05 19:19:10 -0500
  • cbe1401e76 Documentation updates. Gerd Heber 2015-07-05 14:36:38 -0500
  • 1d828f8cf6 Added a few missing DEFGENERICs. gheber 2015-07-04 18:35:29 -0500
  • 3c5c05989e Whoops! Can't get rid of INTR-MRPH quite yet... gheber 2015-07-04 17:53:08 -0500
  • 8eb4dd94b9 The type INTR-MRPH appears to be unused. Gerd Heber 2015-07-04 17:32:20 -0500
  • cddfc7ba99 Added effective homology examples. Gerd Heber 2015-07-04 16:56:20 -0500
  • f58e12d2fd Added ignore declarations. Gerd Heber 2015-07-04 16:55:43 -0500
  • b6c2f46f4f Updated formatting. Moved examples to the test file. Gerd Heber 2015-07-04 16:50:59 -0500
  • 71db68240c Fixed an apparently wrong type declaration. Gerd Heber 2015-07-04 16:50:04 -0500
  • 9ea8e6fbab Added a few exports. Gerd Heber 2015-07-04 16:48:59 -0500
  • 093e082936 Temporarily ignore the anromero module. Gerd Heber 2015-07-04 16:47:40 -0500
  • 0bdc968478 Simplified test runner. Gerd Heber 2015-07-03 21:02:26 -0500
  • d3dce67ea4 The *CMBN-CONTROL* variable was ignored in DO-CONTROL. Fixed. Added missing tests. Gerd Heber 2015-07-03 20:42:09 -0500
  • c95825279c Added a few documentation strings. Gerd Heber 2015-07-03 20:41:05 -0500
  • 8b61753579 Reformatted documentation string. Gerd Heber 2015-07-03 20:40:15 -0500
  • ab56af4f50 Moved the definition of *IDNM-COUNTER* to kenzo.lisp. Gerd Heber 2015-07-03 20:39:04 -0500
  • 175be44c46 Added a documentation string. Gerd Heber 2015-07-03 20:38:07 -0500
  • 3a96ef0164 Added a few more exports. Gerd Heber 2015-07-03 20:37:22 -0500
  • 6c72802bf5 Added a few documentation strings. Gerd Heber 2015-07-03 20:36:50 -0500
  • e12fa22620 Updated indentation. Gerd Heber 2015-07-03 20:35:45 -0500
  • f5086f6c4d Added license information. gheber 2015-07-02 13:29:16 -0500
  • e9bd143f71 The RSLTS slot of a morphism instancet be of type SIMPLE-VECTOR. It was initialized with NIL under strategy :cmbn. This also fixes issue #21. Gerd Heber 2015-07-02 13:01:22 -0500
  • c1b81d4321 Minor adjustments for CCL. The code compiles, but some of the tests are failing. Gerd Heber 2015-07-02 11:22:55 -0500
  • 31c09565c7 Added documentation to combinations.lisp. gheber 2015-07-02 08:29:11 -0500
  • 0c61f7bee0 added the index entry to t.o.c. Dima Pasechnik 2015-07-01 23:14:35 +0100
  • 880913fdcb more cleanup Dima Pasechnik 2015-07-01 23:01:28 +0100
  • 45cf053708 ported to LaTeX2e, added build instructions, removed old files Dima Pasechnik 2015-07-01 22:59:24 +0100
  • b288a64669 added doc sources (in old LaTeX) Dima Pasechnik 2015-07-01 22:46:17 +0100
  • 53d132145f First attempt at merging Ana Romero's example dependences into Kenzo gheber 2015-06-20 21:09:33 -0500
  • e3cfc0ad9b Added examples from Ana Romero's website gheber 2015-06-19 15:55:09 -0500
  • be5d0c9bf0 Merge pull request #16 from dimpase/master Gerd Heber 2015-06-19 14:34:49 -0500
  • 9c8d78680d more exports added Dima Pasechnik 2015-06-17 23:35:20 +0100
  • 0f873a569b Merge asdf-issues branch. gheber 2015-06-15 16:13:17 -0500
  • 870466490b Revert ASDF/compilation issue related changes gheber 2015-06-15 06:31:05 -0500
  • f092de28f9 File issues #9, #10, #11, #12, #13 gheber 2015-06-14 20:36:31 -0500
  • b9a6785c15 Update cat-init and add SBCL compilation HowTo gheber 2015-06-13 19:23:15 -0500
  • f6460444be Merge pull request from @dimpase Gerd Heber 2015-06-13 18:12:50 -0500
  • 0e54dcd4d3 Update README.md Gerd Heber 2015-06-13 17:06:44 -0500
  • 3912f89d59 Update README.md Gerd Heber 2015-06-13 17:04:22 -0500
  • adcc9a6483 explain how to load the stuff Dima Pasechnik 2015-06-13 19:29:36 +0100
  • f40740ee8e a fix to allow compilation on ECL Dima Pasechnik 2015-06-13 19:04:15 +0100
  • baaec230bb Updated formattting gheber 2015-01-02 07:44:28 -0600
  • fe0f5a3e96 Added effective homology test. gheber 2015-01-01 18:52:53 -0600
  • ad86b8c500 Added RESULT type corrections. gheber 2015-01-01 18:30:57 -0600
  • b3627d3b5d Specializing on the second argument to PRINT-OBJECT gheber 2015-01-01 10:40:24 -0600
  • 8043c1edfd Added CCN test from Kenzo handbook. gheber 2014-12-31 17:03:16 -0600
  • e8d0011910 DEFINE-CONSTANT macro needs to be defined earlier. gheber 2014-12-31 10:46:12 -0600
  • 36b7046b78 Update README.md Gerd Heber 2014-12-27 09:49:51 -0600
  • 4cdecd0e20 Update README.md Gerd Heber 2014-12-27 09:48:13 -0600
  • 2bac738009 Updated description gheber 2014-12-26 21:00:23 -0600