]> granicus.if.org Git - clang/commit
projects / clang / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ec66ced) | patch
Moved the whole SMT API to a single file. NFC.
authorMikhail R. Gadelha <mikhail.ramalho@gmail.com>
Thu, 7 Feb 2019 03:18:21 +0000 (03:18 +0000)
committerMikhail R. Gadelha <mikhail.ramalho@gmail.com>
Thu, 7 Feb 2019 03:18:21 +0000 (03:18 +0000)
commit4a37267fb4d3b15a8a7465afe4ba5e8ae9e46902
tree9d4be1dd6dbe66ca529f5fbde7285f633fe5b9c5tree | snapshot
parentec66ced18a10e82a9e74eaff7273c20fe14c8fc5commit | diff
Moved the whole SMT API to a single file. NFC.

There is no advantage in having them in separate files, I doubt some will ever use them separately.

This also makes it easier to move the API to LLVM.

Differential Revision: https://reviews.llvm.org/D54977

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@353372 91177308-0d34-0410-b5e6-96231b3b80d8
include/clang/StaticAnalyzer/Core/PathSensitive/SMTAPI.h [moved from include/clang/StaticAnalyzer/Core/PathSensitive/SMTSolver.h with 76% similarity] diff | blob | history
include/clang/StaticAnalyzer/Core/PathSensitive/SMTConv.h diff | blob | history
include/clang/StaticAnalyzer/Core/PathSensitive/SMTExpr.h [deleted file] blob | history
include/clang/StaticAnalyzer/Core/PathSensitive/SMTSort.h [deleted file] blob | history
Unnamed repository; edit this file 'description' to name the repository.