projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cd5cc65) | patch
Removed the theory-specific merge reason types. Instead, added a mechanism for dynami...
authorGuy <katz911@gmail.com>
Sun, 3 Apr 2016 22:58:58 +0000 (15:58 -0700)
committerGuy <katz911@gmail.com>
Sun, 3 Apr 2016 22:58:58 +0000 (15:58 -0700)
commit29df9622b570ce843756e05a3ef248de04d2a5c3
tree6577c5eec908571f2ee0fb262c12b3612f0c3118tree
parentcd5cc65fed2c850100a6f00067d102b48d262742commit | diff
Removed the theory-specific merge reason types. Instead, added a mechanism for dynamically allocating these tags upon request.
src/proof/array_proof.cpp diff | blob | history
src/proof/array_proof.h diff | blob | history
src/proof/uf_proof.cpp diff | blob | history
src/theory/arrays/array_proof_reconstruction.cpp diff | blob | history
src/theory/arrays/array_proof_reconstruction.h diff | blob | history
src/theory/arrays/theory_arrays.cpp diff | blob | history
src/theory/arrays/theory_arrays.h diff | blob | history
src/theory/uf/equality_engine.cpp diff | blob | history
src/theory/uf/equality_engine.h diff | blob | history
src/theory/uf/equality_engine_types.h diff | blob | history