projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bd3a860) | patch
Compute care graph for datatypes. Preliminary results show 20x speed up on larger...
authorAndrew Reynolds <reynolds@larapc05.epfl.ch>
Thu, 24 Apr 2014 12:27:38 +0000 (14:27 +0200)
committerAndrew Reynolds <reynolds@larapc05.epfl.ch>
Thu, 24 Apr 2014 12:27:38 +0000 (14:27 +0200)
commitd132321d74b65b293ffac4bc8c6f0d8db73614d6
tree3456cedd5f2d6e3aedd45ac252a95db4bc5b147ftree
parentbd3a86055008e692ac4e5e6fa5dfce9e78660d8acommit | diff
Compute care graph for datatypes.  Preliminary results show 20x speed up on larger problems.  Improve datatypes rewriter.
src/theory/datatypes/datatypes_rewriter.h diff | blob | history
src/theory/datatypes/theory_datatypes.cpp diff | blob | history
src/theory/datatypes/theory_datatypes.h diff | blob | history