Age | Commit message (Expand) | Author |
---|---|---|
2008-03-07 | Renamed ValueManager to BasicValueFactory. | Ted Kremenek |
2008-03-06 | fix typos | Gabor Greif |
2008-03-05 | remove the source location arguments to various target query methods. | Chris Lattner |
2008-02-28 | Added checking for undefined results of '<<' and '>>' (shifting by too many b... | Ted Kremenek |
2008-02-19 | Added missing case in constant propagation logic for handling the Xor of | Ted Kremenek |
2008-02-16 | Further cleanup. Moved definitions for SymbolManager and ValueManager into | Ted Kremenek |