soonhokong / lean
57%
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 0.1
branch: SELECT
CHANGE BRANCH
x

1890

push

travis-ci

leodemoura 
fix(frontends/lean): convert paths to cygwin paths in a cygwin binary

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

13034 of 22895 relevant lines covered (56.93%)

60361.54 hits per line

Relevant lines Covered
22895 RELEVANT LINES 13034 COVERED LINES
60361.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
1890 0.1 fix(frontends/lean): convert paths to cygwin paths in a cygwin binary Signed-off-by: Leonardo de Moura <leonardo@microsoft.com> push leodemoura travis-ci pending completion  
1048 master chore(util/lua): name convention Signed-off-by: Leonardo de Moura <leonardo@microsoft.com> push leodemoura travis-ci pending completion  
1047 master feat(library/kernel_bindings): justification Lua API Signed-off-by: Leonardo de Moura <leonardo@microsoft.com> push leodemoura travis-ci pending completion  
1046 master fix(kernel/level): warning messages when compiling in release mode Signed-off-by: Leonardo de Moura <leonardo@microsoft.com> push leodemoura travis-ci pending completion  
1045 master fix(tests/kernel/metavar): typo Signed-off-by: Leonardo de Moura <leonardo@microsoft.com> push leodemoura travis-ci pending completion  
1044 master fix(kernel/metavar): wierd memory leak that only happens when compiling with clang++ Signed-off-by: Leonardo de Moura <leonardo@microsoft.com> push leodemoura travis-ci pending completion  
1043 master feat(util/script_state): use recursive_mutex instead of mutex Signed-off-by: Leonardo de Moura <leonardo@microsoft.com> push leodemoura travis-ci pending completion  
1042 master test(util/rb_tree): reduce test time for rb_tree Signed-off-by: Leonardo de Moura <leonardo@microsoft.com> push leodemoura travis-ci pending completion  
1041 master refactor(kernel): separate type_checker and converter Signed-off-by: Leonardo de Moura <leonardo@microsoft.com> push leodemoura travis-ci pending completion  
1040 master test(lua): remove obsolete test Signed-off-by: Leonardo de Moura <leonardo@microsoft.com> push leodemoura travis-ci pending completion  
See All Builds (497)