jbearer / hspl / 62

Builds Branch Commit Type Ran Committer Via Coverage
62 core fixup! Replace program data structure with distinct self-contained goals. push jbearer travis-ci pending completion   set done
61 core fixup! fixup! Replace program data structure with distinct self-contained goals. push jbearer travis-ci pending completion   set done
60 core Timestamp tmp files in DebuggerTest. This will hopefully prevent IO failures in one test from killing all subsequent tests that need those files. push jbearer travis-ci pending completion   set done
59 core fixup! Replace program data structure with distinct self-contained goals. push jbearer travis-ci pending completion   set done
58 core Replace program data structure with distinct self-contained goals. Instead of creating a unified collection of all clauses in a program, we store with each 'PredGoal' the list of clauses which can be used to prove that goal. This has a few advant... push jbearer travis-ci pending completion   set done
57 core fixup! Consolidate superclasses of HSPLTypes into a single type class. push jbearer travis-ci pending completion   set done
56 core Provide an interface for strongly typed predicates. The user can "forward-declare" predicates using the 'decl' syntax to inform the compiler of the type of a particular predicate. The compiler can then infer types in the argument whenever that pr... push jbearer travis-ci pending completion   set done
55 core Implement arithmetic expressions. Terms can be combined to for sums, products, differences, and quotients. A new goal Equal can be used to test for equality of arithmetic expressions. push jbearer travis-ci pending completion   set done
54 core Make the syntax more consistent. Requiring $$ in a predicate sometimes (ie when it appears as a goal on the rhs of |-) but not others (as part of a def) is confusing. The difference between $$ and |$| is also potentially confusing. We replace $$ ... push jbearer travis-ci pending completion   set done
53 core Implement the equivalent of Prolog's ==/2. This predicate (|==|) succeeds if and only if both of its arguments are identical; that is, they have already been unified. In order for this to work, the intermediate unifier resulting from proving a s... push jbearer travis-ci pending completion   set done
52 core fixup! Implement the equivalent of Prolog's =/2. push jbearer travis-ci pending completion   set done
51 core Implement the equivalent of Prolog's =/2. The goal (|=|) acts as a predicate with special semantics: it attempts to unify its operands, and succeeds if and only if the unification succeeds. Implementing this required a significant overall of the... push jbearer travis-ci pending completion   set done
50 master Implement the main proof engine. The solver is capable of finding all proofs of a given goal which follow from a given set of clauses. The interface of the solver consists of a single entry point returning an opaque structure, together with a han... push jbearer travis-ci pending completion   set done
49 core Implement an interactive debugger for HSPL programs. This is accomplished by altering the main solver algorithm to use a continuation-based control flow which allows third parties to hook into interesting events during the runtime. The debugger ... push jbearer travis-ci pending completion   set done
48 core Implement an interactive debugger for HSPL programs. This is accomplished by altering the main solver algorithm to use a continuation-based control flow which allows third parties to hook into interesting events during the runtime. The debugger ... push jbearer travis-ci pending completion   set done