| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2014-10-31 | Merge pull request #173 from delcypher/switch_to_autoconf_2.69 | Cristian Cadar | |
| Switch to using autoconf 2.69 this version is more commonly available | |||
| 2014-10-31 | Merge pull request #167 from ↵ | Dan Liew | |
| willemp/willem/fix_64bit_printing_bug_in_testingUtils Fix 64bit printing bug in testing utils | |||
| 2014-10-31 | Switch to using autoconf 2.69 this version is more commonly available | Dan Liew | |
| on Linux systems (2.60 is quite old) which will make updating the configure script easier for most users. | |||
| 2014-10-16 | Fixed declaration of print_int that Travis complained about | Willem | |
| 2014-10-16 | Fix the bug in printing 64bit numbers, set the test to expect passing. ↵ | Willem | |
| Changed _testingUtils to use stdint.h | |||
| 2014-10-15 | Fixed test/Concrete/ConstantExpr.ll | Willem | |
| The difference between a 64bit pointer truncated to 32 bits and the original 64bit pointer would never be 0 if any of the high 32bits in the pointer were test. If lli and klee had a different value for the top 32bits of the address this test would be marked as failing. Due to the 64bit printing buf in _testingUtils this was not exposed before. The fix clears the top 32bits of the difference. | |||
| 2014-10-15 | Added tests to _testingUtils.c (currently failing due to a bug in printing ↵ | Willem | |
| 64bit numbers) Fixing this bug will expose a failing test case for Concrete/ConstantExpr.ll | |||
| 2014-10-09 | Fixed passing of long double (and other big types) in var_args on x86_64. ↵ | Willem | |
| Removed XFAIL tag from the Feature/VarArgLongDouble.c test Fixed Executor to (more) correctly handle the alignment of types larger than 64bit (such as long double) when those are passed in var_args on x86_64. Specifically: From http://www.x86-64.org/documentation/abi.pdf AMD64-ABI 3.5.7p5: Step 7. Align l->overflow_arg_area upwards to a 16 byte boundary if alignment needed by type exceeds 8 byte boundary. | |||
| 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. | |||
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |