jbearer / hspl
83%
master: 84%

LAST BUILD BRANCH: debug-ui
DEFAULT BRANCH: master
Repo Added
Files 12
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst

LAST BUILD ON BRANCH core
branch: core
CHANGE BRANCH
x

109

push

travis-ci

jbearer 
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.

1015 of 1221 relevant lines covered (83.13%)

0.83 hits per line

Relevant lines Covered
1221 RELEVANT LINES 1015 COVERED LINES
0.83 HITS PER LINE
Source Files on core
Coverage ∆ File Lines Relevant Covered Missed Hits/Line

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
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  
108 core Add syntax for anonymous variables. Closes #8 push jbearer travis-ci pending completion  
107 core fixup! Reimplement list library. push jbearer travis-ci pending completion  
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  
105 core fixup! Add a "cut" goal. push jbearer travis-ci pending completion  
104 core fixup! Add a "cut" goal. push jbearer travis-ci pending completion  
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  
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  
98 core fixup! Factor out common implementation of Unifier and Renamer. push jbearer travis-ci pending completion  
97 core Factor out common implementation of Unifier and Renamer. Both of these types map (forall a. TermEntry a => Var a) to (forall a. TermEntry a => f a), where f is either Term or Var. Worse, they have a complicated implementation without a real inter... push jbearer travis-ci pending completion  
See All Builds (135)