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 | 9dbf8a93a735d21267633e0e1caa23311739fe76 (patch) | |
| tree | 86a4fa01b35867bebeb011f3dee68a237ff4a8ca /llvm/lib/Target | |
| parent | dabea046f69d97cf633152d1bba25dc92644dc59 (diff) | |
| download | bcm5719-llvm-9dbf8a93a735d21267633e0e1caa23311739fe76.tar.gz bcm5719-llvm-9dbf8a93a735d21267633e0e1caa23311739fe76.zip | |
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.
llvm-svn: 45711
Diffstat (limited to 'llvm/lib/Target')
0 files changed, 0 insertions, 0 deletions
