| Age | Commit message (Expand) | Author |
|---|
| 2018-12-19 | Added checks option category, moved --optimize to starting category, renamed ... | Cristian Cadar |
| 2018-12-19 | Renamed --stop-after-n-instructions to --max-instructions, as suggested by @251 | Cristian Cadar |
| 2018-11-23 | Implemented memalign with alignment | Lukas Wölfer |
| 2018-11-06 | fix: actually set -O0 in test/concrete/CMakeLists.txt | Julian Büning |
| 2018-11-05 | Fixed crash on zero size arrays | Lukas Wölfer |
| 2018-11-05 | Check for stack overflow in a tested program | Martin Nowack |
| 2018-11-02 | Added test for the case where external calls are encountered but disallowed | Cristian Cadar |
| 2018-11-02 | Replaced --no-externals and --allow-external-sym-calls with --external-calls,... | Cristian Cadar |
| 2018-11-02 | The test DeterministicSwitch.c does not need to allow external symbolic calls | Cristian Cadar |
| 2018-10-29 | add %OOopt to recently added tests and Concrete | Julian Büning |
| 2018-10-26 | Added gen-bout tool to generate ktest file (file.bout) using specified concre... | Andrew Santosa |
| 2018-10-26 | llvm5: test, add -disable-O0-optnone to -O0 | Jiri Slaby |
| 2018-10-26 | llvm5: test, change objectsize | Jiri Slaby |
| 2018-10-24 | Add testcase for shift check | Martin Nowack |
| 2018-10-24 | Add test case for div checker | Martin Nowack |
| 2018-10-24 | Added lowering pass | Rafael Zaehl |
| 2018-10-23 | Added support for KLEE value-based array optimization | Andrea Mattavelli |
| 2018-10-23 | Added support for KLEE index-based array optimization | Andrea Mattavelli |
| 2018-10-17 | tests: disable CompressedExprLogging on zlib-less systems | Frank Busse |
| 2018-10-10 | fix handling of failing external calls | Frank Busse |
| 2018-10-10 | cmake/lit: add asan/non-asan, ubsan/non-ubsan flags | Frank Busse |
| 2018-10-08 | add support for klee-replay on OSX | Frank Busse |
| 2018-09-30 | Fix a crash when the last running state is terminated during merging | Lukas Wölfer |
| 2018-09-29 | Changed code to create up to 100 properly-numbered symbolic arguments, and ad... | Cristian Cadar |
| 2018-09-29 | Add checks for correct usage of the POSIX model, together with an associated ... | Cristian Cadar |
| 2018-09-20 | Removed unused --sym-files 0 0 argument from FD_Fail test and rewrote the tes... | Cristian Cadar |
| 2018-09-20 | Updated IoCtl test to use --sym-stdin instead of --sym-files 0 x to make stdi... | Cristian Cadar |
| 2018-09-20 | Updated DirSeek test to use --sym-stdin instead of --sym-files 0 x to make st... | Cristian Cadar |
| 2018-09-10 | Add testcase to run POSIX environment and main without arguments | Martin Nowack |
| 2018-09-10 | Add POSIX runtime as dependency for the test case | Martin Nowack |
| 2018-09-10 | Unify the error message if that function has not been found. | Martin Nowack |
| 2018-09-06 | Use FileCheck and LINE instead of grep if possible | Martin Nowack |
| 2018-09-06 | runtime: fix memory error in canonicalize_file_name | Frank Busse |
| 2018-09-06 | Avoid Vararg non-deterministic allocation | Martin Nowack |
| 2018-08-03 | Fixed runtest library to handle the case of a NULL "name" argument in klee_ma... | Cristian Cadar |
| 2018-08-03 | [clang-format]Allow longer codelines in test/ | Martin Nowack |
| 2018-08-01 | test: remove geq-llvm-3.4 | Julian Büning |
| 2018-07-28 | remove last comma from -debug-print-escaping-functions | Julian Büning |
| 2018-07-28 | test/Feature/EscapingFunctionsAlias.c: clarify alias(ee) casting | Julian Büning |
| 2018-07-28 | add declarations to escapingFunctions | Julian Büning |
| 2018-07-23 | ModuleUtil: improve and test valueIsOnlyCalled | Julian Büning |
| 2018-07-12 | llvm38: test, change some tests | Jiri Slaby |
| 2018-07-11 | Removed support for klee_make_symbolic with 2 arguments. This has been depre... | Cristian Cadar |
| 2018-07-10 | test: remove undefined behaviour | Jiri Slaby |
| 2018-07-04 | Fix incorrect invocation of klee | Martin Nowack |
| 2018-07-04 | Support sanitizer suppression files with lit-based testing | Martin Nowack |
| 2018-07-04 | Reorder linking and optimizations | Martin Nowack |
| 2018-07-02 | Removed obsolete script | Cristian Cadar |
| 2018-07-02 | test/lit.cfg: remove obsolete hack from (LLVM < 3.0 is no longer supported) | Julian Büning |
| 2018-06-29 | fix out of range access in KleeHandler::getKTestFilesInDir | Frank Busse |
