Skip to content

Refactor pegin & fix some issue - #455

Merged
eigmax merged 8 commits into
GOATNetwork:devfrom
KSlashh:refactor-pegin
Sep 4, 2026
Merged

Refactor pegin & fix some issue#455
eigmax merged 8 commits into
GOATNetwork:devfrom
KSlashh:refactor-pegin

remove dead code

165d9f6
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

2 warnings
TLA+ Formal Verification
succeeded Sep 4, 2026 in 22s