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
path:
root
/
lib
/
Module
/
CMakeLists.txt
Age
Commit message (
Expand
)
Author
2022-06-30
remove LLVM < 9
Frank Busse
2019-05-30
implement FunctionAliasPass
Julian Büning
2019-03-21
remove copy of ScalarizerPass for LLVM 3.4
Julian Büning
2019-03-18
Disable optimisation for functions that contain KLEE calls
Martin Nowack
2019-03-05
workaround for LLVM PR39177
Julian Büning
2018-10-04
kleeModule: always link irreader (required since llvm 3.3)
Julian Büning
2018-10-04
remove obsolete dependency of kleeModule on kleeCore
Julian Büning
2017-07-20
Replace assertions of types on LLVM instructions in the Executor with a
Dan Liew
2017-07-19
Implement basic support for vectorized instructions.
Dan Liew
2016-11-22
[CMake] Add another missing LLVM component dependency for `kleeModule`.
Dan Liew
2016-11-22
[CMake] Add missing dependencies reported in #507.
Dan Liew
2016-11-18
[CMake] Remove use of tabs in `CMakeLists.txt` files.
Dan Liew
2016-11-18
[CMake] Re-express LLVM and KLEE library dependencies as
Dan Liew
2016-11-07
Implement a CMake based build system for KLEE.
Dan Liew
