| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Move some environment methods from ValueState/ValueStateManager to ↵ | Ted Kremenek | 2008-07-10 | 1 | -8/+95 |
| | | | | | | | Environment/EnvironmentManager. llvm-svn: 53412 | ||||
| * | Initial work on splitting the ValueState into an Environment, Store, and | Ted Kremenek | 2008-07-08 | 1 | -0/+29 |
| Constraints. These concepts are already present in the current ValueState, but the implementation is monolothic. Making ValueState more modular opens up new design choices for customizing the analysis engine. In the context of the analysis engine, the "Environment" is the binding between Expr* (expressions) and intermediate symbolic values (RValues). llvm-svn: 53252 | |||||
 |
index : bcm5719-llvm | |
| Project Ortega BCM5719 LLVM | Raptor Computing Systems |
| summaryrefslogtreecommitdiffstats |
|