Code

Improve SymFiniteBits interface#262

Code

Merged

lsrcz merged 1 commit intomainlsrcz/grisette:mainfrom sym-finite-bits-confusionlsrcz/grisette:sym-finite-bits-confusionCopy head branch name to clipboardNov 9, 2024

+72-43

Commits

Commits on Nov 9, 2024

• 🐛 Make symCountLeadingZeros/symPopCount/symCountTrailingZeros less confusing by returning the arg type

  lsrcz

  committed
  318d91f

  Copy full SHA for 318d91f