| 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 |
