~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Collapse)	Author
2015-12-04	Remove dead ifdef in STPBuilder header file. There is no	Dan Liew
	``stp/stplog.h`` header file in the current version of STP and no support in the build system for setting this define so this code is completly dead.
2015-12-04	Remove dead ``tempVars`` and ``getTempVar()`` method in STPBuilder	Dan Liew

2014-02-14	Remove STPBuilder::getShiftBits() which is no longer used.	Dan Liew

2014-02-14	Fixed overshift of arithmetic right shift by constant so that it	Dan Liew
	overshifts to zero. Test case is included.
2014-02-14	Fixed overshift of arithmetic right shift by symbolic so that it overshifts	Dan Liew
	to zero. Test case is included.
2014-02-14	Fixed overshift of logical right shift by constant so that it	Dan Liew
	overshifts to zero. Test case is included.
2014-02-14	Fixed overshift of logical right shift by symbolic so that it overshifts	Dan Liew
	to zero. Test case is included.
2014-02-14	Fixed overshifting an expression by a constant so that we overshift to	Dan Liew
	zero. A test case was added for this. In addition the use to vc_bvExtract() was removed for shifting left by an expression because we don't want/need bitmasked behaviour anymore.
2012-10-18	Nice patch by Hristina Palikareva that removes the dependency on STP	Cristian Cadar
	arrays from the Array and UpdateNode classes. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@166214 91177308-0d34-0410-b5e6-96231b3b80d8
2012-07-31	Patch by Dan Liew that removes our internal copy of STP, and makes the ↵	Cristian Cadar
	--with-stp option mandatory: "1. At configure time the --with-stp= option is now mandatory. 2. The HAVE_EXT_STP macro has been removed. 3. The ENABLE_EXT_STP autoconf replacement variable has been removed and consequently the Makefile variable of the same name has been removed." git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@161055 91177308-0d34-0410-b5e6-96231b3b80d8
2012-03-26	STPBuilder: fix getShiftBits properly.	Peter Collingbourne
	git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@153475 91177308-0d34-0410-b5e6-96231b3b80d8
2012-03-26	STPBuilder: fix bv{Zero,One,MinusOne} for the case where width>64	Peter Collingbourne
	git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@153474 91177308-0d34-0410-b5e6-96231b3b80d8
2011-12-13	Fix STPBuilder::getShiftBits for non-power-of-2 bitwidths up to 64.	Peter Collingbourne
	(Yes, we should really be handling more bitwidths here.) git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@146510 91177308-0d34-0410-b5e6-96231b3b80d8
2010-07-14	Add option to use an external version of STP	Peter Collingbourne
	This patch adds a new configure option, --with-stp, which configures KLEE to use an external version of STP instead of the version in the source tree. It includes documentation referring users to the STP download location. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@108347 91177308-0d34-0410-b5e6-96231b3b80d8
2010-04-05	STP: Switch build to using LLVM style Makefiles.	Daniel Dunbar
	git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@100395 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