search

filecoin-project / go-state-types

Primitive and low level types used in chain state and actor method parameters
Other
25 stars 35 forks source link

feat: FIP-0076: add new invariants #245

Closed arajasek closed 5 months ago

arajasek commented 5 months ago

These are new invariants that cover FIP-0076 changes.

Partly extracted from #236, with additional invariants based on https://github.com/filecoin-project/builtin-actors/pull/1520.