History of chaos @run/5b6583a9-18a9-4693-858f-50c4c898c30b/main
- Fix diagnostic messages of regularity check. Toshimi Sawada 2 years ago
- :init makes a new goal Toshimi Sawada 2 years ago
- change grouping of operators. tswd 2 years ago
- fix: choose-lowest-op/choose-most-general-op didn't work properly if operators are in same connected component. Toshimi Sawada 4 years ago
- Improve output of 'set' command. tswd 4 years ago
- Fix 'show path' has't been working since recursive search was supported. tswd 4 years ago
- fix missing paren in print :fancy Toshimi Sawada 4 years ago
- fixed a bug in generating error operators Toshimi Sawada 5 years ago
- fixed incorrect type declaration of 'module expresseion' Toshimi Sawada 5 years ago
- 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
- fixed wrong type declaration. tswd 5 years ago
- Similarity of axioms include :nonexec property. tswd 5 years ago
- 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