diff options
| author | Lukas Zaoral <lzaoral@redhat.com> | 2021-05-27 21:25:00 +0200 |
|---|---|---|
| committer | MartinNowack <2443641+MartinNowack@users.noreply.github.com> | 2021-09-10 15:14:56 +0100 |
| commit | 3d7c05a7e86a72a4fc8df115591bd1e7a50f9d84 (patch) | |
| tree | 95ec3de318715895f227d4089a0e4a2b341f8a75 /Dockerfile | |
| parent | 96aa751760b4efc3424a82b573057008bc639c3b (diff) | |
| download | klee-3d7c05a7e86a72a4fc8df115591bd1e7a50f9d84.tar.gz | |
llvm11: Handle llvm.roundeven instrinsic
See: https://reviews.llvm.org/D75670
Diffstat (limited to 'Dockerfile')
0 files changed, 0 insertions, 0 deletions