Code

[release] 0.8.2#486

Code

Closed

apalache-bot wants to merge 2 commits intounstableapalache-mc/apalache:unstablefrom release/0.8.2apalache-mc/apalache:release/0.8.2Copy head branch name to clipboard

+28-26

Commits

Commits on Jan 25, 2021

• [release] 0.8.2

  

  shonfeder

  committed
  3f3c1d0

  Copy full SHA for 3f3c1d0

• Bump version to 0.8.3-SNAPSHOT

  

  shonfeder

  committed
  d8136ec

  Copy full SHA for d8136ec