| Age | Commit message (Expand) | Author |
|---|
| 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 | Merge pull request #155 from MartinNowack/fix_fd_fail2 | Daniel Dunbar |
| 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 | Merge branch 'travis_icon' of https://github.com/delcypher/klee | Daniel Dunbar |
| 2014-09-14 | [Travis] Disable Write2 on Travis with LLVM-3.4 for now, to see if this preve... | Daniel Dunbar |
| 2014-09-14 | Merge branch 'remove_bc_dependency' of https://github.com/delcypher/klee | Daniel Dunbar |
| 2014-09-14 | Remove dependence on the bc tool. Use python instead because we are | Dan Liew |
| 2014-09-14 | Add Travis build status icon/link | Dan Liew |
| 2014-09-14 | Upgrade ConcreteTest.py to work with Python3 (Python 2.7.x should still | Dan Liew |
| 2014-09-13 | [Core] Fix implementation of FRem for LLVM 3.3+, which was wrong (caught by F... | Daniel Dunbar |
| 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 | [Solver] Tune down the shared memory region size on Darwin. | Daniel Dunbar |
| 2014-09-13 | [Solver] Ensure shared memory allocation failures are reported as errors, not... | Daniel Dunbar |
| 2014-09-13 | [Travis] Also propagate make flags to 'lit.site.cfg' build. | Daniel Dunbar |
| 2014-09-13 | [Travis] Propagate make flags to unittests build as well. | Daniel Dunbar |
| 2014-09-13 | Enable ASSERTS in Travis builds. | Daniel Dunbar |
| 2014-09-13 | Small edits to test the Travis CI trigger. | Cristian Cadar |
| 2014-09-13 | Add KLEE specific DEBUG macros. | Daniel Dunbar |
| 2014-09-13 | Merge pull request #148 from delcypher/travis_testing | Daniel Dunbar |
| 2014-09-13 | test/lit.site.cfg is never deleted, leading to misconfiguration errors. | Cristian Cadar |
| 2014-09-13 | Add TravisCI testing infrastructure files. | Dan Liew |
| 2014-09-13 | These tests require --optimize=false to run successfully. | Cristian Cadar |
| 2014-09-12 | [tests] Fix Concrete tests for out-of-tree builds. | Daniel Dunbar |
| 2014-09-12 | [Core] Fix some warnings in -Asserts builds. | Daniel Dunbar |
| 2014-09-12 | [FloatEvaluation] Use llvm::report_fatal_error() instead of assert(0) for uns... | Daniel Dunbar |
| 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 | Update .gitignore. | 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-09-12 | When building against libc++ (vs libstdcxx), use standard unordered_{map,set}... | Daniel Dunbar |
| 2014-09-12 | Regenerate configure. | Daniel Dunbar |
