~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Collapse)	Author
2019-05-06	Fix compilation of POSIX runtime on FreeBSD 11.	Gleb Popov

2019-04-29	More FreeBSD related fixes to POSIX runtime.	Gleb Popov

2019-04-02	POSIX runtime fixes for FreeBSD.	Gleb Popov

2013-11-02	Fix build of POSIX file descriptor functions	Martin Nowack
	Build Large File System functions for 32bit and 64bit correctly
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
	Added some of the common *at functions & others to the model. Obey --max-forks in switch statements.
2013-09-21	Merge pull request #17 from MartinNowack/LLVM33	Cristian Cadar
	Make KLEE compile with LLVM 2.3.
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
	Function like stat() were defined for 32bit and 64bit version. Added compile time based selection of appropriate version using GNUC macros __x86_64__ and __ppc64__.
2013-08-29	Added some of the common *at functions to the model	Paul Marinescu

2013-08-28	Disable redefinition of functions	Martin Nowack

2009-08-01	Fixes for building runtime on linux x86-64.	Daniel Dunbar
	git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@77825 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