~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2014-04-14	Fix test case to support new llvm-lit	Martin Nowack
2014-04-14	Update to new lit configuration to support changes in LLVM3.4	Martin Nowack
2014-04-02	Modify the SMT-LIB printer to declare arrays in a deterministic (alphabetical...	Peter Collingbourne
2014-02-24	Improved DumpStatesOnHalt.c to make sure there is always more than one instru...	Cristian Cadar
2014-02-24	Fixed AliasFunction.c and AliasFunctionExit.c to work also when optimizations...	Cristian Cadar
2014-02-14	Added C test case that checks that concrete and symbolic 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	Added C test case that checks that concrete and symbolic overshift	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	Added C test case that checks that concrete and symbolic overshift	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-02-09	Merge pull request #100 from delcypher/pass-param-llvm-lit	Cristian Cadar
2014-02-04	Explicitly propagate CPLUS_INCLUDE_PATH and C_INCLUDE_PATH environment	Dan Liew
2014-01-29	Fix Runtime/POSIX/Isatty.c test under LLVM3.3. The program makes	Dan Liew
2014-01-28	Allow passing arbitrary command line flags to klee and kleaver	Dan Liew
2014-01-20	Hide make check command unless using VERBOSE make variable.	Dan Liew
2014-01-20	Explicitly use only one thread when invoking llvm-lit in TestRunner.sh	Dan Liew
2014-01-20	Fixed test cases that fail if using an in-source build	Dan Liew
2014-01-20	Only run klee-uclibc tests if KLEE was configured with klee-uclibc	Dan Liew
2014-01-20	Partially fix python detection for running llvm-lit.	Dan Liew
2014-01-20	Remove the last remnants (I think) of DejaGNU. Goodbye!	Dan Liew
2014-01-20	Give absolute paths to KLEE's tools in lit.cfg . This fixes a long	Dan Liew
2014-01-20	Only run SELinux test if support for SELinux was detected at configure	Dan Liew
2014-01-20	Added Runtime/POSIX/lit.local.cfg file that prevents the POSIX	Dan Liew
2014-01-20	Fixed tests where llvm-gcc was called without the -emit-llvm flag.	Dan Liew
2014-01-20	Add lit.local.cfg file for test/Concrete so no tests are executed	Dan Liew
2014-01-20	Removed all of llvm-lit's dependence on DejaGNU. A few things	Dan Liew
2014-01-20	Fixed Feature/InAndOutOfBounds.c so it did not make use of ! which	Dan Liew
2014-01-20	Force python2 to be used when running llvm-lit. This needs to be fixed	Dan Liew
2014-01-20	Fix Feature/Envp.c test for llvm-lit by providing the PWD environmental variable	Dan Liew
2014-01-20	Fixed Feature/LongDouble.cpp test for llvm-lit by removed use of	Dan Liew
2014-01-20	Fixed many tests that make use of the file tool to check	Dan Liew
2014-01-20	Allow llvm-lit from 2.9 to work by hacking %T substitution variable.	Dan Liew
2014-01-20	Put llvm tools directory at beginning of PATH list so that the LLVM	Dan Liew
2014-01-20	Add LLVM tool directory to PATH when running tests with llvm-lit.	Dan Liew
2014-01-20	Fixed Expr/Parser/Simplify.pc test for llvm-lit. Escaped quote issue.	Dan Liew
2014-01-20	Fixed Expr/Parser/MultiByteReads.pc test.	Dan Liew
2014-01-20	Fixed Expr/Parser/ConstantFolding.pc test for llvm-lit (this probably	Dan Liew
2014-01-20	Removed use of deprecated Tcl parser for tests. This allows	Dan Liew
2013-11-14	Add additional note that testcase might fail if	Martin Nowack
2013-11-02	Fix Futimesat compilation with newer gcc and clang	Martin Nowack
2013-10-29	Merge pull request #26 from delcypher/fix_divide_by_zero	Paul
2013-10-17	Fixed solver-related nondeterminism in test case ./test/Feature/ExprLogging.c...	Hristina Palikareva
2013-10-15	Fixed nondeterministic behaviour in test case ./test/Solver/LargeIntegers.pc ...	Hristina Palikareva
2013-10-14	Replaced --libc=klee with --libc=uclibc in two tests (as for https://github.c...	Cristian Cadar
2013-09-25	Merge pull request #25 from paulmar/master	Cristian Cadar
2013-09-23	Lower intrinsic instruction "llvm.trap" to a call of the abort() function.	Lei Zhang