about summary refs log tree commit diff homepage
AgeCommit message (Expand)Author
2014-10-09Add (currently failing) test to check for correct long double alignment in va...Willem
2014-10-09Add a hack for Travis so that llvm-gcc can build native executables.Dan Liew
2014-10-09Merge pull request #166 from willemp/willem/klee_opts_to_concrete_testsCristian Cadar
2014-10-08Fixes support for passing arguments to klee in the ConcreteTests.Willem
2014-09-25Patch by Sean Bartell: "F_Binary was actually moved in LLVM 3.4 (r186447), no...Cristian Cadar
2014-09-19Removed code related to underConstrained, as it is unused (issue pointed out ...Cristian Cadar
2014-09-17Fix segfault under LLVM3.5 . I forgot to release ownership of theDan Liew
2014-09-17Fix more LLVM3.5 compilation issues.Dan Liew
2014-09-17Compilation fix for LLVM3.5 caused by the removal of sys::fs::F_Binary.Dan Liew
2014-09-17Another LLVM3.5 compilation fix.Dan Liew
2014-09-16[LLVM3.5] Update Kleaver for MemoryBuffer::getFileOrSTDIN changes.Daniel Dunbar
2014-09-16Fix #include under LLVM3.5. OwningPtr doesn't exist anymore.Dan Liew
2014-09-16Fix LLVM3.5 compilation a little more. ``Support/system_error.h``Dan Liew
2014-09-16Fix compilation error due to r199218. Maybe we should just remove thisDan Liew
2014-09-15Merge pull request #160 from MartinNowack/fix_dirconsistencyDaniel Dunbar
2014-09-15Generate fake files for test casesMartin Nowack
2014-09-15Merge pull request #157 from MartinNowack/fix_posix_printoutCristian Cadar
2014-09-15Merge pull request #158 from delcypher/remove_response_filesCristian Cadar
2014-09-15[Travis] Show commands as they execute inDan Liew
2014-09-15Merge pull request #134 from delcypher/coloured_error_messagesDan Liew
2014-09-15Taught klee_warning(), klee_error() etc... to emit coloured text output.Dan Liew
2014-09-15Remove --read-args command line option because this feature has beenDan Liew
2014-09-15Removed 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-15Merge pull request #154 from delcypher/travis_script_fixesDan Liew
2014-09-14[LLVM3.5] Ensure Twine definition is available from Executor.h.Daniel Dunbar
2014-09-14Fix LLVM3.5 compilation. This is due to r202168Dan Liew
2014-09-14[LLVM3.5] Drop use of PassNameParser, which we don't even use anymore.Daniel Dunbar
2014-09-14Fix LLVM3.5 compilation due to switching to std::error_codeDan Liew
2014-09-15Capture STP build output to file and only show its contents if thereDan Liew
2014-09-14[LLVM3.5] Update for more random headers moving around.Daniel Dunbar
2014-09-15Clean up travis build scripts a little.Dan Liew
2014-09-15Fix when we decide to "not exit on command error". We were doing thisDan Liew
2014-09-14[LLVM3.5] Update for move of CFG.h into IR.Daniel Dunbar
2014-09-14[LLVM3.5] Update for CallSite.h move into IR/.Daniel Dunbar
2014-09-14Fix compilation error due to change in raw_fd_ostream for LLVM3.5Dan Liew
2014-09-14[LLVM3.5] Don't try to use DEBUG macro without DEBUG_TYPE.Daniel Dunbar
2014-09-14Provide --enable-cxx11 configure option to enable building with C++11.Dan Liew
2014-09-14[Core] Fix a bug in how source file names were written in .istats files.Daniel Dunbar
2014-09-14[Module] Try harder to associate each instruction with source level debug info.Daniel Dunbar
2014-09-14[tests] Enable running tests in parallel.Daniel Dunbar
2014-09-14[Core] Remove support for "--use-asm-addresses".Daniel Dunbar
2014-09-14Use klee-libc for this test, as it runs when configured w/o uclibc.Daniel Dunbar
2014-09-14Enable test case againMartin Nowack
2014-09-14Replace fprintf with klee_warnings for POSIX libMartin Nowack
2014-09-14Merge pull request #155 from MartinNowack/fix_fd_fail2Daniel Dunbar
2014-09-14Use not test instead of non-existing FAIL.Martin Nowack
2014-09-14Fix testcase FD_Fail2.cMartin Nowack
2014-09-14Merge branch 'travis_icon' of https://github.com/delcypher/kleeDaniel Dunbar
2014-09-14[Travis] Disable Write2 on Travis with LLVM-3.4 for now, to see if this preve...Daniel Dunbar
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-26 15:14:46 +0000