diff options
| author | Daniel Dunbar <daniel@zuster.org> | 2010-04-05 06:48:10 +0000 |
|---|---|---|
| committer | Daniel Dunbar <daniel@zuster.org> | 2010-04-05 06:48:10 +0000 |
| commit | 54d4d6353076800e0b640a380ce41e64f1041fbe (patch) | |
| tree | ee8017b21860ce0fc9ee11520c16b3067e88496c /README.txt | |
| parent | cae0864b2437111b6cbbb7a3030e82bcef1a6024 (diff) | |
| download | klee-54d4d6353076800e0b640a380ce41e64f1041fbe.tar.gz | |
Add long double support, patch by David Ramos.
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@100421 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'README.txt')
0 files changed, 0 insertions, 0 deletions