~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Collapse)	Author
2019-08-01	Renamed misspelled file	Cristian Cadar

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.
2017-03-23	Add `AssignmentValidatingSolver`. It's purpose is to check any computed	Dan Liew
	assignments against the corresponding `Query` object and check the assignment evaluates correctly. This can be switched on using `-debug-assignment-validating-solver` on the command line.
2016-02-23	When calling ``Assignment::dump()`` if there are no bindings emit	Dan Liew
	a message stating this.
2016-02-23	Move ``Assignment::dump()`` into its own implementation file so	Dan Liew
	that it's possible to call it from gdb.