Releases · vorpal-research/kex

What's Changed

Boolector smt by @maratdin7 in #1
Boolector smt by @AbdullinAM in #2
enum variable support in configs by @AbdullinAM in #5
kt-helper + new kfg by @AbdullinAM in #6
Object generation by @AbdullinAM in #7
fixes by @AbdullinAM in #8
Property memory by @AbdullinAM in #9
Smt type processing by @AbdullinAM in #10
new smt model by @AbdullinAM in #11
Object generation by @AbdullinAM in #12
Object generation by @AbdullinAM in #13
object generation by @AbdullinAM in #15
update kfg version by @AbdullinAM in #16
Object generation by @AbdullinAM in #18
fixes in object generation by @AbdullinAM in #19
smt fixes by @AbdullinAM in #20
Object generation by @AbdullinAM in #21
Object generation by @AbdullinAM in #22
test case printing by @AbdullinAM in #23
fixes by @AbdullinAM in #24
pull master into concolic by @AbdullinAM in #25
Object generation by @AbdullinAM in #26
fixes from sbst-21 version by @AbdullinAM in #27
Concolic fixes by @AbdullinAM in #28
new versions by @AbdullinAM in #37
new concolic by @AbdullinAM in #38
Concloic rework by @AbdullinAM in #42
standard library support 0.0.1 by @AbdullinAM in #43
Refactor launchers by @AbdullinAM in #44
Jacoco coverage by @AbdullinAM in #47
subtyping fix by @AbdullinAM in #48
smt subtyping rework by @AbdullinAM in #49
updates by @AbdullinAM in #50
CGS implementation by @AbdullinAM in #53
class handling by @AbdullinAM in #54
Loop backstabbing by @DespairedController in #55
Small fixes in backstabbing by @DespairedController in #56
reflection sequences by @AbdullinAM in #57
lazy kfg by @AbdullinAM in #58
Distributed executor by @AbdullinAM in #59
Jacoco rework by @AbdullinAM in #60
Fixes and floating point numbers for loop backstabbing by @DespairedController in #63
Builtin natives by @AbdullinAM in #66
Symbolic engine by @AbdullinAM in #70
KSMT solver by @AbdullinAM in #71
Crash reporoduction by @AbdullinAM in #75
Make context nullable in MDCWrappedRunnable by @niyaznigmatullin in #76
Exclude method field from DescriptorReanimator by @niyaznigmatullin in #77
fix kex.sh by @ArtemUntila in #79
Incremental smt by @AbdullinAM in #82
Support all JDK versions 8+ by @AbdullinAM in #84
GUI strategy by @ArtemUntila in #83
parallelized crash reproduction checker by @AbdullinAM in #85
Async crash reproduction by @AbdullinAM in #86
implementation of #87 by @AbdullinAM in #88
Bump kt-helper version to 0.1.10 by @niyaznigmatullin in #89
Refactor GUI by @ArtemUntila in #90
Review async KSMT solver methods usage in suspending context by @niyaznigmatullin in #91
Fix KPorfolioSolver instance closing by @niyaznigmatullin in #92
Small fixes by @SBOne-Kenobi in #93
New instrumentation and class loading by @AbdullinAM in #94
Release preparation by @AbdullinAM in #95
Concrete value collection api by @AbdullinAM in #96
Small fixes by @AbdullinAM in #97
Add abs call to double comparison by @niyaznigmatullin in #99
Make domain for instanceof of null by @niyaznigmatullin in #100
Use := instead of = for store predicates by @niyaznigmatullin in #101
Fix ArrayDomain.assign(NullityDomain) by @niyaznigmatullin in #102
Test suite minimization by @Mike-Wazovsky in #98
Coverage guided selector by @AbdullinAM in #103