Code

Relaxed contracts restored#45

Code

Draft

SokolovaMaria wants to merge 5 commits intodevelopJetBrains/lincheck:developfrom relaxed-contracts-restoredJetBrains/lincheck:relaxed-contracts-restoredCopy head branch name to clipboard

+1,642-39

Commits

Commits on Aug 5, 2020

• Getting quantitative relaxation back

  mvicsokolova

  committed
  73367b9

  Copy full SHA for 73367b9

• createRelaxedTransitions fixed

  mvicsokolova

  committed
  f6d0eee

  Copy full SHA for f6d0eee

Commits on Aug 7, 2020

• Relaxed transitions by actor with result

  mvicsokolova

  committed
  81a2f95

  Copy full SHA for 81a2f95

• Quasi relaxed linearizability restored

  mvicsokolova

  committed
  a94eba1

  Copy full SHA for a94eba1

Commits on Aug 9, 2020

• Some bugfixes

  mvicsokolova

  committed
  0a68f89

  Copy full SHA for 0a68f89