projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1ee2758) | patch
Simplify `Scope` (#8307)
authorAndres Noetzli <andres.noetzli@gmail.com>
Tue, 15 Mar 2022 16:07:44 +0000 (09:07 -0700)
committerGitHub <noreply@github.com>
Tue, 15 Mar 2022 16:07:44 +0000 (11:07 -0500)
commitd06252d48a7aa284b98a683488d6f4fcd3787f71
tree87d4ec79c6eaf6de0025791f462ec9c9edf572aatree
parent1ee275804ae31dbd13b67aaab01e757ec115c177commit | diff
Simplify `Scope` (#8307)

Previously, we were using an std::unique_ptr<std::vector<ContextObj*>>
to store the list of ContextObjs to be garbage collected before the
destruction of the Scope. Lazily allocating that vector is a
micro-optimization that is not worth the trouble.
src/context/context.cpp diff | blob | history
src/context/context.h diff | blob | history