~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2020-11-04	[cmake] Add support to generate arbitrary runtime library configurations	Martin Nowack
2020-11-03	fix: bcmp with n==0	Alastair Reid
2020-10-30	Call functions in __cxa_atexit in reverse order	Tomas Jasek
2020-08-28	Definition of __cxa_thread_atexit_impl for the KLEE libc.	Alastair Reid
2019-10-31	klee-libc: add bcmp	Julian Büning
2018-07-04	Reorganise runtime libraries provided by KLEE	Martin Nowack
2017-10-04	Remove Autoconf/Makefile build system and adjust the TravisCI	Dan Liew
2017-07-24	Moved klee_choose from klee-libc to KLEE intrinsics.	Cristian Cadar
2016-11-07	Implement a CMake based build system for KLEE.	Dan Liew
2015-04-25	Clean up the installation/building of the runtime libraries.	Dan Liew
2015-04-02	Use 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 headers	Martin Nowack
2013-09-21	Merge pull request #17 from MartinNowack/LLVM33	Cristian Cadar
2013-08-27	Fix implementation for putchar	Martin Nowack
2013-08-27	Port to LLVM 3.3	Martin Nowack
2011-12-11	Patch by Ben Gras fixing a few minor issues: adds missing includes,	Cristian Cadar
2010-06-28	Applied Stefan Bucur's patch from	Cristian Cadar
2010-05-02	Compile klee-libc with -D__NO_INLINE__, to prevent glibc from using inline	Daniel Dunbar
2009-08-01	A few type fixes for libc functions, for 64-bit.	Daniel Dunbar
2009-05-23	Fix for platforms which #define putchar	Daniel Dunbar
2009-05-22	Add "name" argument to klee_make_symbolic, and kill off klee_make_symbolic_name.	Daniel Dunbar
2009-05-21	Initial KLEE checkin.	Daniel Dunbar