~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2022-06-28	Implement getArrayForUpdate iteratively	Daniel Schemmel
2020-05-01	[Solver:STP] Fix handling of array names	Martin Nowack
2020-04-30	Removed include/klee/util and moved header files to appropriate places	Cristian Cadar
2020-04-30	Removed the Internal directory from include/klee	Cristian Cadar
2020-02-19	Use `ref<>` for UpdateNode	Martin Nowack
2019-09-03	Moved solver-related header files into a separate klee/Solver/ directory.	Cristian Cadar
2019-07-30	Consolidated Expr-related include files into a single include/klee/Expr direc...	Cristian Cadar
2019-03-13	Renamed --use-construct-hash to --use-construct-hash-stp and moved it and use...	Cristian Cadar
2018-05-09	Improve handling of constant array in Z3	Timotej Kapus
2017-06-01	[Z3] Remove unused include.	Dan Liew
2017-06-01	[Z3] Implement API logging.	Dan Liew
2017-06-01	[Z3] Move the `dump()` methods of the Z3NodeHandle<> specializations	Dan Liew
2017-06-01	[Z3] Add assertions in Z3 builder to catch underflow with bad widths.	Dan Liew
2016-04-09	Generate unique STP and Z3 array names deterministically	Martin Nowack
2016-02-14	Handle Z3 API change between 4.4.1 and the current master branch	Dan Liew
2016-02-14	Add basic implementation of Z3Builder and Z3Solver and Z3SolverImpl	Dan Liew