aboutsummaryrefslogtreecommitdiff
path: root/include/clang/Analysis/PathSensitive/GRWorkList.h
AgeCommit message (Expand)Author
2010-01-25Split libAnalysis into two libraries: libAnalysis and libChecker.Ted Kremenek
2009-11-17Add a comment.Zhongxing Xu
2009-11-15Make a couple more headers standaloneDouglas Gregor
2009-09-09Remove tabs, and whitespace cleanups.Mike Stump
2009-08-06As GRState seems general enough, it is time to merge some template classes Zhongxing Xu
2009-05-01Add a new BFS GRWorkList and make it the default worklist model forTed Kremenek
2008-12-16Add new GRWorkList class that uses two queues:Ted Kremenek
2008-09-02Fit the comments into 80 columns.Zhongxing Xu
2008-08-17Added GRStateTrait.h, which includes boilerplate code for creating specializa...Ted Kremenek
2008-02-13Renamed class GREngine => GRCoreEngine.Ted Kremenek
2008-02-12Added GRBlockCounter class, which tracks the number of times blocksTed Kremenek
2008-01-16Hooked up the GRConstants analysis to the driver.Ted Kremenek
2008-01-14Added prototype implementation of path-sens. analysis core engine.Ted Kremenek