| Age | Commit message (Expand) | Author |
|---|
| 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 |
| 2014-07-18 | Refactor klee-stats and add simple line chart drawing functionality. | Lei Zhang |
| 2014-07-10 | Merge pull request #137 from MartinNowack/fix_cxx_standard | Cristian Cadar |
| 2014-07-09 | Fix to avoid warning message taking address of main | Martin Nowack |
| 2014-07-04 | Merge pull request #133 from delcypher/fix_empty_error_report | Cristian Cadar |
| 2014-07-04 | Fix regression reported by Michael Esser and Andrew Watson | Dan Liew |
| 2014-06-06 | Merge pull request #129 from ahorn/master | Cristian Cadar |
| 2014-05-30 | Merge pull request #117 from MartinNowack/llvm_raw_ostream | MartinNowack |
| 2014-05-30 | Fix ExprTest under LLVM 2.9 | Martin Nowack |
| 2014-05-29 | Use LLVM DEBUG macro instead of #if 0 or #if DEBUG | Martin Nowack |
| 2014-05-29 | Fix header | Martin Nowack |
| 2014-05-29 | Avoid non-explicit use of functions from std namespace in KLEE | Martin Nowack |
| 2014-05-29 | Remove #include <iostream> to avoid static constructors | Martin Nowack |
| 2014-05-29 | Refactoring from std::ostream to llvm::raw_ostream | Martin Nowack |
| 2014-05-19 | Rename command line option for equality substitutions | ahorn |
| 2014-05-16 | Changed StaticDestructor.cpp to use uclibc and disable optimizations explicitly. | Cristian Cadar |
| 2014-05-13 | Merge pull request #131 from haneefmubarak/patch-1 | Cristian Cadar |
