Age | Commit message (Expand) | Author |
---|---|---|
2008-08-20 | Patch by Zhongxing Xu: | Ted Kremenek |
2008-08-20 | Patch by Zhongxing Xu: We should set back the modified ConstEq map. | Ted Kremenek |
2008-08-19 | Move store pretty-printing logic inside of StoreManager (previously in GRState). | Ted Kremenek |
2008-08-19 | Patch by Zhongxing Xu! | Ted Kremenek |
2008-08-17 | various updates to match r54873 on mainline. | Chris Lattner |
2008-08-17 | Migrate GRState::ConstEqTy (map used from tracking constants for symbols) to ... | Ted Kremenek |
2008-08-17 | Added GRStateTrait.h, which includes boilerplate code for creating specializa... | Ted Kremenek |
2008-08-16 | GRState: | Ted Kremenek |
2008-08-14 | Migrated retain/release checker to use the Generic Data Map in GRState (instead | Ted Kremenek |
2008-08-13 | Renamed GRState::CheckerStatePrinter to GRState::Printer. | Ted Kremenek |
2008-08-13 | Rename ValueState.h -> GRState.h | Ted Kremenek |