projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ff5ecff) | patch
Add more missing inference ids (#6313)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 19 May 2021 18:39:59 +0000 (13:39 -0500)
committerGitHub <noreply@github.com>
Wed, 19 May 2021 18:39:59 +0000 (13:39 -0500)
commit9bbf41fb6cb5a33cfbfc3a711b82a4783a61b66f
tree9337382be7bb228871fd1a98580a2a76d5233391tree
parentff5ecff78ade286f2836c6fa76b6c502fa8f3c3bcommit | diff
Add more missing inference ids (#6313)

This also makes the relations solver use the inference manager in the standard way.
src/theory/arith/theory_arith_private.cpp diff | blob | history
src/theory/fp/theory_fp.cpp diff | blob | history
src/theory/fp/theory_fp.h diff | blob | history
src/theory/inference_id.cpp diff | blob | history
src/theory/inference_id.h diff | blob | history
src/theory/sets/theory_sets_rels.cpp diff | blob | history
src/theory/sets/theory_sets_rels.h diff | blob | history