about summary refs log tree commit diff homepage
path: root/lib/Module/KModule.cpp
AgeCommit message (Expand)Author
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-22 08:15:07 +0000