projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7e72965) | patch
fixed TC inference from graph constructed from a relation and the null
authorPaul Meng <baolmeng@gmail.com>
Tue, 30 Aug 2016 15:27:11 +0000 (10:27 -0500)
committerPaul Meng <baolmeng@gmail.com>
Tue, 30 Aug 2016 15:27:11 +0000 (10:27 -0500)
commita8c8cd08b67ddf713e970ede992a1de4dc1c4288
tree845c4de0691727d6d1ecdfa63695ae8e8d37998dtree
parent7e729654a5f145d71605a36a467fe8b4f8788639commit | diff
fixed TC inference from graph constructed from a relation and the null
issue with TC explanation
src/theory/sets/theory_sets_rels.cpp diff | blob | history