Code

Break up the UniformCorrectness proof#61

Code

Closed

fzaiser wants to merge 5 commits intomaindafny-lang/Dafny-VMC:mainfrom fabiandafny-lang/Dafny-VMC:fabianCopy head branch name to clipboard

+206-50

Commits

Commits on Sep 28, 2023

• Simplify UniformCorrectness

  fzaiser

  committed
  05e6cf7

  Copy full SHA for 05e6cf7

• names

  fzaiser

  committed
  d7c69fb

  Copy full SHA for d7c69fb

• Merge branch 'main' into fabian

  fzaiser

  committed
  c37f8cd

  Copy full SHA for c37f8cd

• Assume proof gap

  fzaiser

  committed
  434c932

  Copy full SHA for 434c932

Commits on Sep 29, 2023

• Merge branch 'main' into fabian

  fzaiser

  committed
  3579fe9

  Copy full SHA for 3579fe9