about summary refs log tree commit diff homepage
path: root/lib/Core
AgeCommit message (Expand)Author
2015-02-13refactor integer overflow detection, add signed intLuca Dariz
2015-02-13Detect overflow of unsigned add, sub and mul operationsLuca Dariz
2015-02-13Revert "Merged @luckyluke's change for detecting overflow of unsigned add, sub"Cristian Cadar
2015-02-10Merged @luckyluke's change for detecting overflow of unsigned add, subCristian Cadar
2014-12-19Merge pull request #168 from willemp/fix-va-args-passing-for-big-typesCristian Cadar
2014-12-02Implement :named and let abbreviation modes in ExprSMTLIBPrinterRaimondas Sasnauskas
2014-10-09Fixed passing of long double (and other big types) in var_args on x86_64. Rem...Willem
2014-09-19Removed code related to underConstrained, as it is unused (issue pointed out ...Cristian Cadar
2014-09-15Taught klee_warning(), klee_error() etc... to emit coloured text output.Dan Liew
2014-09-14[LLVM3.5] Ensure Twine definition is available from Executor.h.Daniel Dunbar
2014-09-14Fix LLVM3.5 compilation due to switching to std::error_codeDan Liew
2014-09-14[LLVM3.5] Update for move of CFG.h into IR.Daniel Dunbar
2014-09-14[LLVM3.5] Update for CallSite.h move into IR/.Daniel Dunbar
2014-09-14[Core] Fix a bug in how source file names were written in .istats files.Daniel Dunbar
2014-09-14[Core] Remove support for "--use-asm-addresses".Daniel Dunbar
2014-09-13[Core] Fix implementation of FRem for LLVM 3.3+, which was wrong (caught by F...Daniel Dunbar
2014-09-13Small edits to test the Travis CI trigger.Cristian Cadar
2014-09-13Add KLEE specific DEBUG macros.Daniel Dunbar
2014-09-12[Core] Fix some warnings in -Asserts builds.Daniel Dunbar
2014-09-12Tweak the workarounds for multiple definition of PACKAGE_* macros from config...Daniel Dunbar
2014-07-04Fix regression reported by Michael Esser and Andrew WatsonDan Liew
2014-06-06Merge pull request #129 from ahorn/masterCristian Cadar
2014-05-29Remove #include <iostream> to avoid static constructorsMartin Nowack
2014-05-29Refactoring from std::ostream to llvm::raw_ostreamMartin Nowack
2014-05-19Rename command line option for equality substitutionsahorn
2014-05-12Add SimplifyExpressions command line optionahorn
2014-04-24Merge pull request #116 from MartinNowack/fix_mallocDan Liew
2014-04-24Removed ununsed Executor field in WeightedRandomSearcher to silenceDan Liew
2014-04-24Renamed GetTotalMemoryUsage to GetTotalMallocUsageMartin Nowack
2014-04-24Fix handling of memory usage in KLEE.Martin Nowack
2014-04-14Fix mistake in StatsTracker. It should be reporting process ID butDan Liew
2014-04-14Replace sys::Process::GetCurrentUserId() with getuid() because itDan Liew
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-02-24Improved help message for make-concrete-symbolic and fixed some typos.Cristian Cadar
2014-02-06Implement const_iterator interface for SpecialFunctionHandler soDan Liew
2014-01-12Merge pull request #68 from MartinNowack/feature_kleeInternalFunctionsDan Liew
2013-12-21Do not install KLEE's internal libraries.Dan Liew
2013-12-19Added a few comments to Executor::getLastNonKleeInternalInstruction()Dan Liew
2013-12-19When writing stack traces for bugs write the location in the assembly.llDan Liew
2013-12-19If error location information is missing be explicit about it. ThisDan Liew
2013-12-19Allow to specify KLEE-internal functionsMartin Nowack
2013-12-06Deprecate LLVM 2.8 and lowerMartin Nowack
2013-12-05Fix timer leakMartin Nowack
2013-11-13Fix using assembler addresses for global variablesMartin Nowack
2013-10-11MetaSMT builder, solver and command-line options.Hristina Palikareva
2013-09-25Merge pull request #25 from paulmar/masterCristian Cadar
2013-09-25Obey --max-forks in switch statementsPaul Marinescu
2013-09-21Merge pull request #17 from MartinNowack/LLVM33Cristian Cadar
2013-08-30Merge branch 'CompilerWarnings' of https://github.com/MartinNowack/klee into ...Cristian Cadar
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-30 00:14:40 +0000