about summary refs log tree commit diff homepage
path: root/runtime
AgeCommit message (Expand)Author
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
2017-10-04Remove Autoconf/Makefile build system and adjust the TravisCIDan Liew
2017-08-09Fixed a bug causing KLEE to generate files with no permissions bits set. Th...Cristian Cadar
2017-07-24Moved klee_choose from klee-libc to KLEE intrinsics.Cristian Cadar
2017-07-24[CMake] Add a sanity check to the runtime build system so that weDan Liew
2017-07-24[CMake] Fix bug where the runtime build system would not rebuild bitcodeDan Liew
2017-03-30[CMake] Add the `clean_runtime` top level target to provide an easy wayDan Liew
2017-03-30[CMake] When supported pass `USES_TERMINAL` argument toDan Liew
2017-03-30[CMake] Fix #631Dan Liew
2017-03-28Merge pull request #616 from jirislaby/glibc_225Cristian Cadar
2017-03-20runtime: POSIX, check path prior dereferenceJiri Slaby
2017-03-15runtime: POSIX, make it compile with glibc 2.25Jiri Slaby
2017-02-13Merge pull request #506 from delcypher/travis_asan_ubsanCristian Cadar
2017-02-11[CMake] More widely available rebuilding for runtimesLevente Kurusa
2017-01-19In legacy build system fix building libkleeRuntest when buildingDan Liew
2017-01-14Change how error handling is done in libkleeRuntest.Dan Liew
2017-01-14Fix bug reported privately by @danielschemmel .Dan Liew
2017-01-14Write tests to test `libkleeRuntest`. The `replay_posix_runtime.c`Dan Liew
2016-12-28Changed preferred permissions from 0622 to the more standard 0644.Cristian Cadar
2016-12-03[CMake] Fix bug in the Makefile bitcode build system where the runtimeDan Liew
2016-12-03[CMake] Fix bug in the Makefile bitcode build system where the runtimeDan Liew
2016-12-02CMake: support LLVMCC.ExtraFlagsJiri Slaby
2016-11-20[CMake] Implement install of the kleeRuntest target.Dan Liew
2016-11-07Implement a CMake based build system for KLEE.Dan Liew
2016-08-19Added -save-all-writes to klee_init_env help messageAndrea Mattavelli
2016-05-31Merge pull request #405 from ccadar/timesCristian Cadar
2016-05-27Improved help message for POSIX environment options.Cristian Cadar
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-22 06:33:30 +0000