index
:
~cnx/klee
this commit
1.0.x
1.1.x
1.2.x
1.3.x
1.4.x
2.0.x
2.1.x
2.2.x
2.3.x
3.0.x
master
psychic
svcomp
svcomp_32bit
KLEE fork for patch differentiation testing
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
runtime
/
POSIX
Age
Commit message (
Expand
)
Author
2017-03-28
Merge pull request #616 from jirislaby/glibc_225
Cristian Cadar
2017-03-20
runtime: POSIX, check path prior dereference
Jiri Slaby
2017-03-15
runtime: POSIX, make it compile with glibc 2.25
Jiri Slaby
2016-12-28
Changed preferred permissions from 0622 to the more standard 0644.
Cristian Cadar
2016-11-07
Implement a CMake based build system for KLEE.
Dan Liew
2016-08-19
Added -save-all-writes to klee_init_env help message
Andrea Mattavelli
2016-05-31
Merge pull request #405 from ccadar/times
Cristian Cadar
2016-05-27
Improved help message for POSIX environment options.
Cristian Cadar
2016-05-27
Fixed the stub for times() not to dereference a NULL pointer when call with a...
Cristian Cadar
2016-05-24
Split creation of symbolic files and stdin in two distinct options
Andrea Mattavelli
2016-03-05
Fix SELinux signatures in runtime
Laszlo Szekeres
2015-06-03
Added an option --readable-posix-inputs which is used to turn on/off the CEX ...
Cristian Cadar
2015-04-25
Clean up the installation/building of the runtime libraries.
Dan Liew
2014-09-14
Replace fprintf with klee_warnings for POSIX lib
Martin Nowack
2013-11-15
Merge branch 'master' of https://github.com/ccadar/klee
Cristian Cadar
2013-11-15
Removed testing-env file. As for testing-dir that was removed in a
Cristian Cadar
2013-11-14
Remove unused testing-dir
Martin Nowack
2013-11-14
Fix lseek and getdents
Martin Nowack
2013-11-02
Fix build of POSIX file descriptor functions
Martin Nowack
2013-10-18
stubs.c: cleanup
Frank Busse
2013-10-18
stubs.c: fix use of undeclared identifier PATH_MAX
Frank Busse
2013-10-11
Compile separate version of fd files for 3.2 as well.
Cristian Cadar
2013-09-25
Merge pull request #25 from paulmar/master
Cristian Cadar
2013-09-21
Merge pull request #17 from MartinNowack/LLVM33
Cristian Cadar
2013-09-18
Compile separate version of fd files only for LLVM 3.3 or higher
Martin Nowack
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
2012-10-24
Patch by Dan Liew: " Added "sys/resource.h" include to POSIX stub
Cristian Cadar
2010-06-28
Applied Stefan Bucur's patch from
Cristian Cadar
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-05-23
Make klee_init_env print some usage instructions with --help.
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