~cnx/klee - KLEE fork for patch differentiation testing

Age	Commit message (Expand)	Author
2016-02-14	Try to fix the TravisCI build when using Z3 as the solver. The	Dan Liew
2015-12-19	Implement support for lowering the ``llvm.objectsize`` intrinsic	Dan Liew
2015-12-16	Propagate AddressSanitizer, LeakSanitizer (part of AddressSanitizer),	Dan Liew
2014-10-08	Fixes support for passing arguments to klee in the ConcreteTests.	Willem
2014-09-15	Generate fake files for test cases	Martin Nowack
2014-09-13	[tests] Add support for testing LLVM version in REQUIRES: and XFAIL: lines.	Daniel Dunbar
2014-09-12	Add support for testing Concrete tests via lit.	Daniel Dunbar
2014-04-14	Update to new lit configuration to support changes in LLVM3.4	Martin Nowack
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-28	Allow passing arbitrary command line flags to klee and kleaver	Dan Liew
2014-01-20	Give absolute paths to KLEE's tools in lit.cfg . This fixes a long	Dan Liew
2014-01-20	Removed all of llvm-lit's dependence on DejaGNU. A few things	Dan Liew
2014-01-20	Fix Feature/Envp.c test for llvm-lit by providing the PWD environmental variable	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	Removed use of deprecated Tcl parser for tests. This allows	Dan Liew
2010-05-02	Sketch support for running KLEE tests using 'lit'.	Daniel Dunbar