| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2011-07-24 | Applied patch by Leandro Sales that makes Kleaver compatible with the | Cristian Cadar | |
| recent changes to array names. Modified FastCexSolver.pc to catch this issue. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@135896 91177308-0d34-0410-b5e6-96231b3b80d8 | |||
| 2009-06-16 | Improve FastCexSolver: | Daniel Dunbar | |
| - 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 | |||
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |