Age | Commit message (Expand) | Author |
---|---|---|
2010-02-04 | Cast evaluation no longer touch GRState. | Zhongxing Xu |
2010-02-04 | Remove stray typo. | Ted Kremenek |
2010-02-04 | Now that CastRetrievedVal returns SVal, there is no need to use CastResult. | Zhongxing Xu |
2010-02-03 | Fix regression in RegionStore due to recent changes in | Ted Kremenek |
2010-02-03 | Rework RegionStoreManager's implementation of InvalidateRegions() to | Ted Kremenek |
2010-02-02 | Remove RegionStoreSubRegionMap::iterator and RegionStoreSubRegionMap::begin_e... | Ted Kremenek |
2010-01-27 | Add missing call to Optional<...>.getValue() that was pointed out by Chandler. | Ted Kremenek |
2010-01-26 | Teach RegionStore to handle initialization of incomplete arrays in structures... | Ted Kremenek |
2010-01-25 | Split libAnalysis into two libraries: libAnalysis and libChecker. | Ted Kremenek |