History of chaos / term-parser @a3322885-47a8-48fd-bf01-8860105a300c/main
- Fix really bad style warnings. Toshimi Sawada 5 years ago
- Delte additional unused functions for record/class constructs. tswd 5 years ago
- Delete obsolete constructs record/class. tswd 5 years ago
- Modified due to the changes of term structure. tswd 6 years ago
- Fixed improper error messages. tswd 6 years ago
- Bug fix: operator with name with ':' in it, suchas Op:S, causes crash some cases. tswd 8 years ago
- update copyrights to 2015 Norbert Preining 8 years ago
- * Started implementing inspecter for Bool valued terms. tswd 8 years ago
- Improved handling ambiguous terms to parse. tswd 8 years ago
- Untabified the all of the source codes. The cause is unknown, but tswd 8 years ago
- Fixed the parsing problem introduced by the change in ordering algorithm of operators. tswd 8 years ago
- Fix: parsing overloading constants. tswd 8 years ago
- Fixed clash in acz match of terms including builtin constants. tswd 8 years ago
- Start refactoring. NOTE: does compile but does not work many cases. tswd 9 years ago
- Preparing for broader distritution, added license headers to codes. tswd 9 years ago
- * Changed proof strategy for more easily walk through the proof tree. tswd 9 years ago
- * Improved #define. It now accepts more complex arguments. tswd 9 years ago
- * Fixed the 'A _:is_ B' becomes TypeErr unless A and B is in same connected component. tswd 9 years ago
- * Canonicalize variables in terms. tswd 9 years ago
- * There can be a case in which expansion of :m-and by 'and-also' causes normalization to be failed. tswd 10 years ago
- * *.bin -> *.cafe tswd 10 years ago
- * Adding support for a metalevel core part. tswd 10 years ago
- Delete obsolete commands. tswd 10 years ago
- Exprimental implementation of :m-and/m:-or. tswd 10 years ago
- * changed the treatment of dynamic vs. static variable declaration with the same name(exprimental). tswd 10 years ago
- Some modification for porting to clisp. tswd 11 years ago
- Changed an example for fitting newly introduced limitation of generic operators. tswd 11 years ago
- Fix: when term parser selects among possible parses, there can be ones of built-in constants. tswd 11 years ago
- 1. Optimized term parser for not accumulate same forms for possible arguments. tswd 11 years ago
- Fix for assoc ops term LP during rewriting. tswd 11 years ago