~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Collapse)	Author
2023-03-17	[cmake] Use LLVM's CMake functionality only	Martin Nowack
	LLVM became more complex, use LLVM's CMake functionality directly instead of replicating this behaviour in KLEE's build system. Use the correct build flags provided by LLVM itself. This is influenced by the way LLVM is built in the first place. Remove older CMake support (< 3.0).
2020-04-30	Removed the Internal directory from include/klee	Cristian Cadar

2019-09-03	Moved ConstructSolverChain.cpp to the Solver library.	Cristian Cadar

2017-10-06	Silenced warnings on comparison of integers of different signs in TreeStreamTest	Andrea Mattavelli

2017-10-04	Remove Autoconf/Makefile build system and adjust the TravisCI	Dan Liew
	configuration, TravisCI scripts and Dockerfile build appropriately. There are a bunch of clean ups this enables but this commit doesn't attempt them. We can do that in future commits.
2017-07-19	Added some unit tests for TreeStream: one testing some basic behaviour, the ↵	Cristian Cadar
	other a regression test for #562