about summary refs log tree commit diff homepage
path: root/lib/Core/StatsTracker.cpp
AgeCommit message (Expand)Author
2018-09-18llvm4: use chrono helpers from LLVMJiri Slaby
2018-07-12llvm38: no more implicit iteratorsRichard Trembecký
2018-07-04Reorder linking and optimizationsMartin Nowack
2018-05-21stop using DEBUG macro nameJiri Slaby
2018-05-17Abort execution if --only-output-states-covering-new is enabled but its depen...Cristian Cadar
2018-03-01Store CexCache stats and then update klee-stats to use themDomenico Fabio Marino
2017-08-27Remove unnecessary null pointer checksOscar Deits
2017-07-23Remove support for LLVM < 3.4Martin Nowack
2017-06-15llvm: get rid of static_casts from iteratorsJiri Slaby
2017-05-24llvm: make KLEE compile against LLVM 3.5 and 3.6Richard Trembecký
2017-03-01Core: explicitly create CallSite from InstructionJiri Slaby
2017-02-28convert iterators using static_castJiri Slaby
2017-02-21Teach `klee::getDirectCallTarget()` to resolve weak aliases. This isDan Liew
2016-07-08Add deterministic allocation of memoryMartin Nowack
2016-07-08Add feature to dump statistics after n instructionsMartin Nowack
2016-03-01Documented default values for various options and improved the description of...Cristian Cadar
2016-02-27Use klee-provided GetMallocUsage for consistencyMartin Nowack
2015-12-18Move lib/Solver/SolverStats.h -> include/klee/SolverStats.hDan Liew
2015-12-17Refactoring: Moving klee_warning/_error functions to ErrorHandling in Support...Martin Nowack
2015-04-25Give KLEE release version information in the output of klee and kleaverDan Liew
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-12Tweak the workarounds for multiple definition of PACKAGE_* macros from config...Daniel Dunbar
2014-05-29Remove #include <iostream> to avoid static constructorsMartin Nowack
2014-05-29Refactoring from std::ostream to llvm::raw_ostreamMartin 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
2013-12-06Deprecate LLVM 2.8 and lowerMartin Nowack
2013-09-21Merge pull request #17 from MartinNowack/LLVM33Cristian Cadar
2013-08-29Revert "Use new PathV2 interface for LLVM 2.9 and higher"Martin Nowack
2013-08-29Use new PathV2 interface for LLVM 2.9 and higherMartin Nowack
2013-08-28Silence warning of deprecated PathV1 usageMartin Nowack
2013-08-27Port to LLVM 3.3Martin Nowack
2012-10-18Nice patch by Hristina Palikareva that removes the dependency on STPCristian Cadar
2012-02-12Update for LLVM changes - there is no more "unwind" instruction.Peter Collingbourne
2011-11-29Updates for LLVM 3.1.Peter Collingbourne
2011-09-02Applied patch from David Ramos that fixes a bug in minDistToUncoveredCristian Cadar
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
2011-03-30Fixed bug in WeightedRandomSearcher (CoveringNew). Patch by DavidCristian Cadar
2010-08-05Have getDirectCallTarget use CallSitePeter Collingbourne
2010-08-05Use CallSite in StatsTracker::computeReachableUncoveredPeter Collingbourne
2010-03-14Update for 2.7.Daniel Dunbar
2009-07-25(llvm up) Update for llvm::Value getName() change.Daniel Dunbar
2009-05-27Unbreak istatsDaniel Dunbar
2009-05-21Initial KLEE checkin.Daniel Dunbar
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-12-02 07:19:02 +0000