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
/
Expr
Age
Commit message (
Expand
)
Author
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-04-30
Removed the Internal directory from include/klee
Cristian Cadar
2020-02-19
Use `ref<>` for UpdateNode
Martin Nowack
2019-12-12
[optimize-array] Fix value transformation
Timotej Kapus
2019-12-12
[optimize-array] Fix hole index in buildMixedSelectExpr
Timotej Kapus
2019-12-12
[optimize-array] Fix hash collisions
Timotej Kapus
2019-12-12
[optimize-array] Fix update list read order
Timotej Kapus
2019-09-03
Moved solver-related header files into a separate klee/Solver/ directory.
Cristian Cadar
2019-08-01
Renamed misspelled file
Cristian Cadar
2019-07-30
Consolidated Expr-related include files into a single include/klee/Expr direc...
Cristian Cadar
2019-06-04
make endif guard naming consistent
Julian Büning
2019-06-04
make include guard naming consistent
Julian Büning
2019-03-19
Add Read consistency test case, spelling
Timotej Kapus
2019-03-19
Fix representation of ReadExpr of equivalent arrays
Martin Nowack
2019-03-15
Placed --rewrite-constraints in the constraint solving category
Cristian Cadar
2019-03-13
Placed --use-visitor-hash in the expresion building/printing category
Cristian Cadar
2019-03-13
Added --const-array-opt to building&printing expression category
Cristian Cadar
2019-03-13
Moved options in ExprSMTLIBPrinter.cpp to the expression building and printin...
Cristian Cadar
2019-03-13
Documented options in ExprPPrinter.cpp and placed them into a new option cate...
Cristian Cadar
2019-03-13
Consistently use "default=true" and "default=false" instead of "default=on" a...
Cristian Cadar
2019-03-13
Added options in ArrayExprOptimizer.cpp to the constraint solving category
Cristian Cadar
2019-03-13
Reordered includes in ArrayExprOptimizer.cpp for consistency with the other f...
Cristian Cadar
2018-10-26
llvm5: APInt->getSignBit -> getSignMask
Jiri Slaby
2018-10-26
llvm5: integerPartWidth is from llvm::APFloatBase
Jiri Slaby
2018-10-23
Updated an include to reflect a recent filename change
Cristian Cadar
2018-10-23
Move unrelated function from ReadExpr class
Martin Nowack
2018-10-23
Avoid unsafe static downcasts
Martin Nowack
2018-10-23
Modernize code
Martin Nowack
2018-10-23
Move optimization specific headers away from the project include directory
Martin Nowack
2018-10-23
Clean-up headers
Martin Nowack
2018-10-23
Remove condition check before function invocation
Martin Nowack
2018-10-23
Move ConstantExpr check inside optimizeExpr function
Martin Nowack
2018-10-23
optimizeExpr: return the result as return value instead as function argument
Martin Nowack
2018-10-23
Fixed compilation of array optimization patch with LLVM >= 4.0
Cristian Cadar
2018-10-23
Added missing headers and clang-format the files
Cristian Cadar
2018-10-23
Added support for KLEE value-based array optimization
Andrea Mattavelli
2018-10-23
Added support for KLEE index-based array optimization
Andrea Mattavelli
2018-06-29
Fix the final -Wimplicit-fallthrough warning
Daniel Schemmel
2018-06-29
Make ConstantExpr hashing function faster and modify affected test
Timotej Kapus
2018-05-24
isLSB should be a boolean, as it is only used in truth contexts
Daniel Schemmel
2018-05-09
Improve handling of constant array in Z3
Timotej Kapus
2017-10-04
Remove Autoconf/Makefile build system and adjust the TravisCI
Dan Liew
2017-08-27
Remove unnecessary null pointer checks
Oscar Deits
2017-07-23
Remove support for LLVM < 3.4
Martin Nowack
2017-06-12
llvm: don't use clEnumValEnd for LLVM 4.0
Jiri Slaby
[next]