~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2023-04-21	Tests: replaced "-data" and "-stat" by "_data" and "_stat" for consistency wi...	Cristian Cadar
2023-03-22	STP: add option to switch SAT solver: --stp-sat-solver and set default to Cry...	Frank Busse
2023-02-28	Add a few simple solver tests	Daniel Schemmel
2019-03-20	tests: add STPDumpDebugQueries.c	Frank Busse
2019-03-07	Renamed %llvmgcc and %llvmgxx to %clang and %clangxx respectively.	Cristian Cadar
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