Age | Commit message (Expand) | Author |
---|---|---|
2009-05-01 | Add a new BFS GRWorkList and make it the default worklist model for | Ted Kremenek |
2008-12-16 | Add new GRWorkList class that uses two queues: | Ted Kremenek |
2008-09-02 | Fit the comments into 80 columns. | Zhongxing Xu |
2008-08-17 | Added GRStateTrait.h, which includes boilerplate code for creating specializa... | Ted Kremenek |
2008-02-13 | Renamed class GREngine => GRCoreEngine. | Ted Kremenek |
2008-02-12 | Added GRBlockCounter class, which tracks the number of times blocks | Ted Kremenek |
2008-01-16 | Hooked up the GRConstants analysis to the driver. | Ted Kremenek |
2008-01-14 | Added prototype implementation of path-sens. analysis core engine. | Ted Kremenek |