soonhokong / lean / 1890

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   set done
1048 master chore(util/lua): name convention Signed-off-by: Leonardo de Moura <leonardo@microsoft.com> push leodemoura travis-ci pending completion   set done
1047 master feat(library/kernel_bindings): justification Lua API Signed-off-by: Leonardo de Moura <leonardo@microsoft.com> push leodemoura travis-ci pending completion   set done
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   set done
1045 master fix(tests/kernel/metavar): typo Signed-off-by: Leonardo de Moura <leonardo@microsoft.com> push leodemoura travis-ci pending completion   set done
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   set done
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   set done
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   set done
1041 master refactor(kernel): separate type_checker and converter Signed-off-by: Leonardo de Moura <leonardo@microsoft.com> push leodemoura travis-ci pending completion   set done
1040 master test(lua): remove obsolete test Signed-off-by: Leonardo de Moura <leonardo@microsoft.com> push leodemoura travis-ci pending completion   set done
1039 master chore(*): add logo Signed-off-by: Leonardo de Moura <leonardo@microsoft.com> push leodemoura travis-ci pending completion   set done
1038 master chore(library/arith): remove unnecessary library Signed-off-by: Leonardo de Moura <leonardo@microsoft.com> push leodemoura travis-ci pending completion   set done
1037 master chore(*): replace leodemoura with leanprover Signed-off-by: Leonardo de Moura <leonardo@microsoft.com> push leodemoura travis-ci pending completion   set done
1036 master chore(.travis.yml): remove automatic copy to bitbucket Signed-off-by: Leonardo de Moura <leonardo@microsoft.com> push leodemoura travis-ci pending completion   set done
1035 master fix(.travis.yml): typo Signed-off-by: Leonardo de Moura <leonardo@microsoft.com> push leodemoura travis-ci pending completion   set done