1. 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
  2. 19d67b5 Clean up the Checker API a little more, resolving some hidden bugs by Ted Kremenek · 15 years ago
  3. c6e11ff Provide out-of-line definition for destructor of Checker. by Ted Kremenek · 15 years ago