diff options
| author | Daniel Dunbar <daniel@zuster.org> | 2011-03-28 14:52:26 +0000 |
|---|---|---|
| committer | Daniel Dunbar <daniel@zuster.org> | 2011-03-28 14:52:26 +0000 |
| commit | 38bd464676c7bcc95d1207531b2a278b796c9866 (patch) | |
| tree | ccf803212cbb6bb08e04af5a8e131c1afda7a15b /lib/Solver | |
| parent | c9f5caf93780b4fe85f3582b1451f97ef4fb7267 (diff) | |
| download | klee-38bd464676c7bcc95d1207531b2a278b796c9866.tar.gz | |
Start sketching a list of open projects.
Currently this is focused on things which are well understood, it is intended to be a place to start hacking on KLEE, not a list of research projects in symbolic execution. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@128407 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Solver')
0 files changed, 0 insertions, 0 deletions