about summary refs log tree commit diff homepage
path: root/runtime/klee-libc
AgeCommit message (Expand)Author
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-09-21 11:50:10 +0000