projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Make statistics output consistent. (#1647)
[cvc5.git] / src / proof / lemma_proof.cpp
2017-07-07 Mathias PreinerUpdate copyright headers. blob | commitdiff | raw
2016-10-11 Paul MengMerge branch 'origin' of https://github.com/CVC4/CVC4.git blob | commitdiff | raw | diff to current
2016-10-01 Tim KingMerge pull request #93 from timothy-king/clang-format blob | commitdiff | raw | diff to current
2016-09-27 Tim KingRemoving an unused iterator. blob | commitdiff | raw | diff to current
2016-08-24 PaulMengMerge remote-tracking branch 'origin/master' blob | commitdiff | raw | diff to current
2016-07-15 GuyThe ProofManager now allows theory solvers to get their... blob | commitdiff | raw | diff to current
2016-07-05 PaulMengMerge branch 'master' of https://github.com/CVC4/CVC4.git blob | commitdiff | raw | diff to current
2016-06-06 guykatzzMerge pull request #85 from CVC4/master_for_proof_merge blob | commitdiff | raw | diff to current
2016-06-02 GuyMerge from proof branch blob | commitdiff | raw | diff to current
2016-06-02 GuyRevert "Merging proof branch" blob | commitdiff | raw
2016-06-02 GuyMerging proof branch blob | commitdiff | raw | diff to current