| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2023-03-16 | Integrate KDAlloc into KLEE | Daniel Schemmel | |
| 2023-02-28 | Add a few simple solver tests | Daniel Schemmel | |
| 2023-02-06 | Disable memcpy_chk_err.c on FreeBSD, where a call to __memcpy_chk is not ↵ | Cristian Cadar | |
| generated | |||
| 2023-02-06 | Add an extra check to test/Runtime/FreeStanding/memcpy_chk_err.c ensuring ↵ | Cristian Cadar | |
| that a call to __memcpy_chk is emitted | |||
| 2023-01-06 | fix output check in test const_arr_opt1 | Matthis Gördel | |
| 2022-12-09 | add missing FileCheck command to test | Matthis Gördel | |
| 2022-12-09 | fix FileCheck cmd of VarArgByVal test | Matthis Gördel | |
| 2022-09-26 | Improve the message for when large arrays become symbolic. Only print this ↵ | Cristian Cadar | |
| warning once per array. Add test case. | |||
| 2022-09-24 | Pass llvm.experimental.noalias.scope.decl to IntrinsicLowering so that it ↵ | Pavel | |
| strips out these intrinsics | |||
| 2022-09-14 | Improve pattern for FileCheck in UBSan's tests | Pavel | |
| 2022-09-14 | Improve pattern for FileCheck in UBSan's tests | Pavel | |
| 2022-09-14 | Eliminate .undefined_behavior.err category and simplify tests | Pavel | |
| 2022-09-14 | Remove LLVM version < 9 | Pavel | |
| 2022-09-14 | Check extensions of generated files in tests | Pavel | |
| 2022-09-14 | Remove LLVM version < 6 | Pavel | |
| 2022-09-14 | Support UBSan-enabled binaries | Pavel Yatcheniy | |
| 2022-07-24 | Support arguments of width 128, 256 and 512 bits for external calls | Pavel | |
| 2022-07-04 | Inline asm external call | Mikhail | |
| 2022-06-30 | rename CallSite to CallBase | Frank Busse | |
| 2022-06-30 | remove LLVM < 9 | Frank Busse | |
| 2022-06-27 | Fix error with empty EntryPoint | Saveliy Grigoryev | |
| 2022-06-26 | Intrinsics: Add support for @llvm.f{ma,muladd}.f* | Lukáš Zaoral | |
| 2022-06-15 | Spelling Fixes | m-davis | |
| 2022-06-13 | tests: add StackTraceOutput.c | Frank Busse | |
| 2022-06-13 | tests: invoke LLVM tools through their corresponding macros | Lukáš Zaoral | |
| 2022-05-06 | Updated tests to use ktest-randgen instead of gen-random-bout | Cristian Cadar | |
| 2022-05-06 | Updated tests to use ktest-gen instead of gen-bout | Cristian Cadar | |
| 2022-05-06 | tests: make function pointer tests more robust | Frank Busse | |
| 2022-04-28 | Make Uclibc support a runtime option, not a compile-time one. | Gleb Popov | |
| 2022-03-17 | LLVM < 6 leftovers | Julian Büning | |
| 2022-03-17 | remove LLVM < 6 from build/test scripts | Frank Busse | |
| 2022-03-17 | Updated test MemoryLimit.c to use FileCheck, and formatted the file | Cristian Cadar | |
| 2022-03-11 | FD_Fail: use /dev/zero instead of /etc/mtab | Morgan Jones | |
| /etc/mtab doesn't exist in the Nix build sandbox since /etc doesn't exist. However, /dev/zero is more common on UNIX systems and does. | |||
| 2022-03-09 | tests: make UBSAN print stack traces | Lukáš Zaoral | |
| 2022-01-07 | tests: add Feature/KleeStatsNoBr.c | Frank Busse | |
| 2022-01-07 | tests: adapt Feature/KleeStatsColumns.test to klee-stats changes | Frank Busse | |
| 2022-01-07 | tests: extend Feature/KleeStats.c | Frank Busse | |
| 2022-01-05 | Added a test for invocations of klee_make_symbolic with a wrong size to ↵ | Cristian Cadar | |
| MakeSymbolicAPI.c, and reformatted the file. | |||
| 2021-12-20 | test/Concrete/GlobalUndef.ll: Remove `target datalayout` and `target triple` | Lukáš Zaoral | |
| Fixes assertion violation triggered in LLVM 13 CI job due to incompatibility with default target triple and datalayout. | |||
| 2021-12-20 | llvm13: Add LLVM 13 to lit.cfg | Lukas Zaoral | |
| 2021-11-20 | Fixed fail with preferCex, removed relation from first argument | Taras Bereznyak | |
| 2021-11-02 | tests: adjust Feature/KleeStatsColumns.test for fixed column order | Frank Busse | |
| 2021-10-27 | tools/klee: Warn if module and host target triples differ | Lukas Zaoral | |
| ... as running a bitcode with a different target triple may result in unexpected crashes or assertion violations. | |||
| 2021-10-17 | test/Runtime/POSIX/Futimesat: futimesat(2) requires _GNU_SOURCE on glibc ↵ | Lukas Zaoral | |
| platforms | |||
| 2021-10-17 | test/Runtime/POSIX/Futimesat: Compile with -std=c99 | Lukas Zaoral | |
| .. so that `linux` is not a defined macro. Without the `-std=c99` option, linux is an implicitly defined macro so all such substrings in the given path will be replaced with `1` during stringification. Unfortunately, Fedora's rpmbuild uses `x86_64-redhat-linux-gnu` as a build directory for all CMake projects which leads to a failure due to a change to `x86_64-redhat-1-gnu`. Fixes: #1424 | |||
| 2021-10-13 | test/Feature/FunctionAlias.c: Add missing CHECK-UNKNOWN prefix | Lukas Zaoral | |
| This test started to fail on LLVM 13 because FileCheck switched the default setting regarding the allowance of unused prefixes. This is now considered to be a fatal error. | |||
| 2021-09-10 | llvm12: Implement llvm.abs intrinsic | Lukas Zaoral | |
| The vector variants are not implemented at the moment. See: https://reviews.llvm.org/D84125 Co-authored-by: Lukas Zaoral <lzaoral@redhat.com> Co-authored-by: Martin Nowack <m.nowack@imperial.ac.uk> | |||
| 2021-09-10 | llvm12: Implement llvm.{s,u}{max,min} intrinsics | Lukas Zaoral | |
| The vector variants are not implemented at the moment. See: https://reviews.llvm.org/D84125 Co-authored-by: Lukas Zaoral <lzaoral@redhat.com> Co-authored-by: Martin Nowack <m.nowack@imperial.ac.uk> | |||
| 2021-09-10 | llvm12: Add LLVM 12 to lit.cfg | Lukas Zaoral | |
| 2021-06-19 | Test failure for WSL 1 | Pavel Yatcheniy | |
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |