projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d35d44f) | patch
Evaluate cast-to-real operator (#7599)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Mon, 8 Nov 2021 18:57:12 +0000 (12:57 -0600)
committerGitHub <noreply@github.com>
Mon, 8 Nov 2021 18:57:12 +0000 (18:57 +0000)
commit20d8fe633c1f113dceade2df232a35db03e6288c
tree3b94067506f0cb0d006dc9ec79319886d6206fa6tree
parentd35d44fc3243a31f1429689c09360a3aa70c0baecommit | diff
Evaluate cast-to-real operator (#7599)

Fixes cvc5/cvc5-projects#341.
src/theory/evaluator.cpp diff | blob | history