projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 70336ce) | patch
minor updates to exp manager, fixed 32bit vs 64bit issues in transitive closure modul...
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Mon, 2 May 2011 21:40:06 +0000 (21:40 +0000)
committerAndrew Reynolds <andrew.j.reynolds@gmail.com>
Mon, 2 May 2011 21:40:06 +0000 (21:40 +0000)
commitf04cbfc62ae22d00b1a37af29f86258a902770e4
tree6d7b5d2c4eabb7dc9ce60850d45b9ee2e74f908ftree
parent70336ce1430a857029e972942d1ba0d9019c7cb6commit | diff
minor updates to exp manager, fixed 32bit vs 64bit issues in transitive closure module, theory datatypes now uses transitive closure for cycle detection, bug 261 fixed
src/theory/datatypes/explanation_manager.cpp diff | blob | history
src/theory/datatypes/explanation_manager.h diff | blob | history
src/theory/datatypes/theory_datatypes.cpp diff | blob | history
src/theory/datatypes/theory_datatypes.h diff | blob | history
src/util/trans_closure.cpp diff | blob | history
src/util/trans_closure.h diff | blob | history