Code

[WIP] Package invariants#810

Code

Draft

jcp19 wants to merge 44 commits intomasterviperproject/gobra:masterfrom continue-msinitviperproject/gobra:continue-msinitCopy head branch name to clipboard

+6,067-4,614

Commits

Commits on Sep 15, 2024

• backup

  jcp19

  committed
  2707ddb

  Copy full SHA for 2707ddb

Commits on Sep 22, 2024

• parsing-related changes

  jcp19

  committed
  5040a93

  Copy full SHA for 5040a93

Commits on Sep 23, 2024

• backup

  jcp19

  committed
  34d880e

  Copy full SHA for 34d880e

• more parsing shennanigans

  jcp19

  committed
  9d92e50

  Copy full SHA for 9d92e50

• backup

  jcp19

  committed
  e92a034

  Copy full SHA for e92a034

• improve syntax for 'openDupPkgInv'

  jcp19

  committed
  ee1f467

  Copy full SHA for ee1f467

• backup

  jcp19

  committed
  6bea45a

  Copy full SHA for 6bea45a

Commits on Sep 26, 2024

• allow ghost globals

  jcp19

  committed
  72a6949

  Copy full SHA for 72a6949

Commits on Sep 28, 2024

• backup

  jcp19

  committed
  fe93135

  Copy full SHA for fe93135

Commits on Sep 30, 2024

• fix resources from friend pkgs

  jcp19

  committed
  37e8fc5

  Copy full SHA for 37e8fc5

Commits on Nov 14, 2024

• add missing proof obligation

  jcp19

  committed
  c8c5766

  Copy full SHA for c8c5766

• backup

  jcp19

  committed
  3e093a9

  Copy full SHA for 3e093a9

Commits on Nov 15, 2024

• backup

  jcp19

  committed
  392e122

  Copy full SHA for 392e122

• fix soundness bug

  jcp19

  committed
  1925f79

  Copy full SHA for 1925f79

• make desugarer sequential again

  jcp19

  committed
  0936126

  Copy full SHA for 0936126

Commits on Dec 1, 2024

• backup

  jcp19

  committed
  fa4dd6a

  Copy full SHA for fa4dd6a

• new parser

  jcp19

  committed
  1ecf40d

  Copy full SHA for 1ecf40d

Commits on Dec 17, 2024

• continue cleaning up

  jcp19

  committed
  f0ff303

  Copy full SHA for f0ff303

• Merge branch 'master' into continue-msinit

  jcp19

  committed
  ff165ba

  Copy full SHA for ff165ba

Commits on Dec 18, 2024

• backup

  jcp19

  committed
  4a7b5b9

  Copy full SHA for 4a7b5b9

Commits on Jan 19, 2025

• merge master

  jcp19

  committed
  642fd28

  Copy full SHA for 642fd28

Commits on Jan 20, 2025

• fix cyclical type-checking dependency

  jcp19

  committed
  22c5f86

  Copy full SHA for 22c5f86

• cleanup

  jcp19

  committed
  5ce6644

  Copy full SHA for 5ce6644

• add examples

  jcp19

  committed
  fb2e9ab

  Copy full SHA for fb2e9ab

• start adapting some tests

  jcp19

  committed
  899e1e2

  Copy full SHA for 899e1e2

• cleanup

  jcp19

  committed
  a3ef935

  Copy full SHA for a3ef935

• fix location of pkg init tests

  jcp19

  committed
  c836330

  Copy full SHA for c836330

Commits on Jan 23, 2025

• add check for global variable decls that prevent calling interface methods defined in the package under verification during its initialization

  jcp19

  committed
  5ef3294

  Copy full SHA for 5ef3294

• cleanup

  jcp19

  committed
  91dd34f

  Copy full SHA for 91dd34f

• backup

  jcp19

  committed
  fb6a51e

  Copy full SHA for fb6a51e

• merge with master

  jcp19

  committed
  0eb628d

  Copy full SHA for 0eb628d

• improve error messages

  jcp19

  committed
  a9e5998

  Copy full SHA for a9e5998

Commits on Jan 28, 2025

• backup

  jcp19

  committed
  40a6132

  Copy full SHA for 40a6132

• cleanup

  jcp19

  committed
  23a3977

  Copy full SHA for 23a3977

• Merge branch 'master' into continue-msinit

  jcp19

  committed
  a10bb09

  Copy full SHA for a10bb09

• reorganize files

  jcp19

  committed
  6d2a575

  Copy full SHA for 6d2a575

Commits on Jan 29, 2025

• backup

  jcp19

  committed
  0b09914

  Copy full SHA for 0b09914

• delete temp file

  jcp19

  committed
  e92f444

  Copy full SHA for e92f444

• cleanup tests

  jcp19

  committed
  eddaf6a

  Copy full SHA for eddaf6a

• cleanup, bug fixing

  jcp19

  committed
  9b38dd6

  Copy full SHA for 9b38dd6

• fix test file

  jcp19

  committed
  a758613

  Copy full SHA for a758613

• fix more tests

  jcp19

  committed
  264796a

  Copy full SHA for 264796a

• fix viperserver function

  jcp19

  committed
  047d14b

  Copy full SHA for 047d14b

• ignore failing tests

  jcp19

  committed
  244e8a5

  Copy full SHA for 244e8a5