about summary refs log tree commit diff homepage
path: root/runtime
AgeCommit message (Expand)Author
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
2016-05-27Fixed the stub for times() not to dereference a NULL pointer when call with a...Cristian Cadar
2016-05-24Split creation of symbolic files and stdin in two distinct optionsAndrea Mattavelli
2016-03-22Add soname for Runtest dynamic libraryMartin Nowack
2016-03-05Fix SELinux signatures in runtimeLaszlo Szekeres
2015-06-03Added an option --readable-posix-inputs which is used to turn on/off the CEX ...Cristian Cadar
2015-04-25Change install location of KLEE's bytecode runtime librariesDan Liew
2015-04-25Clean up the installation/building of the runtime libraries.Dan Liew
2015-04-02Use C instead of C++ comments in C files to silence compiler warnings.Cristian Cadar
2015-04-01[runtime] Fix include in klee_intMartin Nowack
2015-04-01[runtime] Fix comments to c style for c files and headersMartin Nowack
2014-09-14Replace fprintf with klee_warnings for POSIX libMartin Nowack
2014-01-09Fixed race condition in parallel build where a symbolic linkDan Liew
2013-12-21klee-uclibc detection is now a lot cleaner. KLEE now assumesDan Liew
2013-11-15Merge branch 'master' of https://github.com/ccadar/kleeCristian Cadar
2013-11-15Removed testing-env file. As for testing-dir that was removed in aCristian Cadar
2013-11-14Remove unused testing-dirMartin Nowack
2013-11-14Fix lseek and getdentsMartin Nowack
2013-11-02Fix build of POSIX file descriptor functionsMartin Nowack
2013-10-29Merge pull request #26 from delcypher/fix_divide_by_zeroPaul
2013-10-18stubs.c: cleanupFrank Busse
2013-10-18stubs.c: fix use of undeclared identifier PATH_MAXFrank Busse
2013-10-11Compile separate version of fd files for 3.2 as well.Cristian Cadar
2013-09-25Merge pull request #25 from paulmar/masterCristian Cadar
2013-09-21Merge pull request #17 from MartinNowack/LLVM33Cristian Cadar
2013-09-18Merge pull request #23 from MartinNowack/fix_putcharCristian Cadar
2013-09-18Compile separate version of fd files only for LLVM 3.3 or higherMartin Nowack
2013-09-02Implemented runtime check for overshift (controllable with --check-overshiftDan Liew
2013-09-02Fixed multiple definitions of POSIX file functionsMartin Nowack
2013-08-29Added some of the common *at functions to the modelPaul Marinescu
2013-08-28Disable redefinition of functionsMartin Nowack
2013-08-27Fix implementation for putcharMartin Nowack
2013-08-27Port to LLVM 3.3Martin Nowack
2013-07-23BFS searcher.Lei Zhang
2012-10-24Patch by Dan Liew: " Added "sys/resource.h" include to POSIX stubCristian Cadar
2011-12-11Patch by Ben Gras fixing a few minor issues: adds missing includes,Cristian Cadar
2011-12-11This is a workaround for the infinite loop reported at Cristian Cadar
2010-06-28Applied Stefan Bucur's patch fromCristian Cadar
2010-05-02Compile klee-libc with -D__NO_INLINE__, to prevent glibc from using inlineDaniel Dunbar
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-24 11:20:45 +0000