~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Collapse)	Author
2017-03-15	runtime: POSIX, make it compile with glibc 2.25	Jiri Slaby
	With glibc 2.25, we see: runtime/POSIX/stubs.c:243:14: error: conflicting types for 'gnu_dev_major' unsigned int gnu_dev_major(unsigned long long int __dev) __attribute__((weak)); ^ /usr/include/sys/sysmacros.h:79:27: note: previous definition is here __SYSMACROS_DEFINE_MAJOR (__SYSMACROS_IMPL_TEMPL) ^ Glibc 2.25 switched from ULL to dev_t for gnu_dev_major, gnu_dev_minor, and gnu_dev_makedev. Handle by using an appropriate type according to the glibc version. Signed-off-by: Jiri Slaby <jirislaby@gmail.com>
2016-05-27	Fixed the stub for times() not to dereference a NULL pointer when call with ↵	Cristian Cadar
	a NULL argument. In respose of issue https://github.com/klee/klee/issues/399
2013-10-18	stubs.c: cleanup	Frank Busse

2013-10-18	stubs.c: fix use of undeclared identifier PATH_MAX	Frank Busse

2013-08-29	Added some of the common *at functions to the model	Paul Marinescu

2012-10-24	Patch by Dan Liew: " Added "sys/resource.h" include to POSIX stub	Cristian Cadar
	methods. This fixes build problems (at least on my machine glibc 2.16.0-2) The __priority_which_t and __rlimit_resource_t data types which functions set_priority(), setrlimit() and setrlimit64() need are not defined in any of the headers the runtime/POSIX/stubs.c includes. It appears in the past the "sys/resource.h" was included by "sys/wait.h" but in the recent version of glibc I am using it is not. So to fix this I've added the include." git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@166554 91177308-0d34-0410-b5e6-96231b3b80d8
2009-05-21	Initial KLEE checkin.	Daniel Dunbar
	- Lots more tweaks, documentation, and web page content is needed, but this should compile & work on OS X & Linux. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72205 91177308-0d34-0410-b5e6-96231b3b80d8