projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a649c2f) | patch
Refactoring quantifier annotation kinds, add kinds in preparation for pool-based...
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 30 Mar 2021 14:28:55 +0000 (09:28 -0500)
committerGitHub <noreply@github.com>
Tue, 30 Mar 2021 14:28:55 +0000 (14:28 +0000)
commit05db3e9511c1c485b27a8e3467bcae74659dfd9a
treeedf809ce93c5538c1d7e855ca4bd153b03a96ecdtree
parenta649c2f95ee929a6d922b9f44cadb4f909b5da6bcommit | diff
Refactoring quantifier annotation kinds, add kinds in preparation for pool-based instantiation (#6234)

This is in preparation for a new pool-based instantiation technique.
src/theory/quantifiers/kinds diff | blob | history
src/theory/quantifiers/theory_quantifiers_type_rules.h diff | blob | history