All pull requests

Pull requests

• feat: Implement CoSignerPolicy for module transactions

  #173·akshay-ap opened Oct 20, 2026Collaborator·

  ·
  

• certora: restore rules with no SUCCESS verdict yet and their confs

  #166·remedcu opened Sep 15, 2026Collaborator·

  ·
  1

  

• certora: BindingArgs conf, binding at argument level, 7 rules

  #165·remedcu opened Sep 15, 2026Collaborator·

  ·
  1

  

• certora: Binding conf, signed message field binding, 17 rules

  #164·remedcu opened Sep 15, 2026Collaborator·

  ·
  1

  

• certora: SafenetArgs conf, verdict binding arguments, 2 rules

  #163·remedcu opened Sep 15, 2026Collaborator·

  ·
  1

  

• certora: Safenet conf, SafenetPolicy in isolation, 26 rules

  #162·remedcu opened Sep 15, 2026Collaborator·

  ·
  1

  

• test: Safenet decoding, rollover binding and curve checks

  #161·remedcu opened Sep 15, 2026Collaborator·

  ·
  1

  

• certora: IncreasedThresholdOpenSafe conf, arbitrary Safe, 3 rules

  #160·remedcu opened Sep 15, 2026Collaborator·

  ·
  1

  

• certora: IncreasedThresholdArgs conf, hash arguments, 3 rules

  #159·remedcu opened Sep 15, 2026Collaborator·

  ·
  1

  

• certora: IncreasedThreshold conf, Safe in scene, 13 rules

  #158·remedcu opened Sep 15, 2026Collaborator·

  ·
  1

  

• test: increased threshold signature modes

  #157·remedcu opened Sep 15, 2026Collaborator·

  ·
  1

  

• certora: CoSignerModulePath conf, guard on module path, 3 rules

  #156·remedcu opened Sep 15, 2026Collaborator·

  ·
  1

  

• certora: CoSignerArgs conf, hash arguments, 3 rules

  #155·remedcu opened Sep 15, 2026Collaborator·

  ·
  1

  

• certora: CoSigner conf, CoSignerPolicy in isolation, 16 rules

  #154·remedcu opened Sep 15, 2026Collaborator·

  ·
  1

  

• certora: MultiSendPin conf, real callee pins, 5 rules

  #153·remedcu opened Sep 15, 2026Collaborator·

  ·
  1

  

• certora: MultiSend conf, recording engine summary, 19 rules

  #152·remedcu opened Sep 15, 2026Collaborator·

  ·
  1

  

• test: nested and long MultiSend batches

  #151·remedcu opened Sep 15, 2026Collaborator·

  ·
  1

  

• certora: ERC20Transfer conf, ERC20TransferPolicy standalone, 17 rules

  #150·remedcu opened Sep 15, 2026Collaborator·

  ·
  1

  

• test: ERC-20 transfer calldata decoding and multi-entry config

  #149·remedcu opened Sep 15, 2026Collaborator·

  ·
  1

  

• certora: ERC20Approve conf, ERC20ApprovePolicy standalone, 17 rules

  #148·remedcu opened Sep 15, 2026Collaborator·

  ·
  1

  

• test: ERC-20 approve calldata decoding and multi-entry config

  #147·remedcu opened Sep 15, 2026Collaborator·

  ·
  1

  

• certora: AllowedModule conf, AllowedModulePolicy standalone, 11 rules

  #146·remedcu opened Sep 15, 2026Collaborator·

  ·
  1

  

• test: allowed module configuration data decoding

  #145·remedcu opened Sep 15, 2026Collaborator·

  ·
  1

  

• certora: OneTimeAllow conf, OneTimeAllowPolicy standalone, 12 rules

  #144·remedcu opened Sep 15, 2026Collaborator·

  ·
  1

  

• test: one-time allow configuration data decoding

  #143·remedcu opened Sep 15, 2026Collaborator·

  ·
  1