Bug fixes

• Add a check for local vars count before inserting afterLocalWrite by @dmitrii-artuhov in https://github.com/JetBrains/lincheck/pull/881
• Fix performance regression by @eupp in https://github.com/JetBrains/lincheck/pull/889
• Fix ignored section constructor instrumentation by @eupp in https://github.com/JetBrains/lincheck/pull/912
• Fix unsafe field resolve bug by @eupp in https://github.com/JetBrains/lincheck/pull/914

Improvements

• Refactor runner API to avoid creating testInstance (and other scenario-specific logic) in case of GPMC by @eupp in https://github.com/JetBrains/lincheck/pull/529
• Loops instrumentation by @eupp and @dmitrii-artuhov in https://github.com/JetBrains/lincheck/pull/847, https://github.com/JetBrains/lincheck/pull/851, https://github.com/JetBrains/lincheck/pull/855, https://github.com/JetBrains/lincheck/pull/864
• Improve trace representation for mangled declarations by @zhelenskiy in https://github.com/JetBrains/lincheck/pull/874
• Refactor injection code to make injections unconditional by @eupp in https://github.com/JetBrains/lincheck/pull/878
• New Result Intercepting API by @viliamDokov in https://github.com/JetBrains/lincheck/pull/908
• Optimize class retransformation by @eupp in https://github.com/JetBrains/lincheck/pull/913

Deprecated

• Deprecate @ModelCheckingCTest and @ModelCheckingCTest annotations by @jetbrains-junie[bot] in https://github.com/JetBrains/lincheck/pull/818

Infrastructure

• Various improvements of integration test infrastructure by @zhelenskiy, @ivandev0, @dmitrii-artuhov, and @bbrockbernd in https://github.com/JetBrains/lincheck/pull/846, https://github.com/JetBrains/lincheck/pull/865, https://github.com/JetBrains/lincheck/pull/891, https://github.com/JetBrains/lincheck/pull/885, https://github.com/JetBrains/lincheck/pull/893, https://github.com/JetBrains/lincheck/pull/901
• Add the script to simplify minor release by @ivandev0 in https://github.com/JetBrains/lincheck/pull/858
• Simplify Gradle build files by @ivandev0 in https://github.com/JetBrains/lincheck/pull/866
• Collect bytecode instrumentation statistics by @eupp in https://github.com/JetBrains/lincheck/pull/887

Trace Recorder

• Add features to support loading trace in IDEA plugin by @lev-serebryakov-jetbrains in https://github.com/JetBrains/lincheck/pull/834
• Print injection exceptions and hide them from EventTracker::onThreadRunException by @dmitrii-artuhov in https://github.com/JetBrains/lincheck/pull/844
• Fix bug with completing threads with loops by @dmitrii-artuhov in https://github.com/JetBrains/lincheck/pull/861
• Pass exception to the afterLoopExit injection hook by @dmitrii-artuhov in https://github.com/JetBrains/lincheck/pull/862
• Implement "null" output strategy for TR benchmarking by @lev-serebryakov-jetbrains in https://github.com/JetBrains/lincheck/pull/869
• Implement background I/O for streaming trace recorder. by @lev-serebryakov-jetbrains in https://github.com/JetBrains/lincheck/pull/873
• Track constructor calls for trace recorder by @dmitrii-artuhov in https://github.com/JetBrains/lincheck/pull/875
• Fix multiple concurrent calls leading to error by @lev-serebryakov-jetbrains in https://github.com/JetBrains/lincheck/pull/882
• Add statistics about trace points count and trace size. by @lev-serebryakov-jetbrains in https://github.com/JetBrains/lincheck/pull/890
• Fix trace recorder calling project code by @lev-serebryakov-jetbrains in https://github.com/JetBrains/lincheck/pull/894
• Fix invalid code location of the method which is run via button click by @lev-serebryakov-jetbrains in https://github.com/JetBrains/lincheck/pull/897
• Fix io.ktor.client.engine.okhttp.OkHttpEngineTests::testRequestAfterRecreate failure by @lev-serebryakov-jetbrains in https://github.com/JetBrains/lincheck/pull/896
• Enable eager instrumentation for Trace Recorder by @eupp in https://github.com/JetBrains/lincheck/pull/898
• Shadow asm and bytebuddy by @bbrockbernd in https://github.com/JetBrains/lincheck/pull/903
• Fix problem with targeting methods where source files are not available by @bbrockbernd in https://github.com/JetBrains/lincheck/pull/904

New Contributors

• @viliamDokov made their first contribution in https://github.com/JetBrains/lincheck/pull/908

Full Changelog: https://github.com/JetBrains/lincheck/compare/lincheck-3.3...lincheck-3.4