aboutsummaryrefslogtreecommitdiff
path: root/include/clang/Analysis/PathSensitive/BasicStore.h
AgeCommit message (Expand)Author
2008-08-28Remove BasicStore.h (migrated function prototype for CreateBasicStore() to St...Ted Kremenek
2008-08-28Make store "Regions" and "Bindings" more abstract instead of concrete variants.Ted Kremenek
2008-08-27Refactor Assume logic into a separate class ConstraintManager.Zhongxing Xu
2008-08-25Added 'extents' for Regions.Ted Kremenek
2008-07-10Refactored most of the "Store" piece of ValueState into a Store type. TheTed Kremenek