History of thstuff @debian/latest

• 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