| Age | Commit message (Expand) | Author |
|---|
| 2024-02-08 | Assume C compiler's default standard is `-std=gnu17` | Martin Nowack |
| 2024-01-30 | Removed --zero-seed-extension, and merge it with --allow-seed-extension. This... | Cristian Cadar |
| 2023-06-11 | Rewrote has_permission in the POSIX runtime. We now only return with permiss... | Cristian Cadar |
| 2023-03-26 | tests: add some missing headers | Frank Busse |
| 2023-02-06 | Disable memcpy_chk_err.c on FreeBSD, where a call to __memcpy_chk is not gene... | Cristian Cadar |
| 2023-02-06 | Add an extra check to test/Runtime/FreeStanding/memcpy_chk_err.c ensuring tha... | Cristian Cadar |
| 2022-06-15 | Spelling Fixes | m-davis |
| 2022-03-11 | FD_Fail: use /dev/zero instead of /etc/mtab | Morgan Jones |
| 2021-10-17 | test/Runtime/POSIX/Futimesat: futimesat(2) requires _GNU_SOURCE on glibc plat... | Lukas Zaoral |
| 2021-10-17 | test/Runtime/POSIX/Futimesat: Compile with -std=c99 | Lukas Zaoral |
| 2021-06-19 | Test failure for WSL 1 | Pavel Yatcheniy |
| 2020-12-23 | tests: add getcwd EINVAL test | Frank Busse |
| 2020-12-23 | klee-libc: simplify mempcpy | Frank Busse |
| 2020-11-09 | Test checking that __strcpy_chk is handled correctly when uclibc is used | Cristian Cadar |
| 2020-11-09 | Test checking that __strcat_chk is handled correctly with klee-libc | Cristian Cadar |
| 2020-11-09 | Added test checking that a simple overflow is caught via -D_FORTIFY_SOURCE | Cristian Cadar |
| 2020-11-09 | Test checking that __memchk_chk is handled correctly with the freestanding li... | Cristian Cadar |
| 2020-11-03 | fix: bcmp with n==0 | Alastair Reid |
| 2020-10-30 | Add test for atexit order | Tomas Jasek |
| 2020-08-28 | Definition of __cxa_thread_atexit_impl for the KLEE libc. | Alastair Reid |
| 2020-04-09 | [posix-runtime] Improve model to handle full-path symbolic files | Timotej Kapus |
| 2020-04-09 | [posix-runtime] Add test for full path consistency for symbolic files | Timotej Kapus |
| 2020-03-22 | [posix-runtime] Simple GET/SET_LK model | Timotej Kapus |
| 2019-11-07 | Added test for 3-argument main. | Cristian Cadar |
| 2019-11-05 | [test] Fix missing includes | Martin Nowack |
| 2019-10-31 | klee-libc: add bcmp | Julian Büning |
| 2019-08-14 | Moved Gen*Bout.c tests outside the test/Runtime/POSIX directory, as they don'... | Cristian Cadar |
| 2019-08-14 | Replace sprintf with snprintf throughout codebase | Cristian Cadar |
| 2019-08-14 | Create all files in the replay directory and chdir to this directory before e... | Cristian Cadar |
| 2019-08-14 | Updated error messages in Gen*Bout.c | Cristian Cadar |
| 2019-08-14 | Cleaned up messages emitted by klee-replay, and prefixed them all with "KLEE-... | Cristian Cadar |
| 2019-08-01 | tests: fix Gen(Random)Bout.c: cd - command not found | Frank Busse |
| 2019-03-31 | Made test/Runtime/POSIX/GenBout.c run in an isolated directory | Andrew Santosa |
| 2019-03-31 | Various updates to gen-random-bout.cpp | Andrew Santosa |
| 2019-03-15 | Renamed --seed-out to --seed-file and --seed-out-dir to --seed-dir, and place... | Cristian Cadar |
| 2019-03-07 | Renamed %llvmgcc and %llvmgxx to %clang and %clangxx respectively. | Cristian Cadar |
| 2018-12-19 | Added checks option category, moved --optimize to starting category, renamed ... | Cristian Cadar |
| 2018-11-02 | Replaced --no-externals and --allow-external-sym-calls with --external-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-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-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-07-04 | Reorder linking and optimizations | Martin Nowack |
