projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5f89c68) | patch
Add missing inference identifiers (#6962)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 4 Aug 2021 16:32:48 +0000 (11:32 -0500)
committerGitHub <noreply@github.com>
Wed, 4 Aug 2021 16:32:48 +0000 (16:32 +0000)
commitd78327addb22d1bb31836281235e988e45878fda
treed336be153c0403d3d2755b7030e31bd4ba26242atree
parent5f89c684f95f16bdb5953fc543a36115093f1982commit | diff
Add missing inference identifiers (#6962)

The only remaining unknown inferences covered by our regressions are from the sygus solver, will address in later PR.
src/theory/arith/theory_arith_private.cpp diff | blob | history
src/theory/arrays/theory_arrays.cpp diff | blob | history
src/theory/inference_id.cpp diff | blob | history
src/theory/inference_id.h diff | blob | history
src/theory/quantifiers/conjecture_generator.cpp diff | blob | history
src/theory/quantifiers/ematching/trigger.cpp diff | blob | history
src/theory/quantifiers/sygus/cegis_unif.cpp diff | blob | history
src/theory/quantifiers/term_database.cpp diff | blob | history
src/theory/sets/cardinality_extension.cpp diff | blob | history
src/theory/sets/theory_sets_rels.cpp diff | blob | history