diff options
| author | Mikhail R. Gadelha <mikhail.ramalho@gmail.com> | 2018-07-25 12:49:37 +0000 |
|---|---|---|
| committer | Mikhail R. Gadelha <mikhail.ramalho@gmail.com> | 2018-07-25 12:49:37 +0000 |
| commit | 8628e2cd54f11a55155805e575f5378b6b231534 (patch) | |
| tree | 40430f46244b19fd958ccd5d03a6bd3af5f27c99 /libcxx/docs/DesignDocs | |
| parent | c7f89ad69d78425ebcc41dbbb93f52dc7b1b5546 (diff) | |
| download | bcm5719-llvm-8628e2cd54f11a55155805e575f5378b6b231534.tar.gz bcm5719-llvm-8628e2cd54f11a55155805e575f5378b6b231534.zip | |
[analyzer] Moved code from SMTConstraintManager to SMTSolver
Summary:
This is the second part of D49668, and moves all the code that's not specific to a ConstraintManager to SMTSolver.
No functional change intended.
Reviewers: NoQ, george.karpenkov
Reviewed By: george.karpenkov
Subscribers: xazax.hun, szepet, a.sidorin
Differential Revision: https://reviews.llvm.org/D49767
llvm-svn: 337921
Diffstat (limited to 'libcxx/docs/DesignDocs')
0 files changed, 0 insertions, 0 deletions
