Age | Commit message (Expand) | Author |
---|---|---|
2010-01-25 | Split libAnalysis into two libraries: libAnalysis and libChecker. | Ted Kremenek |
2009-09-09 | Remove tabs, and whitespace cleanups. | Mike Stump |
2008-02-13 | Renamed class GREngine => GRCoreEngine. | Ted Kremenek |
2008-02-12 | Added GRBlockCounter class, which tracks the number of times blocks | Ted Kremenek |