Code

TreapMap.keys as TreapSet#20

Code

Merged

ericeil merged 6 commits intoCertora:mainCertora/collections:mainfrom ericeil:mapKeysericeil/certora-collections:mapKeysCopy head branch name to clipboardJan 7, 2025

+122-30

Commits

Commits on Jan 2, 2025

• TreapMap.keys as a TreapSet

  Show description for 7d71fc3
  ericeil

  committed
  7d71fc3

  Copy full SHA for 7d71fc3

Commits on Jan 6, 2025

• Remove potentially misleading comment

  ericeil

  authored
  fb82689

  Copy full SHA for fb82689

Commits on Jan 7, 2025

• Yoav's CR

  ericeil

  committed
  19cd783

  Copy full SHA for 19cd783

• Merge branch 'mapKeys' of github.com:ericeil/certora-collections into mapKeys

  ericeil

  committed
  fe1c6d9

  Copy full SHA for fe1c6d9

• John's feedback

  ericeil

  committed
  861593a

  Copy full SHA for 861593a

• Merge branch 'main' into mapKeys

  ericeil

  authored
  d77f633

  Copy full SHA for d77f633