about summary refs log tree commit diff homepage
path: root/lib/Core/StatsTracker.cpp
AgeCommit message (Expand)Author
2020-01-19Remove statistics limit from istats.Martin Nowack
2020-01-13Assume assembly.ll is local to the run.istats fileMartin Nowack
2019-12-13Remove unnecessary std::move's that prevent copy elisionCristian Cadar
2019-10-29ExecutorTimers: refactor and move to support libFrank Busse
2019-09-03Moved solver-related header files into a separate klee/Solver/ directory.Cristian Cadar
2019-08-12StatsTracker: switch from TRUNCATE to WAL journal modeFrank Busse
2019-04-04some minor refactoringsFrank Busse
2019-04-04Clean klee-stats, StatsTracker and cmakeTimotej Kapus
2019-04-04Change the .stats format into sqlite3Timotej Kapus
2019-03-21drop support for LLVM <= 3.7Julian Büning
2019-03-19Use debugging information from newer LLVM versionsMartin Nowack
2019-03-15Created a new statistics option categoryCristian Cadar
2019-03-13Consistently use "default=true" and "default=false" instead of "default=on" a...Cristian Cadar
2018-10-30Base time API upon std::chronoFrank Busse
2018-10-23refactor klee_open_output_file to return std::unique_ptrJulian Büning
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
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-25 18:49:20 +0000