david-christiansen / racket-refiners
55%

DEFAULT BRANCH: master
Repo Added
Files 28
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: SELECT
CHANGE BRANCH
x

81

push

travis-ci

David Christiansen 
Update readme

1598 of 2926 relevant lines covered (54.61%)

1.54 hits per line

Relevant lines Covered
2926 RELEVANT LINES 1598 COVERED LINES
1.54 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
81 master Update readme push David Christiansen travis-ci pending completion  
80 master Merge pull request #2 from david-christiansen/wip/ctt Start implementing CTT push GitHub travis-ci pending completion  
78 wip/ctt More CTT progress push david-christiansen travis-ci pending completion  
77 wip/ctt Add lambda reduction rule push david-christiansen travis-ci pending completion  
76 wip/ctt Show irrelevant goals push david-christiansen travis-ci pending completion  
72 master Special-purpose proof zipper This makes movement in a proof far less verbose. It also means that we know much more about how the frames in the zipper will look, which makes the various tools easier to implement with good interfaces. push david-christiansen travis-ci pending completion  
70 master Identify bindings in graphical prover Bindings are now found through macro-expansion in the graphical prover, allowing proper highlights. push web-flow travis-ci pending completion  
69 wip/find-bindings Remove 6.3 from testing push david-christiansen travis-ci pending completion  
66 wip/find-bindings Fix bindings for presentation prover push david-christiansen travis-ci pending completion  
65 wip/find-bindings Handy test push david-christiansen travis-ci pending completion  
See All Builds (22)