projects / cvc5.git / commit
| author | Guy <katz911@gmail.com> | |
| Thu, 30 Jun 2016 19:38:56 +0000 (12:38 -0700) | ||
| committer | Guy <katz911@gmail.com> | |
| Thu, 30 Jun 2016 19:38:56 +0000 (12:38 -0700) | ||
| commit | 42eed1a8f72d4a5b9ac384100b42f7b0c8b46729 | |
| tree | 8a6da332537f17ed9917a4fffa58eb33f4c1c7f5 | tree |
| parent | c167446c59939a56f10f853e7d33a92fc16df460 | commit | diff |
| src/proof/proof_manager.cpp | diff | blob | history | |
| src/proof/theory_proof.cpp | diff | blob | history |