Google Git
Sign in
llvm / llvm-project / llvm / b2bdcc05fb17a17e63cbb78e7e1147d647c27877 / lib / Support / Z3Solver.cpp
  1. 9361829 [analyzer] Fix crash exposed by D140059 by einvbri · 2 years, 4 months ago
  2. 2bddc0b [Support] llvm::Optional => std::optional by Fangrui Song · 2 years, 6 months ago
  3. 0891e50 [llvm] Use std::nullopt instead of llvm::None (NFC) by Kazu Hirata · 2 years, 6 months ago
  4. 3a3f1fe Return None instead of Optional<T>() (NFC) by Kazu Hirata · 2 years, 6 months ago
  5. 7958437 [analyzer] Fix include typo introduced by e61a1a9 by Balazs Benics · 3 years, 3 months ago
  6. 4ee42d9 Conditional include of missing headers under Z3 by serge-sans-paille · 3 years, 3 months ago
  7. 8f44752 Conditional include of Twine.h under Z3 by serge-sans-paille · 3 years, 3 months ago
  8. b9cf986 Cleanup include: TableGen by serge-sans-paille · 3 years, 3 months ago
  9. 2c42560 [llvm][Z3][NFC] Improve mkBitvector performance by Balazs Benics · 5 years ago
  10. d72ea08 Fix Z3 function calls regarding arithmetic operations by Gabor Marton · 5 years ago
  11. 77ff406 [llvm] Migrate llvm::make_unique to std::make_unique by Jonas Devlieghere · 6 years ago
  12. cb02b1e New methods to check for under-/overflow in the SMT API by Mikhail R. Gadelha · 6 years ago
  13. 8c0b1e4 Moved body of methods dump to .cpp file to fix compilation when modules by Mikhail R. Gadelha · 6 years ago
  14. 4b7aa2a Moved everything SMT-related to LLVM and updated the cmake scripts. by Mikhail R. Gadelha · 6 years ago
  15. 03c850e This reverts commit 1440a848a635849b97f7a5cfa0ecc40d37451f5b. by Mikhail R. Gadelha · 6 years ago
  16. 00981bb Move SMTSolver dump() methods out-of-line. by Adrian Prantl · 6 years ago
  17. f5ffd0a Move the SMT API to LLVM by Mikhail R. Gadelha · 6 years ago