about summary refs log tree commit diff homepage
path: root/runtime/POSIX
AgeCommit message (Expand)Author
2015-04-25Clean up the installation/building of the runtime libraries.Dan Liew
2014-09-14Replace fprintf with klee_warnings for POSIX libMartin Nowack
2013-11-15Merge branch 'master' of https://github.com/ccadar/kleeCristian Cadar
2013-11-15Removed testing-env file. As for testing-dir that was removed in aCristian Cadar
2013-11-14Remove unused testing-dirMartin Nowack
2013-11-14Fix lseek and getdentsMartin Nowack
2013-11-02Fix build of POSIX file descriptor functionsMartin Nowack
2013-10-18stubs.c: cleanupFrank Busse
2013-10-18stubs.c: fix use of undeclared identifier PATH_MAXFrank Busse
2013-10-11Compile separate version of fd files for 3.2 as well.Cristian Cadar
2013-09-25Merge pull request #25 from paulmar/masterCristian Cadar
2013-09-21Merge pull request #17 from MartinNowack/LLVM33Cristian Cadar
2013-09-18Compile separate version of fd files only for LLVM 3.3 or higherMartin Nowack
2013-09-02Fixed multiple definitions of POSIX file functionsMartin Nowack
2013-08-29Added some of the common *at functions to the modelPaul Marinescu
2013-08-28Disable redefinition of functionsMartin Nowack
2012-10-24Patch by Dan Liew: " Added "sys/resource.h" include to POSIX stubCristian Cadar
2010-06-28Applied Stefan Bucur's patch fromCristian Cadar
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-05-23Make klee_init_env print some usage instructions with --help.Daniel 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-22 05:38:34 +0000