Code

Proof container proof type#4358

Code

Open

nwatson22 wants to merge 8 commits intodevelopruntimeverification/k:developfrom noah/multi-proofruntimeverification/k:noah/multi-proofCopy head branch name to clipboard

+192-2

Commits

Commits on May 15, 2024

• Add MultiProof

  nwatson22

  committed
  cb7fb93

  Copy full SHA for cb7fb93

• Remove typevars from MultiProof definition

  nwatson22

  committed
  7c42864

  Copy full SHA for 7c42864

• Add disk read/write test and fix

  nwatson22

  committed
  66c49c1

  Copy full SHA for 66c49c1

Commits on May 16, 2024

• Merge branch 'develop' into noah/multi-proof

  PetarMax

  authored
  7aa17ee

  Copy full SHA for 7aa17ee

• Fix bug in RefutationProof antecedent building

  nwatson22

  committed
  7189276

  Copy full SHA for 7189276

• Merge branch 'noah/multi-proof' of https://github.com/runtimeverification/k into noah/multi-proof

  nwatson22

  committed
  4aca089

  Copy full SHA for 4aca089

• Update pyk/src/pyk/proof/proof.py

  nwatson22

  authored
  da55d8d

  Copy full SHA for da55d8d

Commits on May 20, 2024

• Merge branch 'develop' into noah/multi-proof

  palinatolmach

  authored
  c2c054c

  Copy full SHA for c2c054c