~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Collapse)	Author
2015-06-03	Added an option --readable-posix-inputs which is used to turn on/off the CEX ↵	Cristian Cadar
	preferences added in the POSIX model. Removed option --prefer-cex which controlled all CEX preferences.
2015-02-13	refactor integer overflow detection, add signed int	Luca Dariz
	Instead of checking for every possible casse which result in overflow, it is much simpler to perform the operation using integers with bigger dimension and check if the result overflow
2015-02-13	Detect overflow of unsigned add, sub and mul operations	Luca Dariz
	This requires clang with -fsanitize=unsigned-integer-overflow tested with clang and llvm 3.4.2
2015-02-13	Revert "Merged @luckyluke's change for detecting overflow of unsigned add, sub"	Cristian Cadar
	Will redo the merge to preserve original commits. This reverts commit a743d7072d9ccf11f96e3df45f25ad07da6ad9d6.
2015-02-10	Merged @luckyluke's change for detecting overflow of unsigned add, sub	Cristian Cadar
	and mul operations. Refactored tests into two main cases, and disabled them on LLVM 2.9, which does not support -fsanitized=*signed-integer-overflow.
2014-02-06	Implement const_iterator interface for SpecialFunctionHandler so	Dan Liew
	that clients can access HandlerInfo nicely.
2010-07-15	Fix some -Wmismatched-tags warnings.	Daniel Dunbar
	git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@108403 91177308-0d34-0410-b5e6-96231b3b80d8
2010-06-24	Implement klee_stack_trace function	Peter Collingbourne
	git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@106799 91177308-0d34-0410-b5e6-96231b3b80d8
2009-06-01	Kill off klee_malloc_n, we don't want to support this.	Daniel Dunbar
	git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72693 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