projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4044955) | patch
refactoring to datatypes theory, added working prototype for proof/explanation manager
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Fri, 29 Apr 2011 22:03:59 +0000 (22:03 +0000)
committerAndrew Reynolds <andrew.j.reynolds@gmail.com>
Fri, 29 Apr 2011 22:03:59 +0000 (22:03 +0000)
commit89b0369e887b4cf876e95dc862ae3057383370f3
treefc77f2220ed0b4d9bd42a8fccf42159230da21actree
parent40449557777db2d1170cb86274f83b431b5fef04commit | diff
refactoring to datatypes theory, added working prototype for proof/explanation manager
src/theory/datatypes/Makefile.am diff | blob | history
src/theory/datatypes/explanation_manager.cpp [new file with mode: 0644] blob
src/theory/datatypes/explanation_manager.h [new file with mode: 0644] blob
src/theory/datatypes/theory_datatypes.cpp diff | blob | history
src/theory/datatypes/theory_datatypes.h diff | blob | history