projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bf040e8) | patch
Fix candidate rewrite utilities for non-first-class types (#2256)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Thu, 2 Aug 2018 19:54:37 +0000 (14:54 -0500)
committerGitHub <noreply@github.com>
Thu, 2 Aug 2018 19:54:37 +0000 (14:54 -0500)
commit493bf7a8619e5779604fb73aa6a0b7000a529d6a
tree22b48c59eb59b587da5b6f353568f056f9508ffdtree
parentbf040e895716b3f38a5ef92e3412e7615d96bc5fcommit | diff
Fix candidate rewrite utilities for non-first-class types (#2256)
src/theory/quantifiers/candidate_rewrite_filter.cpp diff | blob | history
src/theory/quantifiers/dynamic_rewrite.cpp diff | blob | history