jbearer / hspl / 77

Builds Branch Commit Type Ran Committer Via Coverage
77 core Implement a more complete logical language in Goal This patch adds And, Or, Top, and Bottom goals in addition to the existing Not connective. This allows us to express many first-order logic sentences as complex goals. In particular, the conjunct... push jbearer travis-ci pending completion   set done
76 core fixup! Implement a more complete logical language in Goal push jbearer travis-ci pending completion   set done
75 core Implement a more complete logical language in Goal This patch adds And, Or, Top, and Bottom goals in addition to the existing Not connective. This allows us to express many first-order logic sentences as complex goals. In particular, the conjunct... push jbearer travis-ci pending completion   set done
74 core Improve semantics of proveEqualWith Since all 'TermEntry's are now 'Termable', we can express the semantics the 'Equal' goal in a much simpler way. Modulo Maybes, the evaluation of the rhs can be approximately expressed by 'toTerm . fromTerm'. Th... push jbearer travis-ci pending completion   set done
73 core Add a default 'toTerm' instance for ADTs. Uses GHC.Generics to construct a generic implementation of 'toTerm' for algebraic data types. Because all types that we may want to put in a term now have a 'toTerm', 'Termable' (the class of 'toTerm') is... push jbearer travis-ci pending completion   set done
72 core Add unit tests for user-facing errors in AST push jbearer travis-ci pending completion   set done
71 core fixup! fixup! fixup! fixup! Change the representation of ADT terms to facilitate generic manipulations. push jbearer travis-ci pending completion   set done
70 core fixup! fixup! fixup! Change the representation of ADT terms to facilitate generic manipulations. push jbearer travis-ci pending completion   set done
69 core fixup! fixup! Change the representation of ADT terms to facilitate generic manipulations. push jbearer travis-ci pending completion   set done
68 core fixup! Change the representation of ADT terms to facilitate generic manipulations. push jbearer travis-ci pending completion   set done
67 core Change the representation of ADT terms to facilitate generic manipulations. Specifically, we replace tuples with type-erased lists. Tuples are a PITA, so let's get rid of them as early in the pipeline as possible. Of course, getting rid of them ... push jbearer travis-ci pending completion   set done
66 master 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
65 core Add type annotations to avoid a GHC panic. This appears to be a known GHC bug (https://ghc.haskell.org/trac/ghc/ticket/12401) which I do not understand. Providing explicit type annotations for some of the test helper functions (those with TermDat... push jbearer travis-ci pending completion   set done
64 core Add type annotations to avoid a GHC panic. This appears to be a known GHC bug (https://ghc.haskell.org/trac/ghc/ticket/12401) which I do not understand. Providing explicit type annotations for some of the test helper functions (those with TermDat... push jbearer travis-ci pending completion   set done
63 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