projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0be62ee) | patch
Moving the theory::Assertion struct into its own file.
authorTim King <taking@google.com>
Mon, 27 Mar 2017 16:40:30 +0000 (09:40 -0700)
committerTim King <taking@google.com>
Mon, 27 Mar 2017 16:40:30 +0000 (09:40 -0700)
commit7b89724488085d7eed3e37520ca11d8cd1e18120
tree0d04fdd6a44fb2b32dac3971fb8cee68a291fd08tree
parent0be62eeea95eaf27913e792c17dd79afb96b16cbcommit | diff
Moving the theory::Assertion struct into its own file.
src/Makefile.am diff | blob | history
src/theory/assertion.cpp [new file with mode: 0644] blob
src/theory/assertion.h [new file with mode: 0644] blob
src/theory/theory.h diff | blob | history