Code

DRAFT: Opaque Monad Simple Version#109

Code

Closed

stefan-aws wants to merge 11 commits intomaindafny-lang/Dafny-VMC:mainfrom simple-opaquedafny-lang/Dafny-VMC:simple-opaqueCopy head branch name to clipboard

+669-631

Commits

Commits on Oct 31, 2023

• skeleton

  stefan-aws

  committed
  588fc38

  Copy full SHA for 588fc38

• format

  stefan-aws

  committed
  5e0f904

  Copy full SHA for 5e0f904

• submodules

  stefan-aws

  committed
  b69e6a6

  Copy full SHA for b69e6a6

• more

  stefan-aws

  committed
  8cbe62a

  Copy full SHA for 8cbe62a

• format and audit

  stefan-aws

  committed
  4e62653

  Copy full SHA for 4e62653

• debug

  stefan-aws

  committed
  0cf989d

  Copy full SHA for 0cf989d

• audit

  stefan-aws

  committed
  93ea734

  Copy full SHA for 93ea734

• uniform interface back

  stefan-aws

  committed
  675712a

  Copy full SHA for 675712a

• remove independence proofs

  stefan-aws

  committed
  4ab2b7d

  Copy full SHA for 4ab2b7d

• format and audit

  stefan-aws

  committed
  5e13ad3

  Copy full SHA for 5e13ad3

• debug

  stefan-aws

  committed
  43f6ddd

  Copy full SHA for 43f6ddd