Eric Rizzi

Added logic to simplifier that creates equality out of > and <

1

This commit adds the ability to concertize a variable's value by using inequalities to find the range of values a variable can be. Should the range be reduced to a...

I found what I believe to be a problem in the way that Klee currently handles simplification. Specifically, In the function lib/Expr/Constraints.cpp::rewriteConstraints(ExprVisitor &visitor), an existing query can be simplified to...

Quick Cache

8

These two commits are designed to improve upon the existing lookup function in the UBTree for the CexCachingSolver. The current implementation misses many opportunities for quick matches. These misses occur...