• Home
  • Features
  • Pricing
  • Docs
  • Announcements
  • Sign In

jbearer / hspl
85%
master: 84%

Build:
Build:
LAST BUILD BRANCH: debug-ui
DEFAULT BRANCH: master
Repo Added 19 Apr 2017 07:17PM UTC
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 syntax
branch: syntax
CHANGE BRANCH
x
Reset
  • syntax
  • alternatives-n
  • append
  • cleanup-api
  • core
  • cutframe
  • debug-ui
  • debugger
  • debugger-ui
  • forall
  • master
  • msplit
  • proof-inspection
  • show-pred
  • ternary
  • travis
  • unique-preds

pending completion
150

push

travis-ci

jbearer
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

1093 of 1291 relevant lines covered (84.66%)

0.85 hits per line

Relevant lines Covered
Build:
Build:
1291 RELEVANT LINES 1093 COVERED LINES
0.85 HITS PER LINE
Source Files on syntax
Detailed source file information is not available for this build.

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
150 syntax 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 29 Sep 2017 03:30AM UTC jbearer travis-ci pending completion  
149 syntax 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 28 Sep 2017 09:52PM UTC jbearer travis-ci pending completion  
148 syntax fixup! Use . as binary operator delimiter (instead of |) push 28 Sep 2017 06:36PM UTC jbearer travis-ci pending completion  
147 syntax Add more variable constructors. * Variable constructors for Either and Maybe * Replaced \* with a more readable 'list' * Added typed anonymous constructors, e.g. _int, _maybe, _list * Added a type family which allows for tuple variables, e.g. tup... push 28 Sep 2017 06:16AM UTC jbearer travis-ci pending completion  
146 syntax Use . as binary operator delimiter (instead of |) . (e.g. .+.) creates less visual disruption than | (e.g. |+|) Closes #18 push 28 Sep 2017 03:27AM UTC jbearer travis-ci pending completion  
See All Builds (135)
  • Repo on GitHub
STATUS · Troubleshooting · Open an Issue · Sales · Support · CAREERS · ENTERPRISE · START FREE · SCHEDULE DEMO
ANNOUNCEMENTS · TWITTER · TOS & SLA · Supported CI Services · What's a CI service? · Automated Testing

© 2026 Coveralls, Inc