| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2014-12-01 | klee: let user override path to runtime library | Marek Chalupa | |
| When looking for runtime library, look first into KLEE_RUNTIME_LIBRARY_PATH environment variable. This allows to use klee not only in 'hardcoded' environment. Signed-off-by: Marek Chalupa <mchqwerty@gmail.com> | |||
| 2014-11-13 | Fix broken webpage link in README.md | Dan Liew | |
| 2014-11-13 | Merge pull request #177 from jirislaby/destdir | Dan Liew | |
| tools: prepend DESTDIR when installing | |||
| 2014-11-13 | tools: prepend DESTDIR when installing | Jiri Slaby | |
| Some tools prepend DESTDIR properly, some not. ktest-tool and klee-stats do not, so 'make install' chokes with an error: llvm[2]: Installing Release+Asserts /usr/bin/ktest-tool /usr/bin/install: cannot create regular file '/usr/bin/ktest-tool': Permission denied Signed-off-by: Jiri Slaby <jirislaby@gmail.com> | |||
| 2014-11-02 | Merge pull request #174 from delcypher/allow_stp_installed_in_root | Dan Liew | |
| Allow stp installed in root | |||
| 2014-11-01 | Upstream libstp is no longer dependent on Boost so remove the | Dan Liew | |
| configure/Makefile code that adds Boost as a depdendency because We don't need to support old versions of STP that needed Boost. | |||
| 2014-11-01 | configure: allow stp being installed in / | Jiri Slaby | |
| I have stp in standard paths: /usr/include and /usr/lib64. Allow that by correct STP_CFLAGS + STP_LDFLAGS instead of STP_ROOT. Those are empty when --with-stp is not passed. configure is regenerated by autoconf too. Signed-off-by: Jiri Slaby <jslaby@suse.cz> | |||
| 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 | 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 | |
 |
index : ~cnx/klee | |
| KLEE fork for patch differentiation testing |
| about summary refs log tree commit diff homepage |