projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d4f5508) | patch
Eliminate calls to currentResourceManager (#7350)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 12 Oct 2021 21:09:12 +0000 (16:09 -0500)
committerGitHub <noreply@github.com>
Tue, 12 Oct 2021 21:09:12 +0000 (21:09 +0000)
commitafd08bf3024c1f4c0d2fa8bcfc3a2cccab6f44ad
tree6ddcd7fd6ba44e979a269d92705bedc1841194f6tree
parentd4f5508ee07f5e9ec0de4721c5e2a784c0c06234commit | diff
Eliminate calls to currentResourceManager (#7350)

The remaining calls to smt::currentResourceManager are in the bitblasters, which should probably update to Env. FYI @mpreiner .
src/smt/env.cpp diff | blob | history
src/theory/bv/bv_solver_bitblast.cpp diff | blob | history
src/theory/rewriter.cpp diff | blob | history
src/theory/rewriter.h diff | blob | history
src/theory/rewriter_tables_template.h diff | blob | history
src/theory/theory_inference_manager.cpp diff | blob | history