jbearer / hspl
84%

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 master
branch: master
CHANGE BRANCH
x

161

push

travis-ci

jbearer 
Add tests for freeIn

1132 of 1344 relevant lines covered (84.23%)

0.84 hits per line

Relevant lines Covered
1344 RELEVANT LINES 1132 COVERED LINES
0.84 HITS PER LINE
Source Files on master
Coverage ∆ File Lines Relevant Covered Missed Hits/Line

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
161 master Add tests for freeIn push jbearer travis-ci pending completion  
156 master Implement Show for Goal to work with recursive PredGoals Fixes #26 push jbearer travis-ci pending completion  
154 master Update Homebrew in OSX build. push jbearer travis-ci pending completion  
151 master Rename Clause to PredicateBody. What was previously called a Clause was not a Clause, it was a collection of Clauses. Since that collection becomes the definition of a predicate, it is now called a PredicateBody. Closese #25 push jbearer travis-ci pending completion  
145 master Tag predicates definitions with their location in the source code. This allows us to relax the constraint that predicate names be unique quite alot. There is a caveat: source location is not available prior to base 4.8.1, so with older versions ... push jbearer travis-ci pending completion  
139 master Use Haskeline for command line editing in debugger. Notably, we no longer have the option to configure file I/O. The debugger always reads and writes to stdin and stdout. It uses Haskeline's haveTerminalUI to determine whether to display the inte... push jbearer travis-ci pending completion  
134 master Factor out operator preferences. All operator preferences are defined in the same part of the file, making it easy to see the relative order. Also, we use a macro PREC which is continuously redefined to decreasing integer constants, which will ma... push jbearer travis-ci pending completion  
131 master Provide a goal for introducing a new cut frame. This is used to implement Once in terms of Cut, and Once is now removed. Predicate goals still implicitly introduce a cut frame. Closese #16 push jbearer travis-ci pending completion  
128 master Remove Cabal builds from Travis They weren't doing anything but take a long time anyway push jbearer travis-ci pending completion  
122 master Increase travis timeout for cabal build push jbearer travis-ci pending completion  
See All Builds (135)