| Age | Commit message (Expand) | Author |
|---|---|---|
| 2012-10-18 | Nice patch by Hristina Palikareva that removes the dependency on STP | Cristian Cadar |
| 2012-07-31 | Patch by Dan Liew that removes our internal copy of STP, and makes the --with... | Cristian Cadar |
| 2012-03-26 | STPBuilder: fix getShiftBits properly. | Peter Collingbourne |
| 2012-03-26 | STPBuilder: fix bv{Zero,One,MinusOne} for the case where width>64 | Peter Collingbourne |
| 2011-12-13 | Fix STPBuilder::getShiftBits for non-power-of-2 bitwidths up to 64. | Peter Collingbourne |
| 2010-07-14 | Add option to use an external version of STP | Peter Collingbourne |
| 2010-04-05 | STP: Switch build to using LLVM style Makefiles. | Daniel Dunbar |
| 2009-05-21 | Initial KLEE checkin. | Daniel Dunbar |
 |
index : ci/llvm-monorepo.git | |
| [no description] |
| summaryrefslogtreecommitdiff |