Age | Commit message (Expand) | Author |
---|---|---|
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 |
2008-01-10 | Added "InfeasibleEdge" to represent an infeasible state transition. | Ted Kremenek |
2008-01-09 | Renamed Stmt***Edge and ***StmtEdge (where *** = "Stmt" or "Blk") classes to | Ted Kremenek |
2008-01-04 | fix a build problem where NULL isn't implicitly defined by the headers this f... | Chris Lattner |
2008-01-03 | De-constified the pointers returned by the Dst() and Src() methods of | 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 |