Code

Add bitvector library #284

Code

Draft

filipeom wants to merge 6 commits intoformalsec:mainformalsec/smtml:mainfrom filipeom:add-bitvectorfilipeom/smtml:add-bitvectorCopy head branch name to clipboard

+1,584-1,486

Commits

Commits on Feb 16, 2025

• Add bitvector library

  filipeom

  committed
  d232f97

  Copy full SHA for d232f97

• Add bitvector unit tests

  filipeom

  committed
  7f9906b

  Copy full SHA for 7f9906b

Commits on Feb 17, 2025

• Refactor tests with new API

  filipeom

  committed
  dbc082c

  Copy full SHA for dbc082c

• Start making migration from Num (IXX) to Bitv

  filipeom

  committed
  a11cd17

  Copy full SHA for a11cd17

• Update CHANGES.md

  filipeom

  committed
  9b08df5

  Copy full SHA for 9b08df5

Commits on Feb 18, 2025

• Bump colibri2 pin

  filipeom

  committed
  34f6e9f

  Copy full SHA for 34f6e9f