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
/
include
/
klee
/
Expr
Age
Commit message (
Expand
)
Author
2024-02-08
Use APIs of newer LLVM versions instead of unsupported ones
Martin Nowack
2024-01-30
Make Assignment::evaluate be const
Cristian Cadar
2023-04-06
Support disabling compiler warnings; Use with external headers
Martin Nowack
2023-03-20
ConstantArrayExprVisitor: Fix detection of multiple array indices
Lukáš Zaoral
2022-07-24
Support arguments of width 128, 256 and 512 bits for external calls
Pavel
2020-11-12
Ref: implement operator bool()
Julian Büning
2020-07-01
Clean-up and add documentation
Martin Nowack
2020-07-01
Separate constraint set and constraint manager
Martin Nowack
2020-07-01
Move constraint implementation from header to cpp files
Martin Nowack
2020-04-30
Moved header files that were placed directly in include/klee/ into appropriat...
Cristian Cadar
2020-04-30
Removed include/klee/util and moved header files to appropriate places
Cristian Cadar
2020-04-30
Move header files from lib/Expr to include/klee/Expr to eliminate includes us...
Cristian Cadar
2020-02-19
Use `ref<>` for UpdateNode
Martin Nowack
2020-02-19
Add `ReferenceCounter` struct utilized by ref<>
Martin Nowack
2020-02-13
Use call-by-reference for hash-function invocation
Martin Nowack
2020-02-13
Replace old TR1 implementations of unordered_map/set with std::* versions
Martin Nowack
2019-11-07
[expr-visitor] Remove unnecessary allocation
Timotej Kapus
2019-09-03
Moved solver-related header files into a separate klee/Solver/ directory.
Cristian Cadar
2019-07-30
Use #include "klee/..." (instead of #include <klee/...>) consistently.
Cristian Cadar
2019-07-30
Consolidated Expr-related include files into a single include/klee/Expr direc...
Cristian Cadar