0.0.1

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

New Contributors

• @maratdin7 made their first contribution in #1
• @DespairedController made their first contribution in #55
• @niyaznigmatullin made their first contribution in #76
• @ArtemUntila made their first contribution in #79
• @SBOne-Kenobi made their first contribution in #93
• @Mike-Wazovsky made their first contribution in #98

Full Changelog: https://github.com/vorpal-research/kex/commits/0.0.1