History of chaos / cafein @6d1bbea6-2fc4-4a43-9b93-f9a53a44bc7b/main
- Changed trace output stream from *error-output* to T, Toshimi Sawada 5 years ago
- Fixed wrong determination of debug-mode. Toshimi Sawada 5 years ago
- Add type delcarations for future enhancements. tswd 5 years ago
- Fix a bug in an old switch 'rewrite limit' tswd 5 years ago
- Code clean up, and supress sbcl's style-warnings. tswd 5 years ago
- It seems no one did 'exec+ <term>'. tswd 5 years ago
- Statistics does not print hash count no more. Toshimi Sawada 5 years ago
- Fix really bad style warnings. Toshimi Sawada 5 years ago
- Search predicate should use plain old hash mechanisms for treating Toshimi Sawada 5 years ago
- delete .hash-size. which is useless. Toshimi Sawada 5 years ago
- old switch 'clean memo' is enabled again tswd 5 years ago
- Add type declarations (a small optimizations) tswd 5 years ago
- When context is changed term memo table should be properly clearned. tswd 5 years ago
- Module internal print name should not be symbol. tswd 5 years ago
- Delete needless term copying. tswd 5 years ago
- Terms with variables will be never memoized. tswd 5 years ago
- Search predicates ignores term size limit for memoization. tswd 5 years ago
- Expand SBCL's dynamic space (heap) size. tswd 5 years ago
- It seems I misunderstood the meaning of :weakness of SBCL's hash-table. Toshimi Sawada 5 years ago
- Limit the size of a term which is allowed to be hashed. Toshimi Sawada 5 years ago
- Term memoization during rewriting now uses Common Lisp hash table. Toshimi Sawada 5 years ago
- Revert intruducing new term type. Instead, 'with-variables-as-constant' environment. tswd 6 years ago
- Under new term structure, we introduced a new type. tswd 6 years ago
- Revert wrong optimization in rewriting. tswd 6 years ago
- Changed 'term-color' setting scheme. tswd 6 years ago
- Due to changes of term structure normalize-term must check term type. tswd 6 years ago
- Modified due to the changes of term structure. tswd 6 years ago
- 'set rewrite limit' is now effective in normal rewriting process. tswd 7 years ago
- Fixed a bug: printing cosumed time for term parsing correctlly. tswd 8 years ago
- * When applying rule, warning msg will be printed if match method is not yet computed. tswd 8 years ago