5afe/CandideWalletContracts

Issues

• FV: Ownership update after finalization

  #8 opened 5 months ago by remedcu
  3

• FV: Verify which function can make which state changes

  #36 opened 6 months ago by mmv08
  1

• Upstream Changes to Candide

  #47 opened 6 months ago by nlordell
  0

• FV: Delay period should be complete for the finalization process

  #14 opened 6 months ago by remedcu
  1

• Coordinate Social Recovery Module Audit

  #26 opened 6 months ago by remedcu
  1

• FV: Initiation of a Recovery by Guardian Signatures

  #17 opened 6 months ago by remedcu
  1

• FV: Finalization is always possible with suitable conditions

  #11 opened 6 months ago by remedcu
  0

• FV: Safe Smart Account should have access to only it's guardians & threshold

  #9 opened 6 months ago by remedcu
  0

• FV: Finalizing Recovery

  #7 opened 7 months ago by remedcu
  0

• FV: Initiation of a Recovery by Guardian

  #6 opened 7 months ago by remedcu
  1

• FV: Verify the Harness Functions

  #25 opened 7 months ago by remedcu
  1

• FV: Guardians can only initiate recovery for the assigned ones

  #10 opened 7 months ago by remedcu
  0

• FV: OwnerManager Specs -> GuardianStorage Specs

  #15 opened 7 months ago by remedcu
  1

• FV: Recovery can be cancelled anytime by the owner

  #13 opened 7 months ago by remedcu
  0

• FV: Social Recovery Module Setup and Revocation

  #12 opened 7 months ago by remedcu
  1

• FV: Using required invariant for linked list integrity

  #24 opened 7 months ago by remedcu
  0

• FV: Actions after disabling Recovery Module

  #5 opened 7 months ago by remedcu
  3

• FV: Guardian can always initiate recovery

  #18 opened 7 months ago by remedcu
  0

• FV: Guardian Setup and Revocation

  #4 opened 7 months ago by remedcu
  2

• Create Formal Verification Harness for Recovery Contract

  #2 opened 8 months ago by nlordell
  0

• Introduce Formal Verification GitHub Flow

  #1 opened 8 months ago by nlordell
  0