projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2dadba5) | patch
Initial draft of TheoryUF. Should compile without problems. A decent amount of functi...
authorTim King <taking@cs.nyu.edu>
Wed, 17 Feb 2010 21:29:57 +0000 (21:29 +0000)
committerTim King <taking@cs.nyu.edu>
Wed, 17 Feb 2010 21:29:57 +0000 (21:29 +0000)
commit21e0c5dd0de5edef8ec12f48b76887109b67db52
tree61925a690688577e8cf96072a1afb75ede17f35dtree
parent2dadba52dd55084bbec52b3b338add5f8be77c13commit | diff
Initial draft of TheoryUF. Should compile without problems. A decent amount of functionality is stubbed out. Still needs a bit of cleanup.
src/context/context.h diff | blob | history
src/theory/theory.h diff | blob | history
src/theory/uf/Makefile.am diff | blob | history
src/theory/uf/ecdata.cpp [new file with mode: 0644] blob
src/theory/uf/ecdata.h [new file with mode: 0644] blob
src/theory/uf/theory_uf.cpp [new file with mode: 0644] blob
src/theory/uf/theory_uf.h [new file with mode: 0644] blob