~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2013-09-18	Merge pull request #23 from MartinNowack/fix_putchar	Cristian Cadar
2013-09-18	Compile separate version of fd files only for LLVM 3.3 or higher	Martin Nowack
2013-09-02	Implemented runtime check for overshift (controllable with --check-overshift	Dan Liew
2013-09-02	Fixed multiple definitions of POSIX file functions	Martin Nowack
2013-08-29	Added some of the common *at functions to the model	Paul Marinescu
2013-08-28	Disable redefinition of functions	Martin Nowack
2013-08-27	Fix implementation for putchar	Martin Nowack
2013-08-27	Port to LLVM 3.3	Martin Nowack
2013-07-23	BFS searcher.	Lei Zhang
2012-10-24	Patch by Dan Liew: " Added "sys/resource.h" include to POSIX stub	Cristian Cadar
2011-12-11	Patch by Ben Gras fixing a few minor issues: adds missing includes,	Cristian Cadar
2011-12-11	This is a workaround for the infinite loop reported at	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	Fixes for building runtime on linux x86-64.	Daniel Dunbar
2009-08-01	A few type fixes for libc functions, for 64-bit.	Daniel Dunbar
2009-08-01	Rename intrinsic library to libkleeRuntimeInstrinsic, for consistency.	Daniel Dunbar
2009-06-01	Kill off klee_malloc_n, we don't want to support this.	Daniel Dunbar
2009-05-23	Fix for platforms which #define putchar	Daniel Dunbar
2009-05-23	Make klee_init_env print some usage instructions with --help.	Daniel Dunbar
2009-05-23	Changed bout to ktest. Kept "BOUT\n" as the header of test files, for backwa...	Cristian Cadar
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