Code

Invariant suite fixes#1

Code

Open

vnmrtz wants to merge 5 commits intomasterEnigma-Dark/euler-vault-kit:masterfrom invariant-suite-fixesEnigma-Dark/euler-vault-kit:invariant-suite-fixesCopy head branch name to clipboard

+744-220

Commits

Commits on Jun 25, 2024

• feat: added internal invariants

  vnmrtz

  committed
  b8ecf38

• fix: remove TODOs

  vnmrtz

  committed
  4745007

• fix: formatting

  vnmrtz

  committed
  9516277

• feat: add spec comments

  vnmrtz

  committed
  de30962

• improve readme invariant instructions

  vnmrtz

  committed
  64ac93f