~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2016-04-17	Merge pull request #359 from delcypher/fix_indep_solver_bug	Cristian Cadar
2016-04-14	This test passes under 2.9, so it cannot be used as an XFAIL. We can enable ...	Cristian Cadar
2016-04-14	Added test case with the examples from https://github.com/klee/klee/issues/33...	Cristian Cadar
2016-03-22	Try to fix #348	Dan Liew
2015-12-17	Fixed a bug with how non power 2 values were written to memory, added test fo...	Timotej Kapus
2015-09-21	Merge pull request #274 from MartinNowack/fix_sdiv_1	Cristian Cadar
2015-09-05	Allow to generate initial values with empty constraint set	Martin Nowack
2015-08-30	Fix signed division by constant 1/ -1	Martin Nowack
2014-12-08	Fix overshift check	Paul Marinescu
2014-09-12	[tests] Set --output-dir on all test runs, in support of running tests in par...	Daniel Dunbar
2014-07-04	Fix regression reported by Michael Esser and Andrew Watson	Dan Liew
2014-04-14	Fix test case to support new llvm-lit	Martin Nowack
2014-01-20	Fixed test cases that fail if using an in-source build	Dan Liew
2014-01-20	Remove the last remnants (I think) of DejaGNU. Goodbye!	Dan Liew
2014-01-20	Fixed tests where llvm-gcc was called without the -emit-llvm flag.	Dan Liew
2014-01-20	Fixed many tests that make use of the file tool to check	Dan Liew
2013-08-28	Fix test case to use llvm-link instead of llvm-ld	Martin Nowack
2012-11-28	Removed fragile test which does not work anymore with clang/llvm 3.1.	Cristian Cadar
2012-05-25	Patch by Paul Marinescu that makes KLEE gracefully fail on assembly code.	Cristian Cadar
2011-07-20	Updates for LLVM 3.0. Based on changes by arrowdodger, thanks!	Peter Collingbourne
2010-04-05	Fix some tests w/ objdir != srcdir.	Daniel Dunbar
2009-05-23	Changed bout to ktest. Kept "BOUT\n" as the header of test files, for backwa...	Cristian Cadar
2009-05-22	Add "name" argument to klee_make_symbolic, and kill off klee_make_symbolic_name.	Daniel Dunbar
2009-05-21	Initial KLEE checkin.	Daniel Dunbar