| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2014-09-16 | Fix #include under LLVM3.5. OwningPtr doesn't exist anymore. | Dan Liew | |
| 2014-09-16 | Fix LLVM3.5 compilation a little more. ``Support/system_error.h`` | Dan Liew | |
| was removed by r210803 | |||
| 2014-09-16 | Fix compilation error due to r199218. Maybe we should just remove this | Dan Liew | |
| assertion entirely? | |||
| 2014-09-15 | Merge pull request #160 from MartinNowack/fix_dirconsistency | Daniel Dunbar | |
| Generate fake files for test cases | |||
| 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 | |
| Fix a possible deadlock. | |||
| 2014-09-15 | Merge pull request #158 from delcypher/remove_response_files | Cristian Cadar | |
| Remove --read-args command line option because this feature has been | |||
| 2014-09-15 | [Travis] Show commands as they execute in | Dan Liew | |
| ``install-llvm-and-runtime-compiler.sh`` | |||
| 2014-09-15 | Merge pull request #134 from delcypher/coloured_error_messages | Dan Liew | |
| Taught klee_warning(), klee_error() etc... to emit coloured text output. | |||
| 2014-09-15 | Taught klee_warning(), klee_error() etc... to emit coloured text output. | Dan Liew | |
| Also use bold green text when KLEE finishes. This is done by taking advantage of llvm::raw_ostream's nice API for controlling the console text colour. | |||
| 2014-09-15 | Remove --read-args command line option because this feature has been | Dan Liew | |
| available in LLVM's command line parser for a while (response files). | |||
| 2014-09-15 | Removed inlineChecks() function which was just dead code. | Dan Liew | |
| 2014-09-14 | [Travis] Stop building with both Clang and GCC for now, see comment. | Daniel Dunbar | |
| 2014-09-15 | Merge pull request #154 from delcypher/travis_script_fixes | Dan Liew | |
| Travis clean ups | |||
| 2014-09-14 | [LLVM3.5] Ensure Twine definition is available from Executor.h. | Daniel Dunbar | |
| 2014-09-14 | Fix LLVM3.5 compilation. This is due to r202168 | Dan Liew | |
| 2014-09-14 | [LLVM3.5] Drop use of PassNameParser, which we don't even use anymore. | Daniel Dunbar | |
| 2014-09-14 | Fix LLVM3.5 compilation due to switching to std::error_code | Dan Liew | |
| 2014-09-15 | Capture STP build output to file and only show its contents if there | Dan Liew | |
| is a build failure. This is so the output shown in the TravisCI web interface is kept small. | |||
| 2014-09-14 | [LLVM3.5] Update for more random headers moving around. | Daniel Dunbar | |
| 2014-09-15 | Clean up travis build scripts a little. | Dan Liew | |
| 2014-09-15 | Fix when we decide to "not exit on command error". We were doing this | Dan Liew | |
| too late so if the unittests failed the lit tests would not run. | |||
| 2014-09-14 | [LLVM3.5] Update for move of CFG.h into IR. | Daniel Dunbar | |
| - Mostly fixed by removing unnecessary references. | |||
| 2014-09-14 | [LLVM3.5] Update for CallSite.h move into IR/. | Daniel Dunbar | |
| 2014-09-14 | Fix compilation error due to change in raw_fd_ostream for LLVM3.5 | Dan Liew | |
| 2014-09-14 | [LLVM3.5] Don't try to use DEBUG macro without DEBUG_TYPE. | Daniel Dunbar | |
| 2014-09-14 | Provide --enable-cxx11 configure option to enable building with C++11. | Dan Liew | |
| For LLVM >= 3.5 explicitly force this to be enabled otherwise we can't compile against LLVM. - Some minor tweaks to the configure logic by me (Daniel Dunbar), to ensure C++ compiler is tested before these checks run, and to properly restore CXXFLAGS. | |||
| 2014-09-14 | [Core] Fix a bug in how source file names were written in .istats files. | Daniel Dunbar | |
| - KCachegrind appears to expect the first function name to be preceeded by the name of the file it appears in. Otherwise, it will end up creating two different records for the function, one of which has no file name and won't have any statistics. | |||
| 2014-09-14 | [Module] Try harder to associate each instruction with source level debug info. | Daniel Dunbar | |
| - This makes KCachegrind output look nicer, as otherwise it assumes instructions without debug info were inlined and shows some message to that effect. - This does however we might be lying a bit about the source line that an instruction came from. - This also adds a test case for our istats output, yay! | |||
| 2014-09-14 | [tests] Enable running tests in parallel. | Daniel Dunbar | |
| - This works fine for me on OS X now, and has been reported to work on Linux as well. Enabling across the board although presumably Travis will still only run single-threaded. - Fixes #147. | |||
| 2014-09-14 | [Core] Remove support for "--use-asm-addresses". | Daniel Dunbar | |
| - I suspect no one is using this feature, and I'm not sure it is well conceived either. Ripping it out for now in lieu of bothering to maintain it. | |||
| 2014-09-14 | Use klee-libc for this test, as it runs when configured w/o uclibc. | Daniel Dunbar | |
| - If this is a problem for some reason, lets either fix the problem or move it into Runtime tests. | |||
| 2014-09-14 | Enable test case again | Martin Nowack | |
| 2014-09-14 | Replace fprintf with klee_warnings for POSIX lib | Martin Nowack | |
| 2014-09-14 | Merge pull request #155 from MartinNowack/fix_fd_fail2 | Daniel Dunbar | |
| Fix testcase FD_Fail2.c | |||
| 2014-09-14 | Use not test instead of non-existing FAIL. | Martin Nowack | |
| 2014-09-14 | Fix testcase FD_Fail2.c | Martin Nowack | |
| Major issue was that puts was used for the succeed printf calls. With newer gcc/clang versions, printf is always used. The former took different code paths leading to much more possibilities to trigger failed writes and therefore generating more test cases. This patch avoids the generation of puts. And checks for the 4 possible generated test cases for 2 possible errors. | |||
| 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 ↵ | Daniel Dunbar | |
| prevents the hang we are seeing. | |||
| 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 | |
| already dependent on it. | |||
| 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 | |
| work) | |||
| 2014-09-13 | [Core] Fix implementation of FRem for LLVM 3.3+, which was wrong (caught by ↵ | Daniel Dunbar | |
| FloatingPointOps.ll). | |||
| 2014-09-13 | [tests] Add support for testing LLVM version in REQUIRES: and XFAIL: lines. | Daniel Dunbar | |
| - You can now make tests disabled, or expected to fail, by writing something like: // XFAIL: llvm-3.4 or // REQUIRES: not-llvm-3.4 - This mechanism doesn't support version comparisons, it is mostly intended to help with switching over to new LLVM versions and incrementally working through the test failures. | |||
| 2014-09-13 | [test/Concrete] Remove the Invoke*.ll tests. | Daniel Dunbar | |
| - LLVM changed the exception handling semantics a lot, and we can't write compatible tests across the versions. Unfortunately I am afraid this probably also means KLEE's exception handling semantics are broken for LLVM 3.4+, but our C++ support is spotty at best. These tests should probably be replaced with ones in a source language that supports exceptions if and when someone wants to make that work. | |||
| 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 | |
| - See comment, this is a gross workaround for Darwin's very small default limit on shared memory size. I'm not sure how big of a counterexample users can actually expect STP to solve in practice -- if there is a practical use for larger ones it would probably be good for us to write a fallback strategy. | |||
| 2014-09-13 | [Solver] Ensure shared memory allocation failures are reported as errors, ↵ | Daniel Dunbar | |
| not asserts. | |||
| 2014-09-13 | [Travis] Also propagate make flags to 'lit.site.cfg' build. | Daniel Dunbar | |
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |