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
Detailed source file information is not available for this build.

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)