| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2014-10-09 | Add (currently failing) test to check for correct long double alignment in ↵ | Willem | |
| varargs on x86_64. | |||
| 2014-10-09 | Add a hack for Travis so that llvm-gcc can build native executables. | Dan Liew | |
| This could be useful if KLEE tests want to use the bitcode compiler as a native compiler. | |||
| 2014-10-09 | Merge pull request #166 from willemp/willem/klee_opts_to_concrete_tests | Cristian Cadar | |
| Fixes support for passing arguments to klee in the ConcreteTests. | |||
| 2014-10-08 | Fixes support for passing arguments to klee in the ConcreteTests. | Willem | |
| This is for use with llvm-lit --param=klee_opts=... Fixes lit.cfg to not have an extranous space behind the klee command. Augments ConcreteTest to accept and pass arguments to klee. Augments all the ConcreteTest cases to wrap %klee in quotes. Without wrapping %klee the extra arguments will be seens as arguments to ConcreteTest.py resulting in an unknown argument error. | |||
| 2014-09-25 | Patch by Sean Bartell: "F_Binary was actually moved in LLVM 3.4 (r186447), ↵ | Cristian Cadar | |
| not 3.0." | |||
| 2014-09-19 | Removed code related to underConstrained, as it is unused (issue pointed out ↵ | Cristian Cadar | |
| by @hpalikareva). | |||
| 2014-09-17 | Fix segfault under LLVM3.5 . I forgot to release ownership of the | Dan Liew | |
| MemoryBuffer from the std::unique_ptr when getLazyBitcodeModule() succesfully takes ownership. | |||
| 2014-09-17 | Fix more LLVM3.5 compilation issues. | Dan Liew | |
| 2014-09-17 | Compilation fix for LLVM3.5 caused by the removal of sys::fs::F_Binary. | Dan Liew | |
| The commit that caused this is r202052. | |||
| 2014-09-17 | Another LLVM3.5 compilation fix. | Dan Liew | |
| 2014-09-16 | [LLVM3.5] Update Kleaver for MemoryBuffer::getFileOrSTDIN changes. | Daniel Dunbar | |
| 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. | |||
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |