Many hyperlinks are disabled.
Use anonymous login to enable hyperlinks.
14 check-ins related to "bc-subst"
|21:35||Started work on better handling of forall/exists in the reasoning language. Leaf check-in: e8532f2591 user: andy tags: forall-exists|
|19:26||The new clausal-expansion system for goals is complete. Closed-Leaf check-in: d8a8e82a90 user: andy tags: bc-subst|
|16:26||Added reference to Gacek's PhD thesis in the section on induction. Added screenshot of a completed proof. check-in: ec0abfb8eb user: andy tags: bc-subst|
|16:25||Removed hover styles from premise/conclusion classes (this should be handled in JS, so that it can be disabled when the proof is complete). check-in: 6feebbe110 user: andy tags: bc-subst|
|16:25||Added proof demo example. check-in: 018383954d user: andy tags: bc-subst|
|15:47||Fixed everything else to work with the new goal/clausal expansion. check-in: 52b0f899a0 user: andy tags: bc-subst, working|
|15:47||Fixed module imports to avoid a (meaningless) warning. check-in: 8ad421112c user: andy tags: bc-subst|
|15:47||Fixed client-side proof handling to work with the new backchain fomat. check-in: 626e89a1ac user: andy tags: bc-subst|
|15:46||Added support for showing rule names in derivations. check-in: a989ccc9e5 user: andy tags: bc-subst|
|15:45||Fixed a bug in the translation of Uppercase atoms from Prolog. check-in: 223107a48f user: andy tags: bc-subst|
|20:58||Updated checker module to work with the new atomic goal expansions. check-in: 4e6407ce10 user: andy tags: bc-subst|
|20:57||Fixed (maybe) the filtering of substitutions for "interesting" variables. check-in: abb4d08745 user: andy tags: bc-subst|
|09:54||Started work on making backchaining of goals a) apply the substitution to the expansion, rather than appending it as a conjunction of unifications, b) return the substitution along with each branch of the expansion, and c), return the name of the branch that was chosen (analogous to the index N parameter in `choice` proofs). check-in: 1252a63f55 user: andy tags: bc-subst|
|09:52||Fixed a minor typo. Leaf check-in: adaef9d668 user: andy tags: trunk|