History of chaos @debian/latest

• 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
• 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