formal-ledger-specifications icon indicating copy to clipboard operation
formal-ledger-specifications copied to clipboard

Published 20 hours ago • verified publisher icon IntersectMBO

Refactor `VDeleg`

Open Soupstraw opened this issue 1 year ago • 0 comments

  • [ ] Rename VDeleg to DRep
  • [ ] Rename credVoter to drepCredential
  • [ ] Rename abstainRep to drepAlwaysAbstain
  • [ ] Rename noConfidenceRep to drepAlwaysNoConfidence
  • [ ] Remove the credential field from drepCredential

Soupstraw avatar Jun 20 '23 11:06 Soupstraw