| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2009-06-09 | Do not compile SMT parser by default. Removed automatically generated | Cristian Cadar | |
| parser files: We really don't want SVN to keep track of changes in these files while working on the parser. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@73132 91177308-0d34-0410-b5e6-96231b3b80d8 | |||
| 2009-06-09 | Made expression nodes int the SMT parser be pointers to ExprHandle. | Cristian Cadar | |
| git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@73131 91177308-0d34-0410-b5e6-96231b3b80d8 | |||
| 2009-06-09 | Quick hack to build SMT LLVM style. | Daniel Dunbar | |
| - I don't want to make proper bison/flex rules, and eventually I think we should just check in the generated files since we don't expect them to change, so for now just build the files in the src directory. Eventually we will want to disable these rules so that it works for people who don't have bison/flex. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@73121 91177308-0d34-0410-b5e6-96231b3b80d8 | |||
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |