Code

Migrate assertions to Vipers#104

Code

Draft

macalinao wants to merge 13 commits intomastersaber-hq/stable-swap:masterfrom clean-up-assertionssaber-hq/stable-swap:clean-up-assertionsCopy head branch name to clipboard

+215-252

Commits

Commits on Dec 28, 2021

• Migrate assertions to Vipers

  macalinao

  committed
  2681c25

  Copy full SHA for 2681c25

• Merge remote-tracking branch 'origin/master' into clean-up-assertions

  macalinao

  committed
  d48182c

  Copy full SHA for d48182c

• migrate more stuff to vipers

  macalinao

  committed
  34e1f26

  Copy full SHA for 34e1f26

• Merge remote-tracking branch 'origin/master' into clean-up-assertions

  macalinao

  committed
  197c61d

  Copy full SHA for 197c61d

• migrate more stuff to assert_keys

  macalinao

  committed
  18444f8

  Copy full SHA for 18444f8

• More vipers checks

  macalinao

  committed
  ca96cd4

  Copy full SHA for ca96cd4

• More checks

  macalinao

  committed
  afc0790

  Copy full SHA for afc0790

• not init

  macalinao

  committed
  1ad5f1d

  Copy full SHA for 1ad5f1d

Commits on Feb 6, 2022

• Merge remote-tracking branch 'origin/master' into clean-up-assertions

  macalinao

  committed
  6b745a1

  Copy full SHA for 6b745a1

• Upgrade deps

  macalinao

  committed
  4a8fefc

  Copy full SHA for 4a8fefc

• Move ownership checks lower in the program

  macalinao

  committed
  6ec570f

  Copy full SHA for 6ec570f

• more cleanup

  macalinao

  committed
  bda08f7

  Copy full SHA for bda08f7

• more vipers

  macalinao

  committed
  4f637c6

  Copy full SHA for 4f637c6