Repository navigation

feat!: Add support for `LogicalBlock` in verifier - #199

Merged

hsemenenko merged 14 commits into

mainfrom

hs/feat/iterable-protocol-verifier

Oct 20, 2026

Merged

feat!: Add support for `LogicalBlock` in verifier#199
hsemenenko merged 14 commits into
mainfrom
hs/feat/iterable-protocol-verifier

Commits on Aug 7, 2026
- test Iterable protocol with verifier
  hsemenenko
  committed
  46066f4
- use typing.Iterable
  hsemenenko
  committed
  68e6539
Commits on Aug 11, 2026
- Merge remote-tracking branch 'origin/main' into hs/feat/iterable-protocol-verifier
  hsemenenko
  committed
  499a185
- revert to use guppy protocol
  hsemenenko
  committed
  913934c
- use iterable for unitary check
  hsemenenko
  committed
  bc339aa
Commits on Oct 16, 2026
- Merge remote-tracking branch 'origin/main' into hs/feat/iterable-protocol-verifier
  hsemenenko
  committed
  cebadf9
- use overloads for logical block, remove iterator
  hsemenenko
  committed
  aab137b
- clean up type signatures
  hsemenenko
  committed
  e6b6e9f
- clean up
  hsemenenko
  committed
  25004f7
- simplify
  hsemenenko
  committed
  5a50a15
- remove outdated test
  hsemenenko
  committed
  5e6877b
- revert type simplification
  hsemenenko
  committed
  658d8bd
- fix order
  hsemenenko
  committed
  19f97e8
Commits on Oct 19, 2026
- fix
  hsemenenko
  committed
  0575141