Tree @46d936f5-9e9d-4a44-863c-222d3e3df83e/main (Download .tar.gz)
- ..
- absntax.lisp
- baxioms.lisp
- bflags.lisp
- bmacro.lisp
- bmodexp.lisp
- bmodule2.lisp
- bobject.lisp
- boperator.lisp
- bsort.lisp
- bterm.lisp
- bview2.lisp
- context.lisp
- defterm.lisp
- depend.lisp
- find.lisp
- gen-eval.lisp
- gen-print.lisp
- meta.lisp
- normodexp.lisp
- op-theory.lisp
- parse-modexp.lisp
- print-object.lisp
- script.lisp
- term-utils.lisp
History of chaos / primitives @46d936f5-9e9d-4a44-863c-222d3e3df83e/main
- fix: choose-lowest-op/choose-most-general-op didn't work properly if operators are in same connected component. Toshimi Sawada 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
- Similarity of axioms include :nonexec property. 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
- 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
- correct typo. Toshimi Sawada 5 years ago
- Prevent strange behavior of sbcl while printing sort object. Toshimi Sawada 5 years ago
- Fix really bad style warnings. 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
- Allow compiler optimize the reference to symbol table. 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
- Module internal print name should not be symbol. tswd 5 years ago
- Delete obsolete constructs record/class. tswd 5 years ago
- Delete obsolete codes. tswd 5 years ago
- 'Variables as Constants' are automatically applied only in the context of :init command. Toshimi Sawada 5 years ago
- Fix inapropreate treatment of the context of parameter module. tswd 6 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