soonhokong / lean / 1014

Builds Branch Commit Type Ran Committer Via Coverage
1014 master test(examples/lean): opaque pairs Signed-off-by: Leonardo de Moura <leonardo@microsoft.com> push leodemoura travis-ci pending completion   set done
1013 master fix(library/elaborator): add hack for experimenting with algebraic hierarchy Signed-off-by: Leonardo de Moura <leonardo@microsoft.com> push leodemoura travis-ci pending completion   set done
1012 master test(examples/lean): small version of algebraic hierarchy (proof of concept) Signed-off-by: Leonardo de Moura <leonardo@microsoft.com> push leodemoura travis-ci pending completion   set done
1011 master fix(library/elaborator): temporary fix for bug reported by Jeremy Signed-off-by: Leonardo de Moura <leonardo@microsoft.com> push leodemoura travis-ci pending completion   set done
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   set done
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   set done
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   set done
1005 master feat(builtin): simulate binary encoding Signed-off-by: Leonardo de Moura <leonardo@microsoft.com> push leodemoura travis-ci pending completion   set done
1002 version0.2 fix(kernel): remove unnecessary file Signed-off-by: Leonardo de Moura <leonardo@microsoft.com> push leodemoura travis-ci pending completion   set done
1001 master fix(frontends/lean): help msg Signed-off-by: Leonardo de Moura <leonardo@microsoft.com> push leodemoura travis-ci pending completion   set done
1000 master doc(builtin): Diaconescu’s theorem Signed-off-by: Leonardo de Moura <leonardo@microsoft.com> push leodemoura travis-ci pending completion   set done
999 version0.2 test(tests/kernel): adjust expr tests Signed-off-by: Leonardo de Moura <leonardo@microsoft.com> push leodemoura travis-ci pending completion   set done
998 version0.2 refactor(kernel): shallow copy procedure Signed-off-by: Leonardo de Moura <leonardo@microsoft.com> push leodemoura travis-ci pending completion   set done
997 master refactor(builtin/kernel): use standard definition for 'or' and 'and' Signed-off-by: Leonardo de Moura <leonardo@microsoft.com> push leodemoura travis-ci pending completion   set done
996 master feat(builtin/proof_irrel): prove proof irrelevance Signed-off-by: Leonardo de Moura <leonardo@microsoft.com> push leodemoura travis-ci pending completion   set done