aboutsummaryrefslogtreecommitdiff
path: root/include/clang/Analysis/PathSensitive/ExplodedGraph.h
AgeCommit message (Expand)Author
2008-01-14Added prototype implementation of path-sens. analysis core engine.Ted Kremenek
2008-01-14Removed 'inline' keywords from methods now defined in ExplodedGraph.cpp.Ted Kremenek
2008-01-13Moved destructor logic of templated class ExplodedGraph to non-templatedTed Kremenek
2008-01-13Added node cleanup to dstor of ExplodedGraph.Ted Kremenek
2008-01-13Created ExplodedGraph.cpp and moved most method implementations ofTed Kremenek
2008-01-13Moved 'ExplodedNodeGroup' into class 'ExplodedNode' as the nested classTed Kremenek
2008-01-13Fixed lines preventing compilation.Ted Kremenek
2008-01-13Fixed some comments.Ted Kremenek
2008-01-13Merged ExplodedNode.h into ExplodedGraph.h, since the ExplodedNode class willTed Kremenek
2008-01-09Renamed various traits and classes. Added "Infeasible" bit to ExplodedNodeImplTed Kremenek
2008-01-07Added ownership of "checker state" within the ExplodedGraph. Moved code thatTed Kremenek
2008-01-07Renamed SimulVertex, SimulGraph, and SimulEngine to: Ted Kremenek
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2025-09-03 04:22:15 +0000