summaryrefslogtreecommitdiff
path: root/llvm/lib/Support/Z3Solver.cpp
AgeCommit message (Expand)Author
2025-07-03[analyzer] Correct Z3 test cases, fix exposed crashes (#146597)vabridgers
2025-06-04[Support] Restore a couple of includesKazu Hirata
2025-06-04[llvm] Remove unused includes (NFC) (#142733)Kazu Hirata
2025-05-14[llvm] properly guard dump methods in Support lib classes (#139938)Andrew Rogers
2025-05-14Revert "[llvm] properly guard dump methods in Support lib classes" (#139927)Andrew Rogers
2025-05-14[llvm] properly guard dump methods in Support lib classes (#139804)Andrew Rogers
2024-08-29[analyzer] Add missing include <unordered_map> to llvm/lib/Support/Z3Solver.c...Luke Shingles
2024-07-01Reland "[analyzer][NFC] Reorganize Z3 report refutation" (#97265)Balazs Benics
2024-06-18[analyzer] Revert Z3 changes (#95916)Balazs Benics
2024-06-18[analyzer][NFC] Reorganize Z3 report refutationBalazs Benics
2023-01-26[analyzer] Fix crash exposed by D140059einvbri
2022-12-16[Support] llvm::Optional => std::optionalFangrui Song
2022-12-05[llvm] Use std::nullopt instead of llvm::None (NFC)Kazu Hirata
2022-11-21Return None instead of Optional<T>() (NFC)Kazu Hirata
2022-03-11[analyzer] Fix include typo introduced by e61a1a9Balazs Benics
2022-03-11Conditional include of missing headers under Z3serge-sans-paille
2022-03-11Conditional include of Twine.h under Z3serge-sans-paille
2022-03-11Cleanup include: TableGenserge-sans-paille
2020-06-30[llvm][Z3][NFC] Improve mkBitvector performanceBalazs Benics
2020-05-14Fix Z3 function calls regarding arithmetic operationsGabor Marton
2019-08-15[llvm] Migrate llvm::make_unique to std::make_uniqueJonas Devlieghere
2019-03-27New methods to check for under-/overflow in the SMT APIMikhail R. Gadelha
2019-03-26Moved body of methods dump to .cpp file to fix compilation when modulesMikhail R. Gadelha
2019-03-25Moved everything SMT-related to LLVM and updated the cmake scripts.Mikhail R. Gadelha
2019-02-09This reverts commit 1440a848a635849b97f7a5cfa0ecc40d37451f5b.Mikhail R. Gadelha
2019-02-07Move SMTSolver dump() methods out-of-line.Adrian Prantl
2019-02-07Move the SMT API to LLVMMikhail R. Gadelha
generated by cgit v1.2.3 (git 2.25.1) at 2026-10-24 05:15:58 +0000