projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0bd5ef3) | patch
Document UF inferences (#5917)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Thu, 18 Feb 2021 07:21:38 +0000 (01:21 -0600)
committerGitHub <noreply@github.com>
Thu, 18 Feb 2021 07:21:38 +0000 (08:21 +0100)
commitc6210af1db67701495efa263207b91064a3bcd0b
tree80b1efa53e0bdac9f7f690e9bb011eace558521ftree
parent0bd5ef36d2b773912c3049f8f3fed62eaf0fa68bcommit | diff
Document UF inferences (#5917)

Document UF entries of InferenceId enum.
src/theory/inference_id.h diff | blob | history