lsrcz / mini-prover
84%
master: 58%

LAST BUILD BRANCH: tactic
DEFAULT BRANCH: master
Repo Added
Files 36
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 typechecker
branch: typechecker
CHANGE BRANCH
x

91

push

travis-ci

lsrcz 
fixed renaming

2695 of 3218 relevant lines covered (83.75%)

0.84 hits per line

Relevant lines Covered
3218 RELEVANT LINES 2695 COVERED LINES
0.84 HITS PER LINE
Source Files on typechecker
Detailed source file information is not available for this build.

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
91 typechecker fixed renaming push lsrcz travis-ci pending completion  
90 typechecker update addenvindtype push Shlw travis-ci pending completion  
89 typechecker fix addAnonymousName push lsrcz travis-ci pending completion  
88 typechecker fix addAnonymousName push lsrcz travis-ci pending completion  
87 typechecker fixed a test case for typing push lsrcz travis-ci pending completion  
86 typechecker rename won't pick the same name in the type of the abstraction push lsrcz travis-ci pending completion  
85 typechecker fix the test case for ex2 push lsrcz travis-ci pending completion  
84 typechecker fix typing and reduction on TmAppl push lzw-pku travis-ci pending completion  
83 typechecker add two test cases for command processing push lsrcz travis-ci pending completion  
82 typechecker minor fix in library, change the verbose flag in toploop push lsrcz travis-ci pending completion  
See All Builds (146)