~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
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
2013-09-21	Merge pull request #17 from MartinNowack/LLVM33	Cristian Cadar
2013-09-02	Implemented runtime check for overshift (controllable with --check-overshift	Dan Liew
2013-09-02	Fixed bug where divide by zero bugs would only be detected once in a program	Dan Liew
2013-08-29	Added some of the common *at functions to the model	Paul Marinescu
2013-08-28	Fix test case to use llvm-link instead of llvm-ld	Martin Nowack
2013-08-27	Port to LLVM 3.3	Martin Nowack
2013-08-15	Implemented llvm.umul.with.overflow	Martin Nowack
2013-08-06	Renaming solver-related command-line options in order to decouple them from S...	Hristina Palikareva