projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2a65b2f) | patch
Add trace for combination splits (#6862)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Mon, 12 Jul 2021 18:15:48 +0000 (13:15 -0500)
committerGitHub <noreply@github.com>
Mon, 12 Jul 2021 18:15:48 +0000 (18:15 +0000)
commite01ae3a87f4e1dc4b4511e8bd028d5c0838ccedc
treeb50f74ef3b362e8488b196d9740e49bbab55ce9ctree
parent2a65b2f3875f72d6596143e04ac5602c6f44711dcommit | diff
Add trace for combination splits (#6862)

Followup PRs will unify these with the lemmas / stats infrastructure in theory inference manager.
src/theory/combination_care_graph.cpp diff | blob | history
src/theory/inference_id.cpp diff | blob | history
src/theory/inference_id.h diff | blob | history
src/theory/shared_solver.cpp diff | blob | history
src/theory/shared_solver.h diff | blob | history