Age | Commit message (Expand) | Author |
---|---|---|
2008-01-09 | Removed some files related to the path-sensitive solver as part of some | Ted Kremenek |
2008-01-08 | Relocated comment in header. | Ted Kremenek |
2008-01-07 | Renamed SimulVertex, SimulGraph, and SimulEngine to: | Ted Kremenek |
2008-01-03 | renamed class "GRCP" (Graph Reachabilty Constant Propagation) to | Ted Kremenek |
2008-01-03 | Implemented End-Of-Path processing. | Ted Kremenek |
2008-01-03 | Initial checking of GRConstantPropagation.cpp, which implements a constant | Ted Kremenek |