Code

Theodore/proofnarrowing#34

Code

Merged

theodorebugnet merged 5 commits intomasterSovereign-Labs/nmt-rs:masterfrom theodore/proofnarrowingSovereign-Labs/nmt-rs:theodore/proofnarrowingCopy head branch name to clipboardSep 10, 2024

+530-2

Commits

Commits on Sep 1, 2024

• Added proof narrowing feature

  theodorebugnet

  committed
  36ac9dd

• Remove test macro

  Show description for 879a827
  theodorebugnet

  committed
  879a827

• Version bump, small cleanups, README

  theodorebugnet

  committed
  b4ca705

Commits on Sep 2, 2024

• Narrowing: edge case fixes, documentation, cleanup

  Show description for b4c9fb9
  theodorebugnet

  committed
  b4c9fb9

Commits on Sep 10, 2024

• clean leftover comment

  theodorebugnet

  committed
  cb3bbd4