Age | Commit message (Expand) | Author |
---|---|---|
2008-08-28 | Remove BasicStore.h (migrated function prototype for CreateBasicStore() to St... | Ted Kremenek |
2008-08-28 | Make store "Regions" and "Bindings" more abstract instead of concrete variants. | Ted Kremenek |
2008-08-27 | Refactor Assume logic into a separate class ConstraintManager. | Zhongxing Xu |
2008-08-25 | Added 'extents' for Regions. | Ted Kremenek |
2008-07-10 | Refactored most of the "Store" piece of ValueState into a Store type. The | Ted Kremenek |