Code

V6.1.0 rc#3744

Code

Merged

rv-jenkins merged 13 commits intodevelopruntimeverification/k:developfrom v6.1.0-rcruntimeverification/k:v6.1.0-rcCopy head branch name to clipboardNov 8, 2023

+63-4

Commits

Commits on Oct 23, 2023

• Add CHANGELOG summary

  radumereuta

  committed
  c583743

  Copy full SHA for c583743

• Bump version in files

  radumereuta

  committed
  1898ecd

  Copy full SHA for 1898ecd

Commits on Nov 7, 2023

• Mention support for Apple Silicon

  radumereuta

  committed
  18ebddf

  Copy full SHA for 18ebddf

• Merge branch 'develop' into v6.1.0-rc

  radumereuta

  committed
  0afeb35

  Copy full SHA for 0afeb35

• Remove the TODO

  radumereuta

  committed
  a924c6d

  Copy full SHA for a924c6d

• Update CHANGELOG.md

  Show description for 4989c78
  

  radumereuta

  and

  Baltoli

  authored
  4989c78

  Copy full SHA for 4989c78

• Update CHANGELOG.md

  Show description for 85ed9dd
  

  radumereuta

  and

  Baltoli

  authored
  85ed9dd

  Copy full SHA for 85ed9dd

• Update CHANGELOG.md

  Show description for c762ec6
  

  radumereuta

  and

  Baltoli

  authored
  c762ec6

  Copy full SHA for c762ec6

• Update CHANGELOG.md

  Show description for 4817c7e
  

  radumereuta

  and

  Baltoli

  authored
  4817c7e

  Copy full SHA for 4817c7e

• Update CHANGELOG.md

  Show description for 414a777
  

  radumereuta

  and

  Baltoli

  authored
  414a777

  Copy full SHA for 414a777

• Update CHANGELOG.md

  Show description for 29d7f50
  

  radumereuta

  and

  Baltoli

  authored
  29d7f50

  Copy full SHA for 29d7f50

• Merge branch 'develop' into v6.1.0-rc

  radumereuta

  authored
  03cbb92

  Copy full SHA for 03cbb92

Commits on Nov 8, 2023

• Fix formatting.

  radumereuta

  committed
  b60d11d

  Copy full SHA for b60d11d