Age | Commit message (Expand) | Author |
---|---|---|
2009-03-11 | SimpleConstraintManager doesn't reason about bitwise-constraints on symbolic | Ted Kremenek |
2009-03-11 | Added method "canReasonAbout" to ConstraintManager. This method returns true if | Ted Kremenek |
2009-02-14 | Patch by Ben Laurie: | Ted Kremenek |