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
2013-09-21
Merge pull request #17 from MartinNowack/LLVM33
Cristian Cadar
2013-09-18
Merge pull request #23 from MartinNowack/fix_putchar
Cristian Cadar
2013-09-18
Compile separate version of fd files only for LLVM 3.3 or higher
Martin Nowack
2013-09-17
Merge pull request #21 from delcypher/fix_query_logging
Cristian Cadar
2013-09-17
Merge branch 'fix_runtime_build_mode' of https://github.com/delcypher/klee in...
Cristian Cadar
2013-09-02
Fixed multiple definitions of POSIX file functions
Martin Nowack
2013-09-02
Fixed unused static function warning for forceImport
Martin Nowack
2013-08-30
Merge pull request #20 from delcypher/remove_pointless_loop
Cristian Cadar
2013-08-30
Merge branch 'CompilerWarnings' of https://github.com/MartinNowack/klee into ...
Cristian Cadar
2013-08-29
Revert "Use new PathV2 interface for LLVM 2.9 and higher"
Martin Nowack
2013-08-29
Merge branch 'CompilerWarnings' of https://github.com/MartinNowack/klee into ...
Cristian Cadar
2013-08-29
Fix compiling issues with llvm 2.9
Martin Nowack
2013-08-29
Use new PathV2 interface for LLVM 2.9 and higher
Martin Nowack
2013-08-28
Modified the buildmode of bitcode libraries.
Dan Liew
2013-08-28
Merge branch 'CompilerWarnings' of https://github.com/MartinNowack/klee into ...
Cristian Cadar
2013-08-28
Merge pull request #22 from antiAgainst/master
Cristian Cadar
2013-08-28
Merge pull request #13 from MartinNowack/FeatureConstantArrays
Cristian Cadar
2013-08-28
Fixed warning about unused variable
Martin Nowack
2013-08-28
Fix constness warnings issued by gcc 4.7
Martin Nowack
2013-08-28
Link against shared library from LLVM correctly
Martin Nowack
2013-08-28
Silence warning of deprecated PathV1 usage
Martin Nowack
2013-08-28
Fix test case to use llvm-link instead of llvm-ld
Martin Nowack
2013-08-28
Disable redefinition of functions
Martin Nowack
2013-08-28
Silence compiler warning about unused variable
Martin Nowack
2013-08-27
Fix implementation for putchar
Martin Nowack
2013-08-27
Handle constant arrays as well
Martin Nowack
2013-08-27
Port to LLVM 3.3
Martin Nowack
2013-08-26
Add Debug and Debug+Asserts in .gitignore.
Lei Zhang
2013-08-26
Add .gitignore
Lei Zhang
2013-08-23
In QueryLoggingSolver call flush() on std::ofstream so that queries
Dan Liew
2013-08-21
Remove unnecessary loop from SolverTest unit test.
Dan Liew
2013-08-16
Merge pull request #9 from delcypher/refactor-arg-init
Cristian Cadar
2013-08-15
Merge pull request #14 from MartinNowack/BuildSystem
Cristian Cadar
2013-08-15
Add support for dejagnu as removed from LLVM 3.2
Martin Nowack
2013-08-15
Use llvm-link instead of deprecated llvm-ld
Martin Nowack
2013-08-15
Warn if compiler is not found to build .ll files
Martin Nowack
2013-08-15
Merge pull request #18 from MartinNowack/FeatureUMulOverflow
Cristian Cadar
2013-08-15
Implemented llvm.umul.with.overflow
Martin Nowack
2013-08-15
Merge pull request #16 from MartinNowack/DebugSymbols
Cristian Cadar
2013-08-15
Merge pull request #10 from MartinNowack/Typos
Cristian Cadar
2013-08-14
Handle additional debug intrinsics of LLVM
Martin Nowack
2013-08-14
Fix typo
Martin Nowack
2013-08-14
Fix typo
Martin Nowack
2013-08-14
Slight refactor of code initialising memory for argments/environment c-strings
Dan Liew
2013-08-13
Modified ktest-tool so that it is compatible with python3.
Dan Liew
2013-08-13
Updated configure.ac to use python3 compatible command.
Dan Liew
2013-08-07
Merge branch 'master' of https://github.com/hpalikareva/klee into hpalikareva...
Cristian Cadar
2013-08-07
Merge branch 'bfs' of https://github.com/antiAgainst/klee into antiAgainst-bfs
Cristian Cadar
2013-08-06
ObjectState::concreteStore initialised.
Hristina Palikareva
2013-08-06
TimingSolver and constructSolverChain() no longer coupled with pointers to ST...
Hristina Palikareva
[next]