History of chaos / e-match @a8037b72-7d66-41c1-b427-cdb2aaf078a7/main
- Calm down aggressive sbcl compiler. tswd 5 years ago
- A small optimizations Toshimi Sawada 5 years ago
- Fix really bad style warnings. Toshimi Sawada 5 years ago
- Add type declarations (a small optimizations) tswd 5 years ago
- Modified due to the changes of term structure. tswd 6 years ago
- * Fixed a bug checking similarity of terms. tswd 8 years ago
- Fixed a bug in acz match. Now we can match 'identity' to any sequences. tswd 8 years ago
- Fixed a bug in commutativity+identity matching. tswd 8 years ago
- Add some inspecting codes for debug matching problems. tswd 8 years ago
- Fixed sbcl acz match problem. tswd 8 years ago
- update copyrights to 2015 Norbert Preining 8 years ago
- Add some debug logs. tswd 8 years ago
- * Added un-autoload command. tswd 8 years ago
- Untabified the all of the source codes. The cause is unknown, but tswd 8 years ago
- Preparing for broader distritution, added license headers to codes. tswd 9 years ago
- * House keeping. Deleted (moved) tex intermediate files & other garbages. tswd 9 years ago
- * Fixed AZ matching, for trivially failure case. tswd 9 years ago
- * Fixed the case matching to non-lnear pattern fails. tswd 9 years ago
- * Fixed 'assoc' matching. tswd 9 years ago
- * various minor fixes for SBCL platform. tswd 10 years ago
- No more special treatment of built-in constants as matching terms. tswd 10 years ago
- * Fixed a bug: AC matching of graph structured terms. Not completely but works. tswd 10 years ago
- (1) Removed various working files from the repository. tswd 10 years ago
- Some modification for porting to clisp. tswd 11 years ago
- Fix for assoc ops term LP during rewriting. tswd 11 years ago
- Brand new trunk of 2012 CafeOBJ interpreter. tswd 11 years ago