Code

[release] 0.8.1#3

Code

Closed

github-actions[bot] wants to merge 3 commits intounstableshonfeder/apalache:unstablefrom release/0.8.1shonfeder/apalache:release/0.8.1Copy head branch name to clipboard

+42-39

Commits

Commits on Jan 19, 2021

• [release] 0.8.1

  

  shonfeder

  committed
  35d00dd

  Copy full SHA for 35d00dd

• Update changelog for version 0.8.1

  

  shonfeder

  committed
  1ec2e3d

  Copy full SHA for 1ec2e3d

• Bump version to 0.8.2-SNAPSHOT

  

  shonfeder

  committed
  47dad53

  Copy full SHA for 47dad53