projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8777689) | patch
Make expression mining use configurable options and logic (#7426)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Fri, 22 Oct 2021 00:04:21 +0000 (19:04 -0500)
committerGitHub <noreply@github.com>
Fri, 22 Oct 2021 00:04:21 +0000 (00:04 +0000)
commit738f38bf6b5f2cf6a5812c056ae6f771bffb42e6
tree144fc194b24ac8cb2a1b0133dbaf7cd3573281bftree
parent877768903c3b17b88cd27a85995c94d2ada24660commit | diff
Make expression mining use configurable options and logic (#7426)

Required for doing options-specific internal fuzzing using SyGuS.
src/theory/quantifiers/expr_miner.cpp diff | blob | history
src/theory/quantifiers/expr_miner.h diff | blob | history