diff options
| author | Liana Hadarean <lianahady@gmail.com> | 2016-01-26 16:04:26 -0800 |
|---|---|---|
| committer | Liana Hadarean <lianahady@gmail.com> | 2016-01-26 16:04:26 -0800 |
| commit | 42b665f2a00643c81b42932fab1441987628c5a5 (patch) | |
| tree | aa851e1fc4828f5a4d94ce0c11fa6d2d1199636f /src/Makefile.am | |
| parent | 7006d5ba2f68c01638a2ab2c98a86b41dcf4467c (diff) | |
Merged bit-vector and uf proof branch.
Diffstat (limited to 'src/Makefile.am')
| -rw-r--r-- | src/Makefile.am | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/src/Makefile.am b/src/Makefile.am index ec6464cdb..c71caea51 100644 --- a/src/Makefile.am +++ b/src/Makefile.am @@ -78,13 +78,20 @@ libcvc4_la_SOURCES = \ printer/tptp/tptp_printer.cpp \ proof/proof.h \ proof/sat_proof.h \ - proof/sat_proof.cpp \ + proof/sat_proof_implementation.h \ proof/cnf_proof.h \ proof/cnf_proof.cpp \ proof/theory_proof.h \ proof/theory_proof.cpp \ + proof/uf_proof.h \ + proof/uf_proof.cpp \ + proof/array_proof.h \ + proof/bitvector_proof.h \ + proof/bitvector_proof.cpp \ proof/proof_manager.h \ proof/proof_manager.cpp \ + proof/proof_utils.h \ + proof/proof_utils.cpp \ proof/unsat_core.cpp \ proof/unsat_core.h \ prop/registrar.h \ |