projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2d6de44) | patch
Add InferenceIds for theory of arrays (#5910)
authorGereon Kremer <gkremer@stanford.edu>
Wed, 17 Feb 2021 14:39:42 +0000 (15:39 +0100)
committerGitHub <noreply@github.com>
Wed, 17 Feb 2021 14:39:42 +0000 (15:39 +0100)
commitfb5e3113312322c21a00062b22c358c30fa27101
treee3809bd67d9f897f5d99b90a8c514acad6ff1976tree
parent2d6de44a51fed47a625ae73181efbcc3dac0c751commit | diff
Add InferenceIds for theory of arrays (#5910)

This PR introduces new InferenceIds for the theory of arrays and uses them instead of InferenceId::UNKNOWN.
src/theory/arrays/inference_manager.cpp diff | blob | history
src/theory/arrays/inference_manager.h 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