projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f52cd17) | patch
Use InferenceId in sep theory. (#5912)
authorGereon Kremer <gkremer@stanford.edu>
Wed, 17 Feb 2021 15:50:15 +0000 (16:50 +0100)
committerGitHub <noreply@github.com>
Wed, 17 Feb 2021 15:50:15 +0000 (16:50 +0100)
commitbdc1b222fbc674ab1f8a48fad9f78759c3baea23
tree70bee6724c49f351fb31cd9cfe6b1fa196654ba1tree
parentf52cd17ba0f9c455db1d45341ba39f04b319e621commit | diff
Use InferenceId in sep theory. (#5912)

This PR uses the new InferenceIds in the separation logic theory.
src/theory/inference_id.cpp diff | blob | history
src/theory/inference_id.h diff | blob | history
src/theory/sep/theory_sep.cpp diff | blob | history
src/theory/sep/theory_sep.h diff | blob | history