1. 1309f9a Split libAnalysis into two libraries: libAnalysis and libChecker. by Ted Kremenek · 15 years ago[Renamed (95%) from lib/Analysis/Checker.cpp]
  2. bfb4fc9 Rename instance variable to avoid name conflict with parameters, and modify addTransition() to compare the correct state values. by Ted Kremenek · 15 years ago
  3. 19d67b5 Clean up the Checker API a little more, resolving some hidden bugs by Ted Kremenek · 15 years ago
  4. c6e11ff Provide out-of-line definition for destructor of Checker. by Ted Kremenek · 15 years ago