~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2023-04-06	Support disabling compiler warnings; Use with external headers	Martin Nowack
2023-03-23	stats: add termination class stats	Frank Busse
2023-03-23	stats: add branch type stats	Frank Busse
2023-03-23	stats: rename States -> ActiveStates, add States	Frank Busse
2023-03-23	stats: add Allocations	Frank Busse
2023-03-23	stats: rename numQueries/Queries -> SolverQueries, add Queries	Frank Busse
2023-03-23	stats: add ExternalCalls	Frank Busse
2023-03-23	stats: add QCacheHits/Misses	Frank Busse
2023-03-23	stats: add InhibitedForks	Frank Busse
2022-06-30	rename CallSite to CallBase	Frank Busse
2022-06-30	remove LLVM < 9	Frank Busse
2022-04-01	Remove unnecessary call to deprecated function sqlite3_enable_shared_cache	Cristian Cadar
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