soonhokong / lean
74%
master: 76%

LAST BUILD BRANCH: 0.1
DEFAULT BRANCH: master
Repo Added
Files 220
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 version0.2
branch: version0.2
CHANGE BRANCH
x

1015

push

travis-ci

leodemoura 
fix(kernel): style

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>

6703 of 9116 relevant lines covered (73.53%)

264814.19 hits per line

Relevant lines Covered
9116 RELEVANT LINES 6703 COVERED LINES
264814.19 HITS PER LINE
Source Files on version0.2
Coverage ∆ File Lines Relevant Covered Missed Hits/Line

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
1015 version0.2 fix(kernel): style Signed-off-by: Leonardo de Moura <leonardo@microsoft.com> push leodemoura travis-ci pending completion  
1010 version0.2 refactor(kernel): add error msg formatters, remove unnecessary files, add new type_checker interface Signed-off-by: Leonardo de Moura <leonardo@microsoft.com> push leodemoura travis-ci pending completion  
1008 version0.2 fix(kernel): bugs in justification module, add missing metavar methods, add basic metavar tests Signed-off-by: Leonardo de Moura <leonardo@microsoft.com> push leodemoura travis-ci pending completion  
1007 version0.2 feat(kernel): define metavar substitution based on red-black trees Signed-off-by: Leonardo de Moura <leonardo@microsoft.com> push leodemoura travis-ci pending completion  
1002 version0.2 fix(kernel): remove unnecessary file Signed-off-by: Leonardo de Moura <leonardo@microsoft.com> push leodemoura travis-ci pending completion  
999 version0.2 test(tests/kernel): adjust expr tests Signed-off-by: Leonardo de Moura <leonardo@microsoft.com> push leodemoura travis-ci pending completion  
998 version0.2 refactor(kernel): shallow copy procedure Signed-off-by: Leonardo de Moura <leonardo@microsoft.com> push leodemoura travis-ci pending completion  
994 version0.2 fix(kernel/diff_cnstrs): missing include Signed-off-by: Leonardo de Moura <leonardo@microsoft.com> push leodemoura travis-ci pending completion  
993 version0.2 feat(kernel/level): new universe level datastructure for universe level polymorphism Signed-off-by: Leonardo de Moura <leonardo@microsoft.com> push leodemoura travis-ci pending completion  
See All Builds (497)