Bug Fixes

• Wrap IntelliJ runtime debugger/coverage agent methods into ignored sections by @eupp in https://github.com/JetBrains/lincheck/pull/759

Improvements

• Do not show stacktrace elements in the short execution trace and shorten assertion functions by @ndkoval in https://github.com/JetBrains/lincheck/pull/761
• Store MethodCallTracePoint directly in the trace by @ivandev0 in https://github.com/JetBrains/lincheck/pull/667
• Extract trace module into separate subproject by @eupp in https://github.com/JetBrains/lincheck/pull/734
• Modularization of the project by @dmitrii-artuhov in https://github.com/JetBrains/lincheck/pull/744
• Integration tests modularization by @dmitrii-artuhov in https://github.com/JetBrains/lincheck/pull/739

Trace Recorder

• New on-disk trace format: Supports streaming write and lazy loading. by @lev-serebryakov-jetbrains in https://github.com/JetBrains/lincheck/pull/738

Full Changelog: https://github.com/JetBrains/lincheck/compare/lincheck-3.0...lincheck-3.1