projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2c12b0b) | patch
Fix single invocation partition for non-function non-atomic types (#3642)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 22 Jan 2020 21:27:46 +0000 (15:27 -0600)
committerGitHub <noreply@github.com>
Wed, 22 Jan 2020 21:27:46 +0000 (15:27 -0600)
commitac0bbd54de6e2b95514400c8f502aea95e5346c4
tree2219bb9cfbc2e5776a0ee50485099c2f55725be3tree
parent2c12b0b23f0d3e745e679d76d18ede9d8bbf6d3acommit | diff
Fix single invocation partition for non-function non-atomic types (#3642)
src/theory/quantifiers/single_inv_partition.cpp diff | blob | history
test/regress/CMakeLists.txt diff | blob | history
test/regress/regress1/sygus/issue3635.smt2 [new file with mode: 0644] blob