projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: dc8df0a) | patch
Robust check to avoid store all instantiations. Fix prior commit for sort inference.
authorajreynol <andrew.j.reynolds@gmail.com>
Sat, 13 Jun 2015 21:45:11 +0000 (23:45 +0200)
committerajreynol <andrew.j.reynolds@gmail.com>
Sat, 13 Jun 2015 21:45:17 +0000 (23:45 +0200)
commit16955c76a25a8030dc24840e74d0ab24d54f0a35
treee9403d9cbe105e164971993c16023a87ea4cadcctree
parentdc8df0a8c79098c34c96c3722ed5b5269e5f6c78commit | diff
Robust check to avoid store all instantiations. Fix prior commit for sort inference.
src/theory/rep_set.cpp diff | blob | history
src/util/sort_inference.cpp diff | blob | history