• 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 debugger-ui
branch: debugger-ui
CHANGE BRANCH
x
Reset
  • debugger-ui
  • alternatives-n
  • append
  • cleanup-api
  • core
  • cutframe
  • debug-ui
  • debugger
  • forall
  • master
  • msplit
  • proof-inspection
  • show-pred
  • syntax
  • ternary
  • travis
  • unique-preds

pending completion
138

push

travis-ci

jbearer
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
interactive prompt and whether to use colors, so DebugConfig is no
longer needed at all.

Closes #7

1073 of 1261 relevant lines covered (85.09%)

0.85 hits per line

Relevant lines Covered
Build:
Build:
1261 RELEVANT LINES 1073 COVERED LINES
0.85 HITS PER LINE
Source Files on debugger-ui
  • List 0
  • Changed 1
  • Source Changed 1
  • Coverage Changed 1
Coverage ∆ File Lines Relevant Covered Missed Hits/Line

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
138 debugger-ui 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 24 Sep 2017 09:23PM UTC jbearer travis-ci pending completion  
137 debugger-ui 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 24 Sep 2017 08:45PM UTC jbearer travis-ci pending completion  
136 debugger-ui Use Haskeline for command line editing in debugger. Closes #7 push 24 Sep 2017 06:57PM UTC jbearer travis-ci pending completion  
135 debugger-ui Print final values of variables when a result is debugged. In the debugger, ever time a result is proven, we print the final value of each variable which * Appears in the final unifier * Is not a Fresh or Anon variable * Is bound to a non-variab... push 24 Sep 2017 02:16AM 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