projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 527fb3c) | patch
Simplify storing of transcendental function applications that occur in assertions...
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Thu, 13 Sep 2018 17:18:12 +0000 (12:18 -0500)
committerGitHub <noreply@github.com>
Thu, 13 Sep 2018 17:18:12 +0000 (12:18 -0500)
commit466b45c52d83cf19caef2c1eee6e7c5fd2ecb1bc
tree1af3b4f644850bcf666debcb3f4c6caa22e88f63tree
parent527fb3c6c00ba1516f85e6e024d71d5c6ffba93bcommit | diff
Simplify storing of transcendental function applications that occur in assertions (#2458)
src/theory/arith/nonlinear_extension.cpp diff | blob | history
src/theory/arith/nonlinear_extension.h diff | blob | history