Code

Prusti 2.0: Coupling Graph#1449

Code

Draft

JonasAlaif wants to merge 66 commits intomasterviperproject/prusti-dev:masterfrom coupling-graph-engineviperproject/prusti-dev:coupling-graph-engineCopy head branch name to clipboard

+8,119-21

Commits

Commits on Mar 22, 2023

• Start work on MicroMir

  JonasAlaif

  committed
  9a8e1f0

• More work on MicroMir

  JonasAlaif

  committed
  9c967ed

• More work on MicroMir

  JonasAlaif

  committed
  d86eabb

• Clippy/fmt fix

  JonasAlaif

  committed
  aa67674

Commits on Apr 17, 2023

• Merge branch 'master' into free-pcs

  JonasAlaif

  committed
  18a6a0e

Commits on Apr 18, 2023

• Switch to using rustc dataflow engine

  JonasAlaif

  committed
  0a533ae

• Add results cursor

  JonasAlaif

  committed
  a64df48

• Display repacks in graphviz

  JonasAlaif

  committed
  d85ed76

Commits on Apr 19, 2023

• Add ShallowExclusive capability

  Show description for b914d79
  JonasAlaif

  committed
  b914d79

Commits on Apr 24, 2023

• Update

  JonasAlaif

  committed
  d176fb8

Commits on Apr 25, 2023

• Bugfix

  JonasAlaif

  committed
  2f8fbba

• More changes

  JonasAlaif

  committed
  330e61a

Commits on Aug 22, 2023

• Merge branch 'master' into free-pcs-engine

  JonasAlaif

  committed
  9cebf2c

• Merge update fixes

  JonasAlaif

  committed
  adf559b

• Initial experiments with coupling graph

  JonasAlaif

  committed
  1af955e

Commits on Sep 22, 2023

• Add merge op

  JonasAlaif

  committed
  1f9441e

Commits on Sep 27, 2023

• Almost done

  JonasAlaif

  committed
  3d26e32

• Merge branch 'master' into free-pcs-engine

  JonasAlaif

  committed
  0900cef

• Merge branch 'master' into coupling-graph-engine

  JonasAlaif

  committed
  491f95c

• fmt

  JonasAlaif

  committed
  5933a00

• Fix merge issues

  JonasAlaif

  committed
  496ebe1

• Merge fixes

  JonasAlaif

  committed
  185a8be

• Clippy fixes

  JonasAlaif

  committed
  66f7ea2

• Add top crates test

  JonasAlaif

  committed
  16a944e

• Debug which method we're running on

  JonasAlaif

  committed
  77326d4

• Change repetition tracking

  JonasAlaif

  committed
  1a9102e

Commits on Sep 28, 2023

• Bugfix for shallow exclusive

  JonasAlaif

  committed
  362788c

• Remove check

  JonasAlaif

  committed
  813c87f

• fmt

  JonasAlaif

  committed
  55bd039

• Merge branch 'free-pcs-engine' into coupling-graph-engine

  JonasAlaif

  committed
  be4f7db

• Add tracing

  JonasAlaif

  committed
  fc4c881

• Add loop detection analysis

  JonasAlaif

  committed
  64e742d

• Bugfix

  JonasAlaif

  committed
  135065c

• Fix PlaceMention triple

  JonasAlaif

  committed
  a7a892b

• Merge branch 'master' into free-pcs-engine

  JonasAlaif

  committed
  878b7da

• Merge branch 'free-pcs-engine' into coupling-graph-engine

  JonasAlaif

  committed
  509166f

• Merge

  JonasAlaif

  committed
  0e5f84f

• Only one region per Node

  JonasAlaif

  committed
  7610848

• Fix can_deinit check

  JonasAlaif

  committed
  62f8e62

Commits on Sep 29, 2023

• fmt

  JonasAlaif

  committed
  17ed9fe

• Clean things up

  JonasAlaif

  committed
  452c317

• Rearrange things

  JonasAlaif

  committed
  a0e1026

• Disable printing and dumping when running under top crates

  JonasAlaif

  committed
  6b9d469

• Small bugfixes

  JonasAlaif

  committed
  d7e85d2

Commits on Oct 3, 2023

• Analysis done

  JonasAlaif

  committed
  b554699

• Remove outlives constraints uniqueness assumption

  JonasAlaif

  committed
  cda10d4

• fmt

  JonasAlaif

  committed
  2e47a27

Commits on Oct 9, 2023

• Improve constant analysis

  JonasAlaif

  committed
  7e19cc7

Commits on Oct 10, 2023

• Change constant lifetime analysis

  JonasAlaif

  committed
  9e79e87

Commits on Oct 11, 2023

• Bugfix

  JonasAlaif

  committed
  6bf38d0

• Merge branch 'free-pcs-engine' into coupling-graph-engine

  JonasAlaif

  committed
  c485102

Commits on Oct 12, 2023

• Fix bug in ConstantIndex unpacking

  JonasAlaif

  committed
  598ec91

• Ensure that we never expand a Write capability

  JonasAlaif

  committed
  0ac0bd4

• fmt

  JonasAlaif

  committed
  03649f3

Commits on Oct 17, 2023

• Start combining the analyses

  JonasAlaif

  committed
  ec94390

• Bugfixes

  JonasAlaif

  committed
  29d695e

Commits on Oct 18, 2023

• Loop generalization, two-phase borrows and kill_many

  JonasAlaif

  committed
  89ece29

Commits on Oct 19, 2023

• Bugfixes

  JonasAlaif

  committed
  58d03fb

Commits on Oct 20, 2023

• Add weakens before write

  JonasAlaif

  committed
  58fe3c5

Commits on Oct 25, 2023

• Bugfix to support other capabilities

  JonasAlaif

  committed
  c700a96

• Add pre and post distinction

  JonasAlaif

  committed
  741284e

• Update checker with new fpcs

  JonasAlaif

  committed
  348623d

Commits on Nov 13, 2023

• fmt and clippy

  JonasAlaif

  committed
  38116a1

• Make top crates iterator

  JonasAlaif

  committed
  8ac71f4

• Disallow expanding through Projection at edges

  JonasAlaif

  committed
  bc36bd2

Commits on Nov 27, 2023

• Update checker.rs

  JonasAlaif

  committed
  54b75fb