about summary refs log tree commit diff homepage
path: root/runtime/klee-libc
AgeCommit message (Expand)Author
2023-03-16Fixed a bug in KLEE libc's implementation of strcmp: according to the C stand...Cristian Cadar
2022-08-19Corrected wrong usage of klee_report_error in __cxa_atexit handlerPavel
2020-12-23klee-libc: simplify mempcpyFrank Busse
2020-12-04Declare mempcpy on macOS, to silence compiler warningsCristian Cadar
2020-11-09Added fortified versions for the functions in the klee-libc libraryCristian Cadar
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-08-28Definition of __cxa_thread_atexit_impl for the KLEE libc.Alastair Reid
2019-10-31klee-libc: add bcmpJulian Büning
2018-07-04Reorganise runtime libraries provided by KLEEMartin Nowack
2017-10-04Remove Autoconf/Makefile build system and adjust the TravisCIDan Liew
2017-07-24Moved klee_choose from klee-libc to KLEE intrinsics.Cristian Cadar
2016-11-07Implement a CMake based build system for KLEE.Dan 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 comments to c style for c files and headersMartin Nowack
2013-09-21Merge pull request #17 from MartinNowack/LLVM33Cristian Cadar
2013-08-27Fix implementation for putcharMartin Nowack
2013-08-27Port to LLVM 3.3Martin Nowack
2011-12-11Patch by Ben Gras fixing a few minor issues: adds missing includes,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
2009-08-01A few type fixes for libc functions, for 64-bit.Daniel Dunbar
2009-05-23Fix for platforms which #define putcharDaniel Dunbar
2009-05-22Add "name" argument to klee_make_symbolic, and kill off klee_make_symbolic_name.Daniel Dunbar
2009-05-21Initial KLEE checkin.Daniel Dunbar
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-21 22:03:10 +0000