about summary refs log tree commit diff homepage
path: root/lib/Module
AgeCommit message (Expand)Author
2014-01-17Fix error message for failing linking of librariesMartin Nowack
2014-01-17Make KLEE fail in case main function is missingMartin Nowack
2014-01-12Merge pull request #68 from MartinNowack/feature_kleeInternalFunctionsDan Liew
2013-12-21Do not install KLEE's internal libraries.Dan Liew
2013-12-19Only record debug info into InstructionInfoTable if debug informationDan Liew
2013-12-19Remove old algorithm for acquiring debug info. Since LLVM 2.7,Dan Liew
2013-12-19Optimize inlineChecks functionMartin Nowack
2013-12-19Replicate debug information from checked instructions to checker call.Martin Nowack
2013-12-19Allow to specify KLEE-internal functionsMartin Nowack
2013-12-19Simplify acquisition of debug informtion for instruction info with newer LLVM...Martin Nowack
2013-12-06Remove stoppoint referencesMartin Nowack
2013-12-06Deprecate LLVM 2.8 and lowerMartin Nowack
2013-12-05Fix unitialized valueMartin Nowack
2013-12-05Free used constants if not used anymoreMartin Nowack
2013-10-29Merge pull request #26 from delcypher/fix_divide_by_zeroPaul
2013-10-11Merge pull request #40 from antiAgainst/intrinsic-trapCristian Cadar
2013-10-08Remove llvm.trap declaration after cleaning all uses.Lei Zhang
2013-10-08Merge pull request #34 from ddcc/masterCristian Cadar
2013-09-24Add missing header file and linker parameterDominic Chen
2013-09-24Replace implementation of linkWithLibrary()Dominic Chen
2013-09-23Lower intrinsic instruction "llvm.trap" to a call of the abort() function.Lei Zhang
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
2013-08-15Implemented llvm.umul.with.overflowMartin Nowack
2013-04-05Fixed error that I introduced by mistake in the last commit (thanks again to ...Cristian Cadar
2013-04-04Patch by Michael Contreras and Jiri Slaby for compiling KLEE with LLVM 3.2Cristian Cadar
2012-11-27Patch sent by both Bogdan Copos and Nick Sumner fixing compilation with LLVM 3.1Cristian Cadar
2012-10-08Fix to previous patch, which would not compile with LLVM 2.9.Cristian Cadar
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
2012-04-10Lowering support for the llvm.uadd.with.overflow intrinsic.Peter Collingbourne
2012-04-07Fix compilation with LLVM trunk.Peter Collingbourne
2012-03-08Taken into account Duncan's comments for r149481 dated by 2nd Feb 2012:Stepan Dyatkovskiy
2012-02-01Second compatability fix for SwitchInst refactoring (added compatability with...Stepan Dyatkovskiy
2012-02-01Compatability fix for SwitchInst refactoring.Stepan Dyatkovskiy
2011-12-08Update for changes in LLVM trunk. Original patch by arrowdodger!Peter Collingbourne
2011-11-29Updates for LLVM 3.1.Peter Collingbourne
2011-09-02Update location of TargetSelect.h and TargetRegistry.h for LLVM 3.0+Peter Collingbourne
2011-08-09Disable the LowerSetJmpPass on LLVM 3.0+Peter Collingbourne
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-06-23When extracting path from debug info, use file name on its own if it begins w...Peter Collingbourne
2011-04-23Patch by arrowdodger (http://keeda.stanford.edu/pipermail/klee-dev/2011-April...Cristian Cadar
2010-11-14On LLVM 2.9+, use TargetLowering::ExpandInlineAsm to expand asm codePeter Collingbourne
2010-10-22Disable loop index split pass for LLVM 2.9+Peter Collingbourne
2010-09-30Add missing include to make sure version macros are present.Daniel Dunbar
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-30 19:03:45 +0000