History of thstuff @b4d5c053-e253-4cc3-a061-5da7a583432d/main
- Fix incorrect check of contradictory assumptions Toshimi Sawada 4 years ago
- Fix: missing in make-axiom-instance. tswd 4 years ago
- - allow :init without substitution tswd 4 years ago
- fix: <substitution> in :init command must be evaluated in the target goal. tswd 4 years ago
- typo Toshimi Sawada 4 years ago
- fix a bug in interpreting contex-state indicator. Toshimi Sawada 4 years ago
- fix: withStateEQ did not work after changing hash mechanism. Toshimi Sawada 4 years ago
- Now 'show path' accepts state specifier of form depth-state. 'show path num' is equivalent to 'show path 0-num' Toshimi Sawada 4 years ago
- Fix 'show path' has't been working since recursive search was supported. tswd 4 years ago
- Fixed improper term printing mode in 'init' Toshimi Sawada 4 years ago
- appearance of axioms in proof should obey users' settings Toshimi Sawada 4 years ago
- Remove :nonexec before status message is printed tswd 5 years ago
- prepare for parsing if need before match. tswd 5 years ago
- Add type delcarations for future enhancements. tswd 5 years ago
- Fix a bug in normalizing condition part of an axiom. Toshimi Sawada 5 years ago
- Delete obsolete code. Toshimi Sawada 5 years ago
- Fix a problem in :init var<->pconst when rhs only vars exist. Toshimi Sawada 5 years ago
- Code clean up, and supress sbcl's style-warnings. tswd 5 years ago
- "*** Found[...]" message now prints target pattern Toshimi Sawada 5 years ago
- new switch 'show every finding'. Toshimi Sawada 5 years ago
- we need new flag 'set show all state'? tswd 5 years ago
- Search predicate needs more bug fixes. tswd 5 years ago
- ** Found[<state>] shold be printed only at nesting level 0. Toshimi Sawada 5 years ago
- Fix a bug in nested search. 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
- More proper treatment of :init problem. tswd 5 years ago
- Try to fix a problem in :init, psuedo variables in condition part Toshimi Sawada 5 years ago
- Fix an error argument mismatch. tswd 5 years ago
- Handling statistic info more precise. tswd 5 years ago