~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2020-12-04	llvm11: Use getCalledOperand instead of getCalledValue	Lukas Zaoral
2020-09-26	Replace llvm::CallSite with llvm::CallBase on LLVM 8+	Lukas Zaoral
2020-06-24	StatsTracker: initialize indexed stats when user searcher requires MD2U	Adrian Herrera
2020-04-30	Moved header files that were placed directly in include/klee/ into appropriat...	Cristian Cadar
2020-04-30	Created include/klee/Core directory and moved appropriate files direc\	Cristian Cadar
2020-04-30	Removed the Internal directory from include/klee	Cristian Cadar
2020-03-22	StatsTracker: remove NumObjects, fix assignment of and always write ArrayHash...	Frank Busse
2020-03-02	stats: enforce table creation	Frank Busse
2020-01-19	Remove statistics limit from istats.	Martin Nowack
2020-01-13	Assume assembly.ll is local to the run.istats file	Martin Nowack
2019-12-13	Remove unnecessary std::move's that prevent copy elision	Cristian Cadar
2019-10-29	ExecutorTimers: refactor and move to support lib	Frank Busse
2019-09-03	Moved solver-related header files into a separate klee/Solver/ directory.	Cristian Cadar
2019-08-12	StatsTracker: switch from TRUNCATE to WAL journal mode	Frank Busse
2019-04-04	some minor refactorings	Frank Busse
2019-04-04	Clean klee-stats, StatsTracker and cmake	Timotej Kapus
2019-04-04	Change the .stats format into sqlite3	Timotej Kapus
2019-03-21	drop support for LLVM <= 3.7	Julian Büning
2019-03-19	Use debugging information from newer LLVM versions	Martin Nowack
2019-03-15	Created a new statistics option category	Cristian Cadar
2019-03-13	Consistently use "default=true" and "default=false" instead of "default=on" a...	Cristian Cadar
2018-10-30	Base time API upon std::chrono	Frank Busse
2018-10-23	refactor klee_open_output_file to return std::unique_ptr	Julian Büning
2018-09-18	llvm4: use chrono helpers from LLVM	Jiri Slaby
2018-07-12	llvm38: no more implicit iterators	Richard Trembecký
2018-07-04	Reorder linking and optimizations	Martin Nowack
2018-05-21	stop using DEBUG macro name	Jiri Slaby
2018-05-17	Abort execution if --only-output-states-covering-new is enabled but its depen...	Cristian Cadar
2018-03-01	Store CexCache stats and then update klee-stats to use them	Domenico Fabio Marino
2017-08-27	Remove unnecessary null pointer checks	Oscar Deits
2017-07-23	Remove support for LLVM < 3.4	Martin Nowack
2017-06-15	llvm: get rid of static_casts from iterators	Jiri Slaby
2017-05-24	llvm: make KLEE compile against LLVM 3.5 and 3.6	Richard Trembecký
2017-03-01	Core: explicitly create CallSite from Instruction	Jiri Slaby
2017-02-28	convert iterators using static_cast	Jiri Slaby
2017-02-21	Teach `klee::getDirectCallTarget()` to resolve weak aliases. This is	Dan Liew
2016-07-08	Add deterministic allocation of memory	Martin Nowack
2016-07-08	Add feature to dump statistics after n instructions	Martin Nowack
2016-03-01	Documented default values for various options and improved the description of...	Cristian Cadar
2016-02-27	Use klee-provided GetMallocUsage for consistency	Martin Nowack
2015-12-18	Move lib/Solver/SolverStats.h -> include/klee/SolverStats.h	Dan Liew
2015-12-17	Refactoring: Moving klee_warning/_error functions to ErrorHandling in Support...	Martin Nowack
2015-04-25	Give KLEE release version information in the output of klee and kleaver	Dan Liew
2014-09-14	Fix LLVM3.5 compilation due to switching to std::error_code	Dan 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-12	Tweak the workarounds for multiple definition of PACKAGE_* macros from config...	Daniel Dunbar
2014-05-29	Remove #include <iostream> to avoid static constructors	Martin Nowack
2014-05-29	Refactoring from std::ostream to llvm::raw_ostream	Martin Nowack