| Age | Commit message (Collapse) | Author |
|---|
|
- Allow constructing a ConstantExpr from an APInt, too painful otherwise.
- Parser support for large integers.
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@74278 91177308-0d34-0410-b5e6-96231b3b80d8
|
|
- ConstantExpr should now fully support arbitrary width operations.
- Still numerous holes in parsing, solver, etc. to plug.
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@74151 91177308-0d34-0410-b5e6-96231b3b80d8
|
|
- Bug fix, unbreak Concat propogation (recent regression).
- Also, add some simple propogation for Add.
- These two knock off another 50% of the queries hitting STP from the first 30s
of 'dd'.
- Also, add some debugging code.
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@73488 91177308-0d34-0410-b5e6-96231b3b80d8
|
