projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 59cb18f) | patch
Minor cleanup related to EnvObj (#7206)
authorGereon Kremer <nafur42@gmail.com>
Fri, 17 Sep 2021 18:03:37 +0000 (20:03 +0200)
committerGitHub <noreply@github.com>
Fri, 17 Sep 2021 18:03:37 +0000 (13:03 -0500)
commitd4544c5484e85ae75387124c3826531474e15c26
tree5fa519250548193764fc77542e30e90151ef3876tree
parent59cb18f291e5c3a583f8e8b8b5820ea393bd40edcommit | diff
Minor cleanup related to EnvObj (#7206)

This PR does a bit of cleanup in the nonlinear arithmetic code related to the usage of EnvObj.
src/theory/arith/nl/cad/cdcac.cpp diff | blob | history
src/theory/arith/theory_arith_private.h diff | blob | history