leanprover / lean / 7395

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
3999 lean3 feat(bin): GDB pretty printer for lean::buffer push Kha travis-ci pending completion
3722 lean3 feat(frontends/lean): add #elab command for testing new elaborator push leodemoura travis-ci pending completion
3328 master test(simplifier19): nested fusion Pull #878 Daniel Selsam travis-ci pending completion
3318 master test(tests/lean/simplifier_norm_num): disable test that is taking a long time push leodemoura travis-ci pending completion
3222 master feat(hott/homotpy) add join operator, and prove two basic lemmas Pull #847 Jakob von Raumer travis-ci pending completion