Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Added "getBindings" and "BindingAsString" to GRStateManager and StoreManager. | Ted Kremenek | 2008-08-29 | 1 | -0/+34 |
* | Remove BasicStore.h (migrated function prototype for CreateBasicStore() to St... | Ted Kremenek | 2008-08-28 | 1 | -1/+0 |
* | Make store "Regions" and "Bindings" more abstract instead of concrete variants. | Ted Kremenek | 2008-08-28 | 1 | -12/+22 |
* | Added 'extents' for Regions. | Ted Kremenek | 2008-08-25 | 1 | -26/+17 |
* | Simplify interface to Store::AddDecl | Ted Kremenek | 2008-08-23 | 1 | -5/+9 |
* | Move the handling of DeclStmt from GRExprEngine to BasicStoreManager. | Zhongxing Xu | 2008-08-21 | 1 | -1/+68 |
* | Move store pretty-printing logic inside of StoreManager (previously in GRState). | Ted Kremenek | 2008-08-19 | 1 | -1/+22 |
* | Patch by Zhongxing Xu! | Ted Kremenek | 2008-08-19 | 1 | -3/+37 |
* | Moved RemoveDeadBindings logic for the contents of 'Store' to a virtual Remov... | Ted Kremenek | 2008-07-17 | 1 | -17/+78 |
* | Refactored most of the "Store" piece of ValueState into a Store type. The | Ted Kremenek | 2008-07-10 | 1 | -0/+141 |