Code

Add some simple proofs#437

Code

Open

calin1304 wants to merge 5 commits intoruntimeverification:masterruntimeverification/wasm-semantics:masterfrom calin1304:simple-claimscalin1304/wasm-semantics:simple-claimsCopy head branch name to clipboard

+52

Commits

Commits on Sep 29, 2021

• Add simple example proofs

  calin1304

  committed
  8c4291a

Commits on Oct 7, 2021

• Fix proof

  calin1304

  committed
  0a3b1d0

• Remove #inUnsignedRange for subtraction

  calin1304

  committed
  85d747c

Commits on Oct 11, 2021

• Fix format

  calin1304

  committed
  669f7dd

Commits on Mar 21, 2023

• Merge branch 'master' into simple-claims

  hjorthjort

  authored
  0da3e27