leanprover / lean
85%

DEFAULT BRANCH: master
Repo Added
Files 42
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 master
branch: SELECT
CHANGE BRANCH
x

7395

cron

travis-ci

Kha 
chore(*): release version 3.4.2

640 of 754 relevant lines covered (84.88%)

20.1 hits per line

Relevant lines Covered
754 RELEVANT LINES 640 COVERED LINES
20.1 HITS PER LINE
Source Files on master
Detailed source file information is not available for this build.

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
7395 master chore(*): release version 3.4.2 cron Kha travis-ci pending completion  
5570 master refactor(system/io): use spawn_args structure in all process functions Pull #605 leodemoura travis-ci pending completion  
5334 parallel2 fix(emacs/lean-server): Emacs 24 compatibility Pull #1405 Sebastian Ullrich travis-ci pending completion  
5242 master chore(tests/lean/run/1430.lean): repro for #1430 push Leonardo de Moura travis-ci pending completion  
5196 master chore(tests/lean/run/ginductive_induction_tactic): remove `using ...` Otherwise, we are not testing anything. push leodemoura travis-ci pending completion  
5089 master feat(frontends/lean): improve notation for converting infix notation into functions push leodemoura travis-ci pending completion  
4699 master chore(emacs/lean-util): delete old code Pull #1272 Sebastian Ullrich travis-ci pending completion  
4452 lean3 fix(kernel/expr, kernel/level): if caching is enabled during finalization, these modules would register a finalizer after finalization of the main thread The deleted lines were not really needed. They were added before we had the thread finalizat... push leodemoura travis-ci pending completion  
4219 lean3 feat(frontends/lean): force user to use `meta` keyword on meta inductive/structure/class Before this commit, we were inferring whether an inductive/structure/class were meta or not. This was bad since the user had no clue whether the type was tru... push leodemoura travis-ci pending completion  
223 master Encapsulate context implementation. The current implementantion based on lists may be a performance problem in the future, and we should be able to change it without affecting the whole code base. Signed-off-by: Leonardo de Moura <leonardo@micros... push leodemoura travis-ci pending completion  
See All Builds (3720)