| Age | Commit message (Expand) | Author |
|---|
| 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 |
| 2014-09-12 | Tweak the workarounds for multiple definition of PACKAGE_* macros from config... | Daniel Dunbar |
| 2014-09-12 | Add support for getting memory usage on Darwin. | Daniel Dunbar |
| 2014-09-12 | Do not require mallinfo(), which is Linux specific. | Daniel Dunbar |
| 2014-09-12 | Do not require <sys/capability.h>, which is Linux specific. | Daniel Dunbar |
| 2014-09-12 | Regenerate configure with sanctioned autoconf version. | Daniel Dunbar |
| 2014-09-12 | Revert "Patch by Dan Liew: "Improved AutoRegen script so that it supports new... | Daniel Dunbar |
| 2014-07-21 | Merge pull request #113 from antiAgainst/klee-stats | Cristian Cadar |
