Code

Update README.md with log2#47

Code

Merged

palinatolmach merged 2 commits intomasterruntimeverification/kontrol-solady:masterfrom Add-`log2`-to-READMEruntimeverification/kontrol-solady:Add-`log2`-to-READMECopy head branch name to clipboardSep 5, 2024

+2-2

Commits

Commits on Aug 23, 2024

• Update README.md with log2

  palinatolmach

  authored
  73cef88

  Copy full SHA for 73cef88

Commits on Aug 25, 2024

• Merge branch 'master' into Add-log2-to-README

  anvacaru

  authored
  26859cd

  Copy full SHA for 26859cd