jbearer / hspl

85%

master: 84%

LAST BUILD ON BRANCH cleanup-api

branch: cleanup-api

CHANGE BRANCH

x

Reset

• cleanup-api
• alternatives-n
• append
• core
• cutframe
• debug-ui
• debugger
• debugger-ui
• forall
• master
• msplit
• proof-inspection
• show-pred
• syntax
• ternary
• travis
• unique-preds

Build # 124

Build Type

push

travis-ci

Committed by jbearer

Commit Message

Clean up public interface.

* Move some implementation details into an internal module
* Rename/provide aliases so that the user sees names like 'Goal'
  rather than the more cryptic 'GoalWriter'
* Provide wrappers in terms of the new types, e.g. getTheorem
  wrapper that returns the external goal rather than the internal
  goal.

Closes #3 and #15

Run Details

1065 of 1253 relevant lines covered (85.0%)

0.85 hits per line