Code

Prusti 2.0: Free PCS#1398

Code

Open

JonasAlaif wants to merge 36 commits intomasterviperproject/prusti-dev:masterfrom free-pcs-engineviperproject/prusti-dev:free-pcs-engineCopy head branch name to clipboard

+2,977-6

Commits

Commits on Mar 22, 2023

• Start work on MicroMir

  JonasAlaif

  committed
  9a8e1f0

  Copy full SHA for 9a8e1f0

• More work on MicroMir

  JonasAlaif

  committed
  9c967ed

  Copy full SHA for 9c967ed

• More work on MicroMir

  JonasAlaif

  committed
  d86eabb

  Copy full SHA for d86eabb

• Clippy/fmt fix

  JonasAlaif

  committed
  aa67674

  Copy full SHA for aa67674

Commits on Apr 17, 2023

• Merge branch 'master' into free-pcs

  JonasAlaif

  committed
  18a6a0e

  Copy full SHA for 18a6a0e

Commits on Apr 18, 2023

• Switch to using rustc dataflow engine

  JonasAlaif

  committed
  0a533ae

  Copy full SHA for 0a533ae

• Add results cursor

  JonasAlaif

  committed
  a64df48

  Copy full SHA for a64df48

• Display repacks in graphviz

  JonasAlaif

  committed
  d85ed76

  Copy full SHA for d85ed76

Commits on Apr 19, 2023

• Add ShallowExclusive capability

  Show description for b914d79
  JonasAlaif

  committed
  b914d79

  Copy full SHA for b914d79

Commits on Apr 24, 2023

• Update

  JonasAlaif

  committed
  d176fb8

  Copy full SHA for d176fb8

Commits on Apr 25, 2023

• Bugfix

  JonasAlaif

  committed
  2f8fbba

  Copy full SHA for 2f8fbba

• More changes

  JonasAlaif

  committed
  330e61a

  Copy full SHA for 330e61a

Commits on Aug 22, 2023

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

  JonasAlaif

  committed
  9cebf2c

  Copy full SHA for 9cebf2c

• Merge update fixes

  JonasAlaif

  committed
  adf559b

  Copy full SHA for adf559b

Commits on Sep 27, 2023

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

  JonasAlaif

  committed
  0900cef

  Copy full SHA for 0900cef

• fmt

  JonasAlaif

  committed
  5933a00

  Copy full SHA for 5933a00

• Fix merge issues

  JonasAlaif

  committed
  496ebe1

  Copy full SHA for 496ebe1

• Clippy fixes

  JonasAlaif

  committed
  66f7ea2

  Copy full SHA for 66f7ea2

Commits on Sep 28, 2023

• Bugfix for shallow exclusive

  JonasAlaif

  committed
  362788c

  Copy full SHA for 362788c

• Remove check

  JonasAlaif

  committed
  813c87f

  Copy full SHA for 813c87f

• fmt

  JonasAlaif

  committed
  55bd039

  Copy full SHA for 55bd039

• Bugfix

  JonasAlaif

  committed
  135065c

  Copy full SHA for 135065c

• Fix PlaceMention triple

  JonasAlaif

  committed
  a7a892b

  Copy full SHA for a7a892b

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

  JonasAlaif

  committed
  878b7da

  Copy full SHA for 878b7da

• Fix can_deinit check

  JonasAlaif

  committed
  62f8e62

  Copy full SHA for 62f8e62

Commits on Sep 29, 2023

• fmt

  JonasAlaif

  committed
  17ed9fe

  Copy full SHA for 17ed9fe

Commits on Oct 12, 2023

• Fix bug in ConstantIndex unpacking

  JonasAlaif

  committed
  210d37a

  Copy full SHA for 210d37a

• Ensure that we never expand a Write capability

  JonasAlaif

  committed
  4047beb

  Copy full SHA for 4047beb

• fmt

  JonasAlaif

  committed
  4467796

  Copy full SHA for 4467796

Commits on Oct 20, 2023

• Add weakens before write

  JonasAlaif

  committed
  8e4030c

  Copy full SHA for 8e4030c

Commits on Oct 25, 2023

• Bugfix to support other capabilities

  JonasAlaif

  committed
  7e12a2e

  Copy full SHA for 7e12a2e

• Add pre and post distinction

  JonasAlaif

  committed
  786a22d

  Copy full SHA for 786a22d

• Add ty utility function

  JonasAlaif

  committed
  87d41e8

  Copy full SHA for 87d41e8

Commits on Nov 13, 2023

• fmt and clippy

  JonasAlaif

  committed
  09dcd1e

  Copy full SHA for 09dcd1e

• Make top crates iterator

  JonasAlaif

  committed
  54651c9

  Copy full SHA for 54651c9

• Disallow expanding through Projection at edges

  JonasAlaif

  committed
  b9ba878

  Copy full SHA for b9ba878