| Age | Commit message (Expand) | Author |
|---|
| 2014-09-15 | Generate fake files for test cases | Martin Nowack |
| 2014-09-15 | Merge pull request #157 from MartinNowack/fix_posix_printout | Cristian Cadar |
| 2014-09-15 | Remove --read-args command line option because this feature has been | Dan Liew |
| 2014-09-14 | [Core] Fix a bug in how source file names were written in .istats files. | Daniel Dunbar |
| 2014-09-14 | [Module] Try harder to associate each instruction with source level debug info. | Daniel Dunbar |
| 2014-09-14 | [tests] Enable running tests in parallel. | Daniel Dunbar |
| 2014-09-14 | [Core] Remove support for "--use-asm-addresses". | Daniel Dunbar |
| 2014-09-14 | Use klee-libc for this test, as it runs when configured w/o uclibc. | Daniel Dunbar |
| 2014-09-14 | Enable test case again | Martin Nowack |
| 2014-09-14 | Use not test instead of non-existing FAIL. | Martin Nowack |
| 2014-09-14 | Fix testcase FD_Fail2.c | Martin Nowack |
| 2014-09-14 | [Travis] Disable Write2 on Travis with LLVM-3.4 for now, to see if this preve... | Daniel Dunbar |
| 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 |
