Code

Deprecate symbol and klabel#4045

Code

Merged

rv-jenkins merged 23 commits intodevelopruntimeverification/k:developfrom deprecate-symbol-klabelruntimeverification/k:deprecate-symbol-klabelCopy head branch name to clipboardJul 4, 2024

+481-396

Commits

Commits on Feb 26, 2024

• PW1: implement warning

  Baltoli

  committed
  48ab50b

  Copy full SHA for 48ab50b

• PW1: fix standard library

  Baltoli

  committed
  6478f8e

  Copy full SHA for 6478f8e

• Fix regression tests

  Baltoli

  committed
  2495800

  Copy full SHA for 2495800

Commits on Mar 14, 2024

• Merge branch 'develop' into deprecate-symbol-klabel

  Baltoli

  committed
  32f7a5e

  Copy full SHA for 32f7a5e

• Implement PW2, PW3

  Baltoli

  committed
  4cb05fe

  Copy full SHA for 4cb05fe

• Fix missing case in domains.md

  Baltoli

  committed
  be26317

  Copy full SHA for be26317

• Update regression tests

  Baltoli

  committed
  a67ce8f

  Copy full SHA for a67ce8f

Commits on Mar 21, 2024

• Merge branch 'develop' into deprecate-symbol-klabel

  Baltoli

  committed
  3bb8c65

  Copy full SHA for 3bb8c65

• Update pushList symbol

  Baltoli

  committed
  6c756eb

  Copy full SHA for 6c756eb

• Implement test for warnings

  Baltoli

  committed
  61a9427

  Copy full SHA for 61a9427

• Update warning for klabel, overload

  Baltoli

  committed
  827ff45

  Copy full SHA for 827ff45

Commits on Mar 26, 2024

• Merge branch 'develop' into deprecate-symbol-klabel

  Baltoli

  authored
  a053301

  Copy full SHA for a053301

Commits on Mar 27, 2024

• Merge branch 'develop' into deprecate-symbol-klabel

  Baltoli

  authored
  3457cb6

  Copy full SHA for 3457cb6

• Merge branch 'develop' into deprecate-symbol-klabel

  Baltoli

  authored
  81ac0bb

  Copy full SHA for 81ac0bb

Commits on Mar 28, 2024

• Merge branch 'develop' into deprecate-symbol-klabel

  Baltoli

  authored
  c28f891

  Copy full SHA for c28f891

Commits on Jul 2, 2024

• Merge branch 'develop' into deprecate-symbol-klabel

  Baltoli

  committed
  3c5dc81

  Copy full SHA for 3c5dc81

Commits on Jul 3, 2024

• Merge branch 'develop' into deprecate-symbol-klabel

  Baltoli

  authored
  4bb1bf1

  Copy full SHA for 4bb1bf1

• Fix module-to-kore tests

  Baltoli

  committed
  306d6e5

  Copy full SHA for 306d6e5

• Fix regression tests

  Baltoli

  committed
  5b09f79

  Copy full SHA for 5b09f79

• Type checker

  Baltoli

  committed
  e52fbff

  Copy full SHA for e52fbff

• Update proof test

  Baltoli

  committed
  b090f3f

  Copy full SHA for b090f3f

• Update proof test

  Baltoli

  committed
  60ad675

  Copy full SHA for 60ad675

Commits on Jul 4, 2024

• Merge branch 'develop' into deprecate-symbol-klabel

  Baltoli

  authored
  97dfaa8

  Copy full SHA for 97dfaa8