History of chaos @742cc5b3-0e02-425f-be1e-5e89ba6f9fea/main
- Calm down aggressive sbcl compiler. tswd 5 years ago
- Move symbol table related functions to more proper place. Toshimi Sawada 5 years ago
- Delete unused type predicates. Toshimi Sawada 5 years ago
- Add type delcarations for future enhancements. tswd 5 years ago
- Makes 'defterm' generating type declaration. tswd 5 years ago
- Fix a bug in an old switch 'rewrite limit' tswd 5 years ago
- Prevent crash caused by SBCL compiler's optimization. Toshimi Sawada 5 years ago
- Fixed a bug in parsing opref declared in mappings. Toshimi Sawada 5 years ago
- Code clean up, and supress sbcl's style-warnings. tswd 5 years ago
- moved to more proper place. Toshimi Sawada 5 years ago
- A small optimizations Toshimi Sawada 5 years ago
- It seems no one did 'exec+ <term>'. tswd 5 years ago
- correct typo. Toshimi Sawada 5 years ago
- new switch 'show every finding'. Toshimi Sawada 5 years ago
- Prevent strange behavior of sbcl while printing sort object. Toshimi Sawada 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
- Fixed a wrong type declaration by which 'show op _+_ .' clashes. Toshimi Sawada 5 years ago
- Fixed wrong type declaration. Toshimi Sawada 5 years ago
- type! tswd 5 years ago
- Allow compiler optimize the reference to symbol table. 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
- A bit of optimizations. tswd 5 years ago
- Delte additional unused functions for record/class constructs. 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