about summary refs log tree commit diff homepage
path: root/lib/Solver/STPBuilder.h
AgeCommit message (Expand)Author
2019-07-30Consolidated Expr-related include files into a single include/klee/Expr direc...Cristian Cadar
2019-06-04make endif guard naming consistentJulian Büning
2019-06-04Fixed identifiers used in ifdefs to (1) not use reserved names and (2) use a ...Cristian Cadar
2016-07-09Fix variable shifting behavior with different sizesMartin Nowack
2015-12-04Remove dead ifdef in STPBuilder header file. There is noDan Liew
2015-12-04Remove dead ``tempVars`` and ``getTempVar()`` method in STPBuilderDan Liew
2014-02-14Remove STPBuilder::getShiftBits() which is no longer used.Dan Liew
2014-02-14Fixed overshift of arithmetic right shift by constant so that itDan Liew
2014-02-14Fixed overshift of arithmetic right shift by symbolic so that it overshiftsDan Liew
2014-02-14Fixed overshift of logical right shift by constant so that itDan Liew
2014-02-14Fixed overshift of logical right shift by symbolic so that it overshiftsDan Liew
2014-02-14Fixed overshifting an expression by a constant so that we overshift toDan Liew
2012-10-18Nice patch by Hristina Palikareva that removes the dependency on STPCristian Cadar
2012-07-31Patch by Dan Liew that removes our internal copy of STP, and makes the --with...Cristian Cadar
2012-03-26STPBuilder: fix getShiftBits properly.Peter Collingbourne
2012-03-26STPBuilder: fix bv{Zero,One,MinusOne} for the case where width>64Peter Collingbourne
2011-12-13Fix STPBuilder::getShiftBits for non-power-of-2 bitwidths up to 64.Peter Collingbourne
2010-07-14Add option to use an external version of STPPeter Collingbourne
2010-04-05STP: Switch build to using LLVM style Makefiles.Daniel Dunbar
2009-05-21Initial KLEE checkin.Daniel Dunbar
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-09-21 03:14:30 +0000