~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2018-10-26	llvm5: test, add -disable-O0-optnone to -O0	Jiri Slaby
2018-05-09	Improve handling of constant array in Z3	Timotej Kapus
2016-11-23	Renamed .pc to .kquery (kleaver query)	Eric Rizzi
2016-05-24	Fixed bug #375 in Kleaver's parser	Andrea Mattavelli
2016-01-12	Refactor setting the core solver (i.e. STP, MetaSMT or DummySolver) by providing	Dan Liew
2015-04-15	Fix the handling of AShrExpr in ExprSMTLIBPrinter so that an overshift	Dan Liew
2014-02-14	Fixed overshift of arithmetic right shift by constant so that it	Dan Liew
2014-02-14	Fixed overshift of arithmetic right shift by symbolic so that it overshifts	Dan Liew
2014-02-14	Fixed overshift of logical right shift by constant so that it	Dan Liew
2014-02-14	Fixed overshift of logical right shift by symbolic so that it overshifts	Dan Liew
2014-02-14	Fixed overshifting an expression by a constant so that we overshift to	Dan Liew
2014-02-14	Added a test case for testing overshift behaviour of Shl and fixed	Dan Liew
2014-01-20	Remove the last remnants (I think) of DejaGNU. Goodbye!	Dan Liew
2014-01-20	Fixed many tests that make use of the file tool to check	Dan Liew
2013-10-15	Fixed nondeterministic behaviour in test case ./test/Solver/LargeIntegers.pc ...	Hristina Palikareva
2011-07-24	Applied patch by Leandro Sales that makes Kleaver compatible with the	Cristian Cadar
2009-06-26	More large integer support.	Daniel Dunbar
2009-06-25	Kill off last getConstantValue uses.	Daniel Dunbar
2009-06-16	Improve FastCexSolver:	Daniel Dunbar