| Age | Commit message (Expand) | Author | Files | Lines |
|---|---|---|---|---|
| 2019-08-15 | [llvm] Migrate llvm::make_unique to std::make_unique | Jonas Devlieghere | 1 | -1/+1 |
| 2019-03-27 | New methods to check for under-/overflow in the SMT API | Mikhail R. Gadelha | 1 | -0/+70 |
| 2019-03-26 | Moved body of methods dump to .cpp file to fix compilation when modules | Mikhail R. Gadelha | 1 | -0/+4 |
| 2019-03-25 | Moved everything SMT-related to LLVM and updated the cmake scripts. | Mikhail R. Gadelha | 1 | -0/+826 |
| 2019-02-09 | This reverts commit 1440a848a635849b97f7a5cfa0ecc40d37451f5b. | Mikhail R. Gadelha | 1 | -832/+0 |
| 2019-02-07 | Move SMTSolver dump() methods out-of-line. | Adrian Prantl | 1 | -0/+6 |
| 2019-02-07 | Move the SMT API to LLVM | Mikhail R. Gadelha | 1 | -0/+826 |
 |
index : riscv-gnu-toolchain/llvm.git | |
| Unnamed repository; edit this file 'description' to name the repository. | root |
| aboutsummaryrefslogtreecommitdiff |