Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Renamed deterministic EvalBinOp to DetermEvalBinOpNN. This name mangling is ... | Ted Kremenek | 2008-07-18 | 1 | -1/+1 |
* | Created ValueStateSet class to manage the creation of multiple states by a me... | Ted Kremenek | 2008-07-18 | 1 | -11/+5 |
* | Begin major changes to EvalXXX methods in GRTransferFuncs. Currently some of... | Ted Kremenek | 2008-07-17 | 1 | -0/+15 |
* | Refactored most of the "Store" piece of ValueState into a Store type. The | Ted Kremenek | 2008-07-10 | 1 | -1/+1 |
* | Small tweaks to EvalStore: pass an "RVal" instead of "LVal" for the TargetLV to | Ted Kremenek | 2008-04-16 | 1 | -0/+20 |
* | Add missing file. | Ted Kremenek | 2008-04-16 | 1 | -0/+19 |