projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: dc23d70) | patch
Move variadic trie utility to its own file (#7410)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 20 Oct 2021 22:39:12 +0000 (17:39 -0500)
committerGitHub <noreply@github.com>
Wed, 20 Oct 2021 22:39:12 +0000 (22:39 +0000)
commitfae60561339d795eb532970b2b3b0e685d44d6cd
tree94719a4946e8e24f8bf9dfd9921fb27f1a5fe67ctree
parentdc23d706d8fa567d40b334dd89289595f5b0961acommit | diff
Move variadic trie utility to its own file (#7410)

Work towards a new internal fuzzing technique.

The new fuzzing technique leverages elements of the IJCAR 2020 paper on abduction, this moves https://github.com/cvc5/cvc5/blob/master/src/theory/quantifiers/sygus/cegis_core_connective.h#L44 to its own file. A followup PR will break this and further utility methods out of this file.
src/expr/CMakeLists.txt diff | blob | history
src/expr/variadic_trie.cpp [new file with mode: 0644] blob
src/expr/variadic_trie.h [new file with mode: 0644] blob