about summary refs log tree commit diff homepage
path: root/lib/Core/ExecutorUtil.cpp
AgeCommit message (Expand)Author
2020-06-25ExecutorUtil: assert that GlobalValue is already knownJulian Büning
2020-04-30Created include/klee/Core directory and moved appropriate files direc\Cristian Cadar
2020-04-30Removed the Internal directory from include/kleeCristian Cadar
2019-09-03Moved solver-related header files into a separate klee/Solver/ directory.Cristian Cadar
2019-07-30Consolidated Expr-related include files into a single include/klee/Expr direc...Cristian Cadar
2019-03-21drop support for LLVM <= 3.7Julian Büning
2018-11-05Fixed crash on zero size arraysLukas Wölfer
2018-09-18llvm4: gep_type_iterator has no operator*Jiri Slaby
2018-05-22Removed .c_str() from getSourceLocation callsCristian Cadar
2018-05-22Renamed printFileLine to getSourceLocation (as suggested by @delcypher) to re...Cristian Cadar
2018-05-21fix some casts for LLP64 compilersFrank Busse
2018-05-01add blockaddress and indirectbr instructionsFrank Busse
2018-02-18Fail for aggegrations with big endian orderingMartin Nowack
2018-02-18Fixed handling of constant vectors with complex dataMartin Nowack
2018-02-18Fix getelementptr for array or vector indicesMartin Nowack
2018-02-18Fix generation of expressions from constant sequential dataMartin Nowack
2017-08-07Untabify this file, which was using a mix of spaces and tabs for alignment.Cristian Cadar
2017-08-07Added checks for div/mod by zero and overshifts in constant expressions. Suc...Cristian Cadar
2017-07-29Added an optional KInstruction* argument to evalConstant and evalConstantExpr...Cristian Cadar
2017-07-25This commit simply moves evalConstant to ExecutorUtil (where evalConstantExpr...Cristian Cadar
2017-07-23Remove support for LLVM < 3.4Martin Nowack
2017-02-13Silenced two "control may reach end of non-void function [-Wreturn-type]" com...Cristian Cadar
2014-09-14[LLVM3.5] Update for CallSite.h move into IR/.Daniel Dunbar
2014-05-29Remove #include <iostream> to avoid static constructorsMartin Nowack
2014-05-29Refactoring from std::ostream to llvm::raw_ostreamMartin Nowack
2013-12-06Deprecate LLVM 2.8 and lowerMartin Nowack
2013-08-27Port to LLVM 3.3Martin Nowack
2012-10-08Make the changes in r165394 be conditional on post LLVM 3.1 changes.Micah Villmow
2012-10-08Move TargetData to DataLayout.Micah Villmow
2011-07-20Updates for LLVM 3.0. Based on changes by arrowdodger, thanks!Peter Collingbourne
2011-07-20Deprecate LLVM_VERSION_MAJOR and LLVM_VERSION_MINOR in favour ofPeter Collingbourne
2010-07-08Add support for InsertValue and ExtractValue instructionsPeter Collingbourne
2010-06-24Use LLVM's TargetData::getTypeSizeInBits to determine type bitwidth instead o...Peter Collingbourne
2010-04-26Applied patch submitted by Peter Collingbourne: "Some parts of theCristian Cadar
2010-03-14Update for 2.7.Daniel Dunbar
2009-09-01Update for LLVM ostream changes.Daniel Dunbar
2009-07-28KLEE64: GetElementPtr constants should be evaluated in the target pointer width.Daniel Dunbar
2009-07-28Move Machine constants into Context object, initialized based on the targetDaniel Dunbar
2009-06-14More ConstantExpr cleanup.Daniel Dunbar
2009-06-07Implement array declarations.Daniel Dunbar
2009-06-05Clean up a number of unused variable warnings when building w/oDaniel Dunbar
2009-06-02Use ConstantExpr::alloc instead of ref<Expr> directlyDaniel Dunbar
2009-05-21Initial KLEE checkin.Daniel Dunbar
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-23 05:23:20 +0000