~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2014-09-14	Upgrade ConcreteTest.py to work with Python3 (Python 2.7.x should still	Dan Liew
2014-09-13	[tests] Add support for testing LLVM version in REQUIRES: and XFAIL: lines.	Daniel Dunbar
2014-09-13	[test/Concrete] Remove the Invoke*.ll tests.	Daniel Dunbar
2014-09-13	[test/Concrete] Update LLVM IR syntax.	Daniel Dunbar
2014-09-13	test/lit.site.cfg is never deleted, leading to misconfiguration errors.	Cristian Cadar
2014-09-13	These tests require --optimize=false to run successfully.	Cristian Cadar
2014-09-12	[Module] Fix handling of instructions without debug info.	Daniel Dunbar
2014-09-12	[tests] Run 'make clean' prior to starting tests.	Daniel Dunbar
2014-09-12	[tests] Add a workaround to try and prevent llvm-gcc from calling putchar(), ...	Daniel Dunbar
2014-09-12	[tests] Rewrite MemoryLimit test to use larger allocations for "little" test ...	Daniel Dunbar
2014-09-12	[tests] Dramatically scale back the forks limit for our ImmutableSet test.	Daniel Dunbar
2014-09-12	[tests] Set --output-dir on all test runs, in support of running tests in par...	Daniel Dunbar
2014-09-12	[tests] Update ConcreteTest to use --output-dir.	Daniel Dunbar
2014-09-12	Add a README for the Concrete tests.	Daniel Dunbar
2014-09-12	Fix up ConstantExpr to be deterministic with 64-bit addresses.	Daniel Dunbar
2014-09-12	Add support for testing Concrete tests via lit.	Daniel Dunbar
2014-09-12	Fix up Concrete Makefile to not remove outputs, so tests can run in parallel.	Daniel Dunbar
2014-09-12	Rewrite ConcreteTest.py to only run one test at a time.	Daniel Dunbar
2014-09-12	Update Concrete test Makefile for LLVM changes.	Daniel Dunbar
2014-09-12	Update testingUtils to use printf(), putchar() isn't a known external functio...	Daniel Dunbar
2014-09-12	Update FloatingPointOps concrete test case for LLVM changes.	Daniel Dunbar
2014-09-12	XFAIL LargeReturnTypes.cpp on Darwin, it depends indirectly on using libstdcxx.	Daniel Dunbar
2014-07-04	Fix regression reported by Michael Esser and Andrew Watson	Dan Liew
2014-05-16	Changed StaticDestructor.cpp to use uclibc and disable optimizations explicitly.	Cristian Cadar
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