~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2022-01-06	Comment the code dealing with un/flushed bytes, and resolve old naming issue ...	Cristian Cadar
2021-11-20	Fixed fail with preferCex, removed relation from first argument	Taras Bereznyak
2020-07-01	Use constraint sets and separate metadata for timing solver invocation	Martin Nowack
2020-02-19	Use `ref<>` for MemoryObject handling	Martin Nowack
2020-02-19	Use `ref<>` for UpdateNode	Martin Nowack
2019-07-30	Consolidated Expr-related include files into a single include/klee/Expr direc...	Cristian Cadar
2019-06-04	make endif guard naming consistent	Julian Büning
2018-05-17	Add support for concretizing symbolic objects passed to external functions	Timotej Kapus
2018-05-05	Fix handling of errno if external functions are invoked	Martin Nowack
2018-02-18	Make print function of ObjectState public and const	Martin Nowack
2017-04-09	Removed unused variable 'fake_object' in MemoryObject	Andrea Mattavelli
2015-12-18	Fix memory leaks of ``Array`` objects detected by ASan.	Dan Liew
2012-01-18	Nice patch by Gang Hu, Heming Cui and Junfeng Yang fixing a memory	Cristian Cadar
2010-05-02	Fix some const cast warnings.	Daniel Dunbar
2009-07-28	Move Machine constants into Context object, initialized based on the target	Daniel Dunbar
2009-06-26	Simplify read/write code.	Daniel Dunbar
2009-06-14	More ConstantExpr cleanup.	Daniel Dunbar
2009-06-13	Switch to using constant arrays for non-symbolic objects.	Daniel Dunbar
2009-06-13	Create new ObjectState constructor for explicitly creating symbolic objects.	Daniel Dunbar
2009-06-10	Move Array construction out of MemoryObject into ObjectState.	Daniel Dunbar
2009-06-09	Remove Array::object.	Daniel Dunbar
2009-06-09	Remove Array::id.	Daniel Dunbar
2009-06-09	Add Array::name field, initialized but not used for anything yet.	Daniel Dunbar
2009-06-02	Use ConstantExpr::alloc instead of ref<Expr> directly	Daniel Dunbar
2009-05-21	Initial KLEE checkin.	Daniel Dunbar