about summary refs log tree commit diff homepage
AgeCommit message (Expand)Author
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-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
2014-09-14Merge branch 'remove_bc_dependency' of https://github.com/delcypher/kleeDaniel Dunbar
2014-09-14Remove dependence on the bc tool. Use python instead because we areDan Liew
2014-09-14Add Travis build status icon/linkDan Liew
2014-09-14Upgrade ConcreteTest.py to work with Python3 (Python 2.7.x should stillDan Liew
2014-09-13[Core] Fix implementation of FRem for LLVM 3.3+, which was wrong (caught by F...Daniel Dunbar
2014-09-13[tests] Add support for testing LLVM version in REQUIRES: and XFAIL: lines.Daniel Dunbar
2014-09-13[test/Concrete] Remove the Invoke*.ll tests.Daniel Dunbar
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
2014-09-13[Solver] Ensure shared memory allocation failures are reported as errors, not...Daniel Dunbar
2014-09-13[Travis] Also propagate make flags to 'lit.site.cfg' build.Daniel Dunbar
2014-09-13[Travis] Propagate make flags to unittests build as well.Daniel Dunbar
2014-09-13Enable ASSERTS in Travis builds.Daniel Dunbar
2014-09-13Small edits to test the Travis CI trigger.Cristian Cadar
2014-09-13Add KLEE specific DEBUG macros.Daniel Dunbar
2014-09-13Merge pull request #148 from delcypher/travis_testingDaniel Dunbar
2014-09-13test/lit.site.cfg is never deleted, leading to misconfiguration errors.Cristian Cadar
2014-09-13Add TravisCI testing infrastructure files.Dan Liew
2014-09-13These tests require --optimize=false to run successfully.Cristian Cadar
2014-09-12[tests] Fix Concrete tests for out-of-tree builds.Daniel Dunbar
2014-09-12[Core] Fix some warnings in -Asserts builds.Daniel Dunbar
2014-09-12[FloatEvaluation] Use llvm::report_fatal_error() instead of assert(0) for uns...Daniel Dunbar
2014-09-12[Module] Fix handling of instructions without debug info.Daniel Dunbar
2014-09-12[tests] Run 'make clean' prior to starting tests.Daniel Dunbar
2014-09-12[tests] Add a workaround to try and prevent llvm-gcc from calling putchar(), ...Daniel Dunbar