projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d195582) | patch
Eliminate static options accesses in sygus (#8943)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Sat, 9 Jul 2022 04:49:19 +0000 (23:49 -0500)
committerGitHub <noreply@github.com>
Sat, 9 Jul 2022 04:49:19 +0000 (04:49 +0000)
commitd568dc52302e731bfea7f580862fc11bde76c1bf
treea987982cc3413935cf635f9707c0d2bafb54b7d6tree
parentd195582dc55d8cd61cd3151c7a18823eb5620fdccommit | diff
Eliminate static options accesses in sygus (#8943)

Towards eliminating option scopes.

Also simplifies and corrects an issue in default Boolean grammar construction where included/excluded constructors were ignored.
src/theory/quantifiers/sygus/enum_value_manager.cpp diff | blob | history
src/theory/quantifiers/sygus/sygus_enumerator.cpp diff | blob | history
src/theory/quantifiers/sygus/sygus_enumerator.h diff | blob | history
src/theory/quantifiers/sygus/sygus_grammar_cons.cpp diff | blob | history
src/theory/quantifiers/sygus/sygus_grammar_cons.h diff | blob | history
src/theory/quantifiers/sygus/sygus_interpol.cpp diff | blob | history
src/theory/quantifiers/sygus/sygus_unif_rl.cpp diff | blob | history
src/theory/quantifiers/sygus/sygus_unif_rl.h diff | blob | history
src/theory/quantifiers/sygus_inst.cpp diff | blob | history