Commits

Branch selector

 0ee6850

User selector

All users

Datepicker

All time

Commit History

Commits on Aug 8, 2024

• fix typo in AtomicMethods.kt (#356)

  eupp

  authored
  0ee6850

Commits on Aug 1, 2024

• Prepare for next development iteration

  ndkoval

  committed
  81e73cf

• Release lincheck-2.33

  ndkoval

  committed
  0408c8e

• Minimization improvement: try to remove two operations and move operations to init and post parts (#350)

  ndkoval

  authored
  d8cdbee

• Do not show clocks when they don't provide any useful information (#349)

  ndkoval

  authored
  203abb4

Commits on Jul 18, 2024

• Make all compilation warnings errors (#341)

  ndkoval

  authored
  4753c39

Commits on Jul 17, 2024

• AllowExtraSuspension parameter deprecated, SUSPENDED prefix removed from the output (#339)

  

  avpotapov00

  and

  Aleksandr.Potapov

  authored
  1a6f1c1

Commits on Jul 10, 2024

• Spin locks detection enchancements (#331)

  avpotapov00

  authored
  26f2bb6

Commits on Jul 9, 2024

• #337 - output fixed in case of an incorrect arguments count in th cus… (#338)

  avpotapov00

  authored
  df8d638

Commits on Jun 28, 2024

• Detect atomic primitive method calls dynamically (#336)

  eupp

  authored
  11eefac

Commits on Jun 15, 2024

• Kover integration (via coverage bytecode filter) (#335)

  

  dmitrii-artuhov

  and

  eupp

  authored
  8c3ed5d

Commits on Jun 12, 2024

• Strategy run API refactoring (#262)

  eupp

  authored
  ee568a5

Commits on Jun 4, 2024

• Fix Java 11 performance bug (#316)

  eupp

  authored
  fadd43c

Commits on May 27, 2024

• Bytecode Transformation Refactoring (#322)

  eupp

  authored
  ecede82

Commits on May 9, 2024

• Prepare for next development iteration

  ndkoval

  committed
  f8c75f4

• Release lincheck-2.32

  ndkoval

  committed
  f1c24bd

• Show the field name in the trace when calling a method on the final field (#327)

  avpotapov00

  authored
  196b345

Commits on May 8, 2024

• Prepare for next development iteration

  ndkoval

  committed
  dcb2fa9

• Release lincheck-2.31

  ndkoval

  committed
  33695c8

• Improve trace representation: show non-this object instances on method calls and show field names when using VarHandle, AtomicReference, andUnsafe #325

  avpotapov00

  authored
  f274c6d

• Exception message when no operations defined impoved (#233)

  

  avpotapov00

  and

  Aleksandr.Potapov

  authored
  1541474

Commits on May 2, 2024

• Execution results are presented in case of any failure (#314)

  avpotapov00

  authored
  6c145be

Commits on Apr 23, 2024

• Exceptions provided to the plugin (#304)

  avpotapov00

  authored
  07e2798

• Object traverser fix (#313)

  avpotapov00

  authored
  181bbe9

• Set lincheck version in tests for the plugin compatibility (#312)

  zuevmaxim

  authored
  65259bd

Commits on Apr 22, 2024

• Loop detector refactoring (#310)

  eupp

  authored
  c1e38e7

Commits on Apr 19, 2024

• Prepare for next development iteration

  ndkoval

  committed
  1397dfb

• Release lincheck-2.30

  ndkoval

  committed
  33b7a7f

• Bump minimal plugin version to 0.2 (#305)

  zuevmaxim

  authored
  e1cec85

Commits on Apr 18, 2024

• Byte-code transformation via a dynamically attached Java agent (#296)

  

  ndkoval

  and

  eupp

  authored
  be298de

• remove redundant default managed strategy guarantees (#306)

  eupp

  authored
  7d50d20

• Increase number of invocations for flaky stress tests (#289)

  

  ndkoval

  and

  eupp

  authored
  07178de

Commits on Apr 12, 2024

• Prepare for next development iteration

  ndkoval

  committed
  a5adf89

• Release lincheck-2.29

  ndkoval

  committed
  f9e7131

• Object numeration representation fix (#302)

  

  avpotapov00

  and

  Aleksandr.Potapov

  authored
  be28c7c

Pagination

PreviousNext