• 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
  • List 0
  • Changed 0
  • Source Changed 0
  • Coverage Changed 0
Coverage ∆ File Lines Relevant Covered Missed Hits/Line

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

© 2025 Coveralls, Inc