~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Collapse)	Author
2020-02-13	Update ubuntu build dependencies for KLEE	Martin Nowack
	Build dependencies for different components were tied to a specific Ubuntu version (16.04). Although, they are the same for newer versions as well. By renaming `p-component-linux-ubuntu-16.04.inc` to `p-component-linux-ubuntu.inc`, the script can be used for newer Ubuntu versions as well. Do some minor cleaning up.
2019-04-05	Add missing dependency for tabulate package	Martin Nowack

2019-04-04	Add MSan support for sqlite	Timotej Kapus

2019-04-04	some minor refactorings	Frank Busse

2019-04-04	Change the .stats format into sqlite3	Timotej Kapus
	Improves querying of the .stats file, reduces its size, speeds up reads and writes and has better defined fail behaviour.
2019-03-10	Updated dependency build system for KLEE	Martin Nowack
	Provide a single `scripts/build/build.sh` file to build KLEE and its dependencies.