projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9c00db9) | patch
Do not use transitive closure module for cycle detection in datatypes (was bottleneck).
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 4 Feb 2014 16:03:25 +0000 (10:03 -0600)
committerAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 4 Feb 2014 16:03:25 +0000 (10:03 -0600)
commit0ca6b72fa4546f81949fe08f3d8a0eb9251dc7c9
tree71d341cddbad77b4b28e3e66bb3d1f2cea6a00d2tree
parent9c00db91190ce2956efee1c721e6a1f8707a57b1commit | diff
Do not use transitive closure module for cycle detection in datatypes (was bottleneck).
src/theory/datatypes/theory_datatypes.cpp diff | blob | history
src/theory/datatypes/theory_datatypes.h diff | blob | history