Code

feat: stable certified sequence#88

Code

Draft

roman-kashitsyn wants to merge 9 commits intomaindfinity/stable-structures:mainfrom

roman-certified-seqdfinity/stable-structures:roman-certified-seqCopy head branch name to clipboard

Commits

Commits on Jun 2, 2023

• experiment: certified sequences

  roman-kashitsyn

  committed
  19cdf95

  Copy full SHA for 19cdf95

Commits on Jun 17, 2023

• Merge remote-tracking branch 'origin/main' into roman-certified-seq

  roman-kashitsyn

  committed
  3cb9f7c

  Copy full SHA for 3cb9f7c

Commits on Jun 19, 2023

• implement witness generation

  roman-kashitsyn

  committed
  4addddf

  Copy full SHA for 4addddf

• remove the lock file

  roman-kashitsyn

  committed
  b12ff96

  Copy full SHA for b12ff96

• revive the lock file

  roman-kashitsyn

  committed
  9aaa61d

  Copy full SHA for 9aaa61d

• move tree navigation tests into a separate file

  roman-kashitsyn

  committed
  527d4df

  Copy full SHA for 527d4df

• fix empty sequence witness

  roman-kashitsyn

  committed
  55f8c1f

  Copy full SHA for 55f8c1f

• clippy

  roman-kashitsyn

  committed
  5d4fe2e

  Copy full SHA for 5d4fe2e

• clippy tests

  roman-kashitsyn

  committed
  b2c0752

  Copy full SHA for b2c0752