~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Collapse)	Author
2022-06-28	Implement getArrayForUpdate iteratively	Daniel Schemmel

2020-02-19	Use `ref<>` for MemoryObject handling	Martin Nowack
	This uses the `ref<>`-based memory handling of MemoryObjects. This makes it explicit that references are held in: - ExecutionState::symbolics - ObjectState
2019-07-30	Consolidated Expr-related include files into a single include/klee/Expr ↵	Cristian Cadar
	directory. This improves the organization of the code, and also makes it easier to reuse Expr outside KLEE.
2019-06-04	make include guard naming consistent	Julian Büning

2016-09-29	remove mimic_stp option and the associated ITE chain construction for shift ↵	Hoang M. Le
	operators
2016-06-28	add assertions to check the pre-condition of bvVar*Shift that both operands ↵	Hoang M. Le
	have the same bv width
2016-06-27	change bitwidth of expr_shpost in MetaSMTBuilder::constructSDivByConstant to ↵	Hoang M. Le
	64, so that the first two arguments of the call bvVarRightShift(extend_npm, expr_shpost, 64) have the same bitwidth of 64.
2016-06-10	apply clang-format	Hoang M. Le

2016-06-10	remove now unused getShiftBits()	Hoang M. Le

2016-06-10	remove bitmasking shift amount in bvVarArithRightShift	Hoang M. Le

2016-06-10	remove bitmasking shift amount in bvVarRightShift	Hoang M. Le

2016-06-10	remove bitmasking shift amount in bvVarLeftShift	Hoang M. Le

2016-06-10	remove bitmasking shift amount in constructAShrByConstant and make it return ↵	Hoang M. Le
	0 when overshifting
2016-06-10	remove bitmasking shift amount in bvRightShift	Hoang M. Le

2016-06-10	remove bitmasking shift amount in bvLeftShift	Hoang M. Le

2016-06-10	handle special cases of sdiv 1 and -1	Hoang M. Le

2016-06-10	clean up metaSMT includes	Hoang M. Le

2016-02-23	Added missing copyright headers per klee/issue #301	Marko Dimjašević

2016-01-14	Make it possible to build KLEE without using STP and only MetaSMT.	Dan Liew
	The default core solver is STP if KLEE is built with STP otherwise it is MetaSMT. Whilst I'm here rename SUPPORT_METASMT macro to ENABLE_METASMT for consistency.
2014-12-09	Merge pull request #186 from paulmar/fixshift	Cristian Cadar
	Fix overshift check
2014-12-08	Fix overshift check	Paul Marinescu
	Shifting by bitwidth-1 is valid
2014-12-03	Handling overshift behaviour in MetaSMTBuilder	Hristina Palikareva

2014-05-29	Refactoring from std::ostream to llvm::raw_ostream	Martin Nowack
	According to LLVM: lightweight and simpler implementation of streams.
2014-04-24	Fixed order of domain and range in array creation in MetaSMTBuilder.	Hristina Palikareva

2014-04-24	Fixed creation of arrays with variable domains and ranges in STPBuilder and ↵	Hristina Palikareva
	MetaSMTBuilder.
2013-10-11	Bug fix in MetaSMTBuilder	Hristina Palikareva

2013-10-11	MetaSMT builder, solver and command-line options.	Hristina Palikareva