about summary refs log tree commit diff homepage
path: root/runtime
AgeCommit message (Expand)Author
2020-12-04Declare mempcpy on macOS, to silence compiler warningsCristian Cadar
2020-11-09Added fortified library (for -D_FORTIFY_SOURCE), to be linked when uclibc is ...Cristian Cadar
2020-11-09Added fortified versions for the functions in the klee-libc libraryCristian Cadar
2020-11-09Since the runtime now contains fortified libc functions, it is important to c...Cristian Cadar
2020-11-09Added fortified versions for the functions in the freestanding library.Cristian Cadar
2020-11-04Rename FreeStanding to Freestanding where appropriateMartin Nowack
2020-11-04[cmake] Add support to generate arbitrary runtime library configurationsMartin Nowack
2020-11-03fix: bcmp with n==0Alastair Reid
2020-10-30Call functions in __cxa_atexit in reverse orderTomas Jasek
2020-10-12address MartinNowack's remaining feedbackJulian Büning
2020-10-12Exception handling only for LLVM >= 8.0.0Julian Büning
2020-10-12fix cxa_exception include for older LLVM versionsJulian Büning
2020-10-12fix building klee-cxxabiJulian Büning
2020-10-12Implemented support for C++ ExceptionsFelix Rath
2020-10-06Ran clang-format on intrinsics.c and removed unneeded commentCristian Cadar
2020-10-06Added support for klee_open_merge and klee_close_merge in replay, together wi...Cristian Cadar
2020-08-28Definition of __cxa_thread_atexit_impl for the KLEE libc.Alastair Reid
2020-08-07New intrinsic: klee_is_replayAlastair Reid
2020-04-30Removed the Internal directory from include/kleeCristian Cadar
2020-04-09[posix-runtime] Improve model to handle full-path symbolic filesTimotej Kapus
2020-03-22[posix-runtime] Simple GET/SET_LK modelTimotej Kapus
2019-11-09Compile fd_64.c file of POSIX runtime correctly on FreeBSD - append "64" suffixGleb Popov
2019-11-07Allow main with 3 argumentsCristian Cadar
2019-11-05Do not modify strings if they are read-only.Martin Nowack
2019-11-05runtime: fix for glibc 2.30Jiri Slaby
2019-10-31klee-libc: add bcmpJulian Büning
2019-08-01gen(-random)-bout: add --bout-file flagFrank Busse
2019-07-30Use #include "klee/..." (instead of #include <klee/...>) consistently.Cristian Cadar
2019-06-04make include guard naming consistentJulian Büning
2019-06-04Fixed identifiers used in ifdefs to (1) not use reserved names and (2) use a ...Cristian Cadar
2019-05-06Fix compilation of POSIX runtime on FreeBSD 11.Gleb Popov
2019-05-06Fix build of POSIX runtime on FreeBSD i386.Gleb Popov
2019-04-29More FreeBSD related fixes to POSIX runtime.Gleb Popov
2019-04-02POSIX runtime fixes for FreeBSD.Gleb Popov
2019-03-17Added libcxx flagLukas Wölfer
2018-10-26llvm5: test, add -disable-O0-optnone to -O0Jiri Slaby
2018-10-08add support for klee-replay on OSXFrank Busse
2018-09-29Changed code to create up to 100 properly-numbered symbolic arguments, and ad...Cristian Cadar
2018-09-29Add checks for correct usage of the POSIX model, together with an associated ...Cristian Cadar
2018-09-10POSIX: Add invocation of klee_init_env into wrapper before calling mainMartin Nowack
2018-09-06runtime: fix memory error in canonicalize_file_nameFrank Busse
2018-08-03Fixed runtest library to handle the case of a NULL "name" argument in klee_ma...Cristian Cadar
2018-07-04runtime: remove obsolete code for building modules instead of archivesJulian Büning
2018-07-04Reorder linking and optimizationsMartin Nowack
2018-07-04Reorganise runtime libraries provided by KLEEMartin Nowack
2018-05-07Fixed utimes() behavior for symbolic files when the second argument is NULLyxliang01
2018-05-05Fix handling of errno if external functions are invokedMartin Nowack
2018-05-01Ensured program reliably has 3 paths to be explored, and removed unnecessary ...Cristian Cadar
2018-05-01Implement klee_prefer_cex() and klee_abort() in Runtest and added correspondi...lyxia
2017-10-04[CMake] Add global clean target `clean_all`. Fixes #718.Dan Liew
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-11 00:15:42 +0000