about summary refs log tree commit diff homepage
path: root/runtime
AgeCommit message (Expand)Author
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
2009-08-01Fixes for building runtime on linux x86-64.Daniel Dunbar
2009-08-01A few type fixes for libc functions, for 64-bit.Daniel Dunbar
2009-08-01Rename intrinsic library to libkleeRuntimeInstrinsic, for consistency.Daniel Dunbar
2009-06-01Kill off klee_malloc_n, we don't want to support this.Daniel Dunbar
2009-05-23Fix for platforms which #define putcharDaniel Dunbar
2009-05-23Make klee_init_env print some usage instructions with --help.Daniel Dunbar
2009-05-23Changed bout to ktest. Kept "BOUT\n" as the header of test files, for backwa...Cristian Cadar
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-11 01:31:03 +0000