jbearer / hspl / 114

Builds Branch Commit Type Ran Committer Via Coverage
114 master Optimize Unifier composition. Composing Unifiers everytime we complete a new subproof is expensive, in terms of both time and memory. To mitigate this cost, we implement to optimizations: 1. Composition is lazy. Unifiers are never explicitly com... push jbearer travis-ci pending completion   set done
113 proof-inspection Optimize Unifier composition. Composing Unifiers everytime we complete a new subproof is expensive, in terms of both time and memory. To mitigate this cost, we implement to optimizations: 1. Composition is lazy. Unifiers are never explicitly com... push jbearer travis-ci pending completion   set done
112 proof-inspection Optimize Unifier composition. Composing Unifiers everytime we complete a new subproof is expensive, in terms of both time and memory. To mitigate this cost, we implement to optimizations: 1. Composition is lazy. Unifiers are never explicitly com... push jbearer travis-ci pending completion   set done
111 proof-inspection Optimize Unifier composition. Composing Unifiers everytime we complete a new subproof is expensive, in terms of both time and memory. To mitigate this cost, we implement to optimizations: 1. Composition is lazy. Unifiers are never explicitly com... push jbearer travis-ci pending completion   set done
110 master Add instructions for common tasks in README. Instructions include setting up the repo, running tests and benchmarks, adding new Var constructors, and adding new Goal constructors. push jbearer travis-ci pending completion   set done
109 core Add instructions for common tasks in README. Instructions include setting up the repo, running tests and benchmarks, adding new Var constructors, and adding new Goal constructors. push jbearer travis-ci pending completion   set done
108 core Add syntax for anonymous variables. Closes #8 push jbearer travis-ci pending completion   set done
107 core fixup! Reimplement list library. push jbearer travis-ci pending completion   set done
106 core Reimplement list library. Common list predicates now exist in their own module "Control.Hspl.List". Some of the newer features (cut, unified, variable) are used to improve the efficience of these predicates. push jbearer travis-ci pending completion   set done
105 core fixup! Add a "cut" goal. push jbearer travis-ci pending completion   set done
104 core fixup! Add a "cut" goal. push jbearer travis-ci pending completion   set done
101 core Simplify logic state interface. Rather than having two state types and objects, one for backtracking state and one for global state, we only have one state. The state must be an instance of a class that lets us split the state into global and bac... push jbearer travis-ci pending completion   set done
100 master Fix |=| and |\=| operator precedence push jbearer travis-ci pending completion   set done
99 core Add a benchmark which tests primarily arithmetic operations. The benchmark involves some of the same computations as for computing perfect numbers. It is adapted from perfect.pl from the van Roy set of Prolog benchmarks. push jbearer travis-ci pending completion   set done
98 core fixup! Factor out common implementation of Unifier and Renamer. push jbearer travis-ci pending completion   set done