Code

Uniform as primitive#154

Code

Closed

stefan-aws wants to merge 9 commits intomaindafny-lang/Dafny-VMC:mainfrom uniform-as-primitivedafny-lang/Dafny-VMC:uniform-as-primitiveCopy head branch name to clipboard

+173-2,321

Commits

Commits on Feb 23, 2024

• skeleton

  stefan-aws

  committed
  780aad1

  Copy full SHA for 780aad1

• remove more dead code

  stefan-aws

  committed
  01297ab

  Copy full SHA for 01297ab

• remove more code

  stefan-aws

  committed
  4a0a284

  Copy full SHA for 4a0a284

• audit and format

  stefan-aws

  committed
  a63ff15

  Copy full SHA for a63ff15

Commits on Feb 29, 2024

• progress

  stefan-aws

  committed
  3c2073d

  Copy full SHA for 3c2073d

• Merge branch 'main' into uniform-as-primitive

  stefan-aws

  authored
  556b009

  Copy full SHA for 556b009

• fix all proofs

  stefan-aws

  committed
  0141a42

  Copy full SHA for 0141a42

• fix proofs

  stefan-aws

  committed
  e1f5f34

  Copy full SHA for e1f5f34

• audit format

  stefan-aws

  committed
  16b5021

  Copy full SHA for 16b5021