diff options
| author | Ted Kremenek <kremenek@apple.com> | 2008-01-07 19:08:42 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2008-01-07 19:08:42 +0000 |
| commit | 4241b3d1ad87e9a593bbc6cdf0f49435d5aec235 (patch) | |
| tree | 05b7e42791dd81162ffb8ce2b3476ac820051010 /CodeGen/CodeGenTypes.cpp | |
| parent | 205712ac9641d287e30c44db7fa994ebe3f23fe8 (diff) | |
Renamed SimulVertex, SimulGraph, and SimulEngine to:
ExplodedNode, ExplodedGraph (to match the vocabulary in the RHS paper)
ReachabilityEngine
The implementation of the core of the path-sensitive dataflow solver has
been de-templatized and places in ReachabilityEngine.cpp.
The solver is still incomplete.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@45711 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'CodeGen/CodeGenTypes.cpp')
0 files changed, 0 insertions, 0 deletions