4 Pull requests merged by 3 people

• Add basic general-purpose model checker test for coroutines

  #539 merged Mar 3, 2025

• Automate representation test overwrite

  #550 merged Feb 28, 2025

• Add minimalistic logger to Lincheck

  #546 merged Feb 27, 2025

• Ignore MethodHandles.Lookup.* and related methods during the analysis

  #548 merged Feb 27, 2025

1 Pull request opened by 1 person

• Idea plugin ideaPluginEnabled property mady lazy-loaded

  #551 opened Feb 28, 2025

2 Issues closed by 1 person

• Fix bugs in basic thread pool and coroutine tests

  #505 closed Mar 3, 2025

• Improve support of static initialization blocks and statically-reachable memory

  #389 closed Mar 3, 2025

7 Issues opened by 3 people

• Merge consecutive spin-loop blocks and remove redundant thread switches

  #556 opened Mar 3, 2025

• Fix spin-loop representation

  #555 opened Mar 3, 2025

• Handle `System.arraycopy(...)` in static memory restoring

  #554 opened Mar 3, 2025

• Improve lazy instrumentation mechanism

  #553 opened Mar 3, 2025

• Investigate performance regression on JDK 11

  #552 opened Feb 28, 2025

• Spin-cycle does not allow other thread to progress

  #549 opened Feb 26, 2025

• Change thread names in the trace

  #547 opened Feb 25, 2025

17 Unresolved conversations

Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.

• Support time and random native calls in trace debugger

  #541 commented on Mar 4, 2025 • 96 new comments

• Implement infrastructure to check recorded trace

  #510 commented on Mar 3, 2025 • 15 new comments

• Remove access calls from trace (for function accesses only).

  #538 commented on Mar 3, 2025 • 7 new comments

• Transform lambdas correctly and enhance the GPMC API shape

  #545 commented on Feb 27, 2025 • 0 new comments

• Add coroutine tests from deadlock test repo

  #531 commented on Mar 3, 2025 • 0 new comments

• Unify bytecode transformation logic for constructors (`<init>` methods) and regular methods.

  #449 commented on Mar 3, 2025 • 0 new comments

• Support instrumentation of lambdas

  #451 commented on Feb 28, 2025 • 0 new comments

• Halting problem when using I/O

  #409 commented on Feb 28, 2025 • 0 new comments

• `delay`s in coroutines make gpmc detect unfinished threads deadlock

  #543 commented on Feb 28, 2025 • 0 new comments

• Non-closed threadpool treated as inifinitely running

  #542 commented on Feb 28, 2025 • 0 new comments

• Remove .access$ calls

  #537 commented on Feb 28, 2025 • 0 new comments

• Why does this library have a different package than all other KotlinX libraries?

  #544 commented on Feb 26, 2025 • 0 new comments

• Support blocking data structures capacity constraints

  #437 commented on Feb 25, 2025 • 0 new comments

• Impossible to instrument the body of `runConcurrentTest` when it is used from java

  #445 commented on Feb 25, 2025 • 0 new comments

• Implement general-purpose model checking API for Java

  #483 commented on Feb 25, 2025 • 0 new comments

• Improve representation of Kotlin's `suspend` function calls

  #521 commented on Feb 25, 2025 • 0 new comments

• Improve representation of custom threads

  #535 commented on Feb 25, 2025 • 0 new comments