projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2f716d8) | patch
Optimizations for datatypes theory. There seems to be a bug in trans_closure, curren...
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 8 Oct 2013 14:01:13 +0000 (09:01 -0500)
committerAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 8 Oct 2013 14:01:13 +0000 (09:01 -0500)
commit59c96a073e34f51b415863ece51c3242c953acc4
tree824b066a607ebd351ff223a38790431c17719049tree
parent2f716d8e5eaf4a75c2cf2e431b96ac1f3c9b8a5fcommit | diff
Optimizations for datatypes theory.  There seems to be a bug in trans_closure, currently implemented a work around.
src/theory/datatypes/theory_datatypes.cpp diff | blob | history
src/theory/datatypes/theory_datatypes.h diff | blob | history
src/util/datatype.cpp diff | blob | history
src/util/datatype.h diff | blob | history
src/util/trans_closure.cpp diff | blob | history
src/util/trans_closure.h diff | blob | history