index
:
~cnx/klee
this commit
1.0.x
1.1.x
1.2.x
1.3.x
1.4.x
2.0.x
2.1.x
2.2.x
2.3.x
3.0.x
master
psychic
svcomp
svcomp_32bit
KLEE fork for patch differentiation testing
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
Age
Commit message (
Expand
)
Author
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
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
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
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-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
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-14
Use klee-libc for this test, as it runs when configured w/o uclibc.
Daniel Dunbar
2014-09-14
Merge pull request #155 from MartinNowack/fix_fd_fail2
Daniel Dunbar
2014-09-14
Use not test instead of non-existing FAIL.
Martin Nowack
2014-09-14
Fix testcase FD_Fail2.c
Martin Nowack
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 preve...
Daniel Dunbar
2014-09-14
Merge branch 'remove_bc_dependency' of https://github.com/delcypher/klee
Daniel Dunbar
2014-09-14
Remove dependence on the bc tool. Use python instead because we are
Dan Liew
2014-09-14
Add Travis build status icon/link
Dan Liew
2014-09-14
Upgrade ConcreteTest.py to work with Python3 (Python 2.7.x should still
Dan 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-13
Enable ASSERTS in Travis builds.
Daniel Dunbar
2014-09-13
Small edits to test the Travis CI trigger.
Cristian Cadar
2014-09-13
Add KLEE specific DEBUG macros.
Daniel Dunbar
2014-09-13
Merge pull request #148 from delcypher/travis_testing
Daniel Dunbar
2014-09-13
test/lit.site.cfg is never deleted, leading to misconfiguration errors.
Cristian Cadar
2014-09-13
Add TravisCI testing infrastructure files.
Dan Liew
2014-09-13
These 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
[next]