~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2015-12-04	Remove dead ifdef in STPBuilder header file. There is no	Dan Liew
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
2014-02-14	Fixed overshift of arithmetic right shift by symbolic so that it overshifts	Dan Liew
2014-02-14	Fixed overshift of logical right shift by constant so that it	Dan Liew
2014-02-14	Fixed overshift of logical right shift by symbolic so that it overshifts	Dan Liew
2014-02-14	Fixed overshifting an expression by a constant so that we overshift to	Dan Liew
2012-10-18	Nice patch by Hristina Palikareva that removes the dependency on STP	Cristian Cadar
2012-07-31	Patch by Dan Liew that removes our internal copy of STP, and makes the --with...	Cristian Cadar
2012-03-26	STPBuilder: fix getShiftBits properly.	Peter Collingbourne
2012-03-26	STPBuilder: fix bv{Zero,One,MinusOne} for the case where width>64	Peter Collingbourne
2011-12-13	Fix STPBuilder::getShiftBits for non-power-of-2 bitwidths up to 64.	Peter Collingbourne
2010-07-14	Add option to use an external version of STP	Peter Collingbourne
2010-04-05	STP: Switch build to using LLVM style Makefiles.	Daniel Dunbar
2009-05-21	Initial KLEE checkin.	Daniel Dunbar