about summary refs log tree commit diff homepage
path: root/lib/Module/KModule.cpp
AgeCommit message (Expand)Author
2017-07-20Merge pull request #657 from delcypher/vectorized_instructionsCristian Cadar
2017-07-20Replace assertions of types on LLVM instructions in the Executor with aDan Liew
2017-07-19Implement basic support for vectorized instructions.Dan Liew
2017-07-18Merge pull request #672 from jirislaby/llvm40_static_castsAndrea Mattavelli
2017-06-16llvm37: introduce type for PassManagerJiri Slaby
2017-06-15llvm: get rid of static_casts from iteratorsJiri Slaby
2017-06-12llvm: don't use clEnumValEnd for LLVM 4.0Jiri Slaby
2017-05-24llvm: make KLEE compile against LLVM 3.5 and 3.6Richard Trembecký
2017-02-28convert iterators using static_castJiri Slaby
2017-02-25llvm: stop using global contextJiri Slaby
2016-09-16Avoid internalization of non-standard entry point (i.e. not the main function...Andrea Mattavelli
2015-12-17Refactoring: Moving klee_warning/_error functions to ErrorHandling in Support...Martin Nowack
2014-09-15Removed inlineChecks() function which was just dead code.Dan Liew
2014-09-14[LLVM3.5] Update for more random headers moving around.Daniel Dunbar
2014-09-14[LLVM3.5] Update for CallSite.h move into IR/.Daniel Dunbar
2014-09-14[LLVM3.5] Don't try to use DEBUG macro without DEBUG_TYPE.Daniel Dunbar
2014-09-13Add KLEE specific DEBUG macros.Daniel Dunbar
2014-05-29Refactoring from std::ostream to llvm::raw_ostreamMartin Nowack
2014-04-14Tidy up code by using LLVM's V2 path API only and removing usesDan Liew
2014-04-14Use SmallString and llvm::sys::path/fs API of LLVM 3.4 becauseMartin Nowack
2014-01-17Make KLEE fail in case main function is missingMartin Nowack
2013-12-19Optimize inlineChecks functionMartin Nowack
2013-12-19Allow to specify KLEE-internal functionsMartin Nowack
2013-12-06Remove stoppoint referencesMartin Nowack
2013-12-06Deprecate LLVM 2.8 and lowerMartin Nowack
2013-12-05Free used constants if not used anymoreMartin Nowack
2013-10-29Merge pull request #26 from delcypher/fix_divide_by_zeroPaul
2013-09-21Merge pull request #17 from MartinNowack/LLVM33Cristian Cadar
2013-09-02Implemented runtime check for overshift (controllable with --check-overshiftDan Liew
2013-09-02Fixed bug where divide by zero bugs would only be detected once in a programDan Liew
2013-09-02Fixed unused static function warning for forceImportMartin Nowack
2013-08-28Fixed warning about unused variableMartin 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
2011-04-23Patch by arrowdodger (http://keeda.stanford.edu/pipermail/klee-dev/2011-April...Cristian Cadar
2010-08-05Store CallInst and InvokeInst operands in a fixed order: function, arg0, arg1...Peter Collingbourne
2010-07-08Add support for InsertValue and ExtractValue instructionsPeter Collingbourne
2010-03-14Update for 2.7.Daniel Dunbar
2009-10-25Update source to build against LLVM 2.6Daniel Dunbar
2009-09-21Don't try to evaluate MDNode operands.Daniel Dunbar
2009-09-01Update for LLVM ostream changes.Daniel Dunbar
2009-08-17Update for LLVM API change.Daniel Dunbar
2009-08-01Rename intrinsic library to libkleeRuntimeInstrinsic, for consistency.Daniel Dunbar
2009-07-25(llvm up) Update for llvm::Value getName() change.Daniel Dunbar
2009-05-21Initial KLEE checkin.Daniel Dunbar
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-23 13:07:35 +0000