 Jonas Devlieghere
|
49a6b09101
[Clang] Migrate llvm::make_unique to std::make_unique
|
6 vuotta sitten |
 Mikhail R. Gadelha
|
698feb0c19
Moved everything SMT-related to LLVM and updated the cmake scripts.
|
6 vuotta sitten |
|
Mikhail R. Gadelha
|
7b7f1a3de9
This reverts commit 1440a848a635849b97f7a5cfa0ecc40d37451f5b.
|
6 vuotta sitten |
|
Mikhail R. Gadelha
|
1684ef0300
Move the SMT API to LLVM
|
6 vuotta sitten |
|
Mikhail R. Gadelha
|
420fb7b516
[analyzer] Templatefy SMTConstraintManager so more generic code can be moved from solver specific implementations. NFC.
|
7 vuotta sitten |
|
Mikhail R. Gadelha
|
21c05575c3
[analyzer] Update SMT API documentation and methods
|
7 vuotta sitten |
|
Mikhail R. Gadelha
|
7179078a7a
[analyzer] Removed API used by the Refutation Manager from SMTConstraintManager and replace by proper calls to SMTSolver
|
7 vuotta sitten |
|
Mikhail R. Gadelha
|
375087785c
[analyzer] Moved code from SMTConstraintManager to SMTSolver
|
7 vuotta sitten |
|
Mikhail R. Gadelha
|
45c38892c8
[analyzer] Moved non solver specific code from Z3ConstraintManager to SMTConstraintManager
|
7 vuotta sitten |
