~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Collapse)	Author
2022-03-17	remove LLVM < 6 from sources	Frank Busse

2020-04-30	Removed the Internal directory from include/klee	Cristian Cadar

2018-10-26	llvm6: SetVersionPrinter now passes down a stream	Jiri Slaby
	I.e. klee::printVersion should now have a parameter -- the output stream. Change both the prototype and the implementation to handle this properly. Signed-off-by: Jiri Slaby <jirislaby@gmail.com>
2016-11-30	Remove support for reporting the approximate git tag.	Dan Liew
	This was confusing because it would emit something like `v1.0.0-290-g08d4716` because the 1.1.0 and 1.2.0 releases didn't have a tag on the master branch so `git describe --tags` would just find the `v1.0.0` tag and report based on that tag.
2016-09-29	configure: add option to enable timestamping	Jiri Slaby
	It is pain for build systems to see __DATE__ or __TIME__ in sources as the build is not reproducible. So disable the timestamping by default and add an option to enable it if somebody is really after it. Signed-off-by: Jiri Slaby <jslaby@suse.cz>
2015-04-25	Report the git tag if exists in the output of --version from klee	Dan Liew
	and kleaver.
2015-04-25	Give KLEE release version information in the output of klee and kleaver	Dan Liew
	when they are given the --version command line option. Unfortunately to make the build type and git revision available we need to check this for every build which means KLEE's support library will be rebuilt for every build which will slow down incremental builds. This addresses issue #231