Age | Commit message (Expand) | Author |
---|---|---|
2009-09-09 | Remove tabs, and whitespace cleanups. | Mike Stump |
2009-07-16 | Move the source-level CFG from libAST to libAnalysis. | Ted Kremenek |
2008-01-17 | Modified the notion of "Block-level expressions" in CFGs to include Stmt*. This | Ted Kremenek |
2008-01-17 | Added support to dataflow solver to (when requested) also record dataflow | Ted Kremenek |
2008-01-11 | Renamed ProgramEdge.h to ProgramPoint.h | Ted Kremenek |
2008-01-11 | Renamed ProgramEdge to ProgramPoint and changed subclasses of ProgramEdge | Ted Kremenek |
2007-12-29 | Don't attribute in file headers anymore. See llvmdev for the | Chris Lattner |
2007-10-02 | Moved ProgramEdge out out include/.../Analysis/PathSensitive to include/.../A... | Ted Kremenek |
2007-09-25 | Moved "DataflowSolver.h" to the "include/" subtree. Adjusted client | Ted Kremenek |