~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2020-03-27	Ensure that temp_builder is used when adding constant array value assertion c...	Daniel Grumberg
2020-03-22	StatsTracker: remove NumObjects, fix assignment of and always write ArrayHash...	Frank Busse
2020-03-22	[posix-runtime] Simple GET/SET_LK model	Timotej Kapus
2020-03-19	Additional test for dealing with vector instructions	Cristian Cadar
2020-03-18	Added another `ScalarizerLegacyPass` run to remove vectorized code introduced...	Frederic Kehrein
2020-03-17	Fixed compiler warning when printing variable of type off_t	Cristian Cadar
2020-03-17	stat64 is deprecated on macOS; use stat instead	Cristian Cadar
2020-03-10	Use -snap VMs on Cirrus for FreeBSD	Cristian Cadar
2020-03-06	Updating KLEE's version post-release	Cristian Cadar
2020-03-03	Release notes for 2.1 v2.1 2.1.x	Cristian Cadar
2020-03-03	Set version to 2.1	Cristian Cadar
2020-03-02	fix lit.cfg: numerical comparison of LLVM version numbers	Julian Büning
2020-03-02	travis: add LLVM 10.0	Julian Büning
2020-03-02	test/lit.cfg: add LLVM 10.0	Julian Büning
2020-03-02	stats: enforce table creation	Frank Busse
2020-03-01	[klee-stats] Grafana: Limit number of entries to query for column names	Martin Nowack
2020-03-01	[klee-stats] Use the last row inserted instead of the row with highest Instru...	Martin Nowack
2020-03-01	[klee-stats] Refactor preparing and printing the table	Martin Nowack
2020-03-01	[klee-stats] Check for existence of stats file for Grafana as well	Martin Nowack
2020-03-01	[klee-stats] Do not crash if tabulate is not installed but requested	Martin Nowack
2020-03-01	[klee-stats] Refactor writing table into own function	Martin Nowack
2020-03-01	[klee-stats] Refactor CSV printout in own function	Martin Nowack
2020-03-01	[klee-stats] Check if stats file exist before trying to open it	Martin Nowack
2020-02-24	Add leading zeros to genbout	Timotej Kapus
2020-02-24	fix p-llvm.inc: invocation for monorepo directory layout	Julian Büning
2020-02-24	find_llvm.cmake: enable parsing for git version	Julian Büning
2020-02-23	Use FreeBSD 11.3-STABLE instead of EoLed 11.2.	Gleb Popov
2020-02-23	Workaround `pkg` breakage on FreeBSD CI.	Gleb Popov
2020-02-19	Use `ref<>` for MemoryObject handling	Martin Nowack
2020-02-19	Use `ref<>` for UpdateNode	Martin Nowack
2020-02-19	Clean-up header files	Martin Nowack
2020-02-19	Add move assignment operator and move construct for `ref` class.	Martin Nowack
2020-02-19	Add `ReferenceCounter` struct utilized by ref<>	Martin Nowack
2020-02-19	Fix ptr reference invalidation if last reference gets freed before new refere...	Martin Nowack
2020-02-13	Use call-by-reference for hash-function invocation	Martin Nowack
2020-02-13	Replace old TR1 implementations of unordered_map/set with std::* versions	Martin Nowack
2020-02-13	Use a newer Ubuntu 18.04 from the year 2020 to build KLEE Dockerimage	Martin Nowack
2020-02-13	Use a newer Ubuntu 18.04 from the year 2020 to build KLEE	Martin Nowack
2020-02-13	Update Docker image template for KLEE.	Martin Nowack
2020-02-13	Use system's boost when building metasmt and user newer boolector version	Martin Nowack
2020-02-13	Do not wait if SANITIZER_BUILD is empty	Martin Nowack
2020-02-13	Add llvm as build dependency of clang in case no system packages are available	Martin Nowack
2020-02-13	Add patch support for libcxx	Martin Nowack
2020-02-13	Use git repository to build LLVM	Martin Nowack
2020-02-13	Update ubuntu build dependencies for KLEE	Martin Nowack
2020-01-28	update	comet
2020-01-19	Remove statistics limit from istats.	Martin Nowack
2020-01-18	Fix handling of debug information for functions	Martin Nowack
2020-01-17	Add support to provid a specific host address and port for grafana server	Martin Nowack
2020-01-17	Add additional packages to provide an out-of-the-box grafana support	Martin Nowack