Code

Multisig.new#331

Code

Open

hamid0785 wants to merge 37 commits intomasterruntimeverification/verified-smart-contracts:masterfrom multisig.newruntimeverification/verified-smart-contracts:multisig.newCopy head branch name to clipboard

+26,720

Commits

Commits on Mar 29, 2021

• Protocol semantics

  

  Virgil Serbanuta

  committed
  4d68503

  Copy full SHA for 4d68503

Commits on Apr 1, 2021

• tmp

  

  Virgil Serbanuta

  committed
  8542fbe

  Copy full SHA for 8542fbe

• Invariant

  

  Virgil Serbanuta

  committed
  623af47

  Copy full SHA for 623af47

• Optimize perform

  

  Virgil Serbanuta

  committed
  e755897

  Copy full SHA for e755897

• Functions optimization

  

  Virgil Serbanuta

  committed
  b42a219

  Copy full SHA for b42a219

• tmp

  

  Virgil Serbanuta

  committed
  007c7d5

  Copy full SHA for 007c7d5

Commits on Apr 2, 2021

• tmp

  

  Virgil Serbanuta

  committed
  0d3ebc0

  Copy full SHA for 0d3ebc0

• tmp

  

  Virgil Serbanuta

  committed
  cb9c8ed

  Copy full SHA for cb9c8ed

• tmp

  

  Virgil Serbanuta

  committed
  7947881

  Copy full SHA for 7947881

• Map properties

  

  Virgil Serbanuta

  committed
  3787c76

  Copy full SHA for 3787c76

• Can always add and execute action

  

  Virgil Serbanuta

  committed
  1d10319

  Copy full SHA for 1d10319

• Fix sign-for proofs.

  

  Virgil Serbanuta

  committed
  36c0e83

  Copy full SHA for 36c0e83

• tmp

  

  Virgil Serbanuta

  committed
  c23dec2

  Copy full SHA for c23dec2

• tmp

  

  Virgil Serbanuta

  committed
  fdf2459

  Copy full SHA for fdf2459

Commits on Apr 5, 2021

• tmp

  

  Virgil Serbanuta

  committed
  24a7423

  Copy full SHA for 24a7423

Commits on Apr 7, 2021

• Speed refactoring

  

  Virgil Serbanuta

  committed
  d0e08b7

  Copy full SHA for d0e08b7

Commits on Apr 8, 2021

• Prepare actions for malicious user proofs

  

  Virgil Serbanuta

  committed
  6921ba4

  Copy full SHA for 6921ba4

Commits on Apr 9, 2021

• Refactor proofs in order to reuse them for malicious user properties.

  

  Virgil Serbanuta

  committed
  9009962

  Copy full SHA for 9009962

Commits on Apr 12, 2021

• Add performed actions logging

  

  Virgil Serbanuta

  committed
  b87588f

  Copy full SHA for b87588f

• Malicious user properties

  

  Virgil Serbanuta

  committed
  3f79466

  Copy full SHA for 3f79466

• Invariant

  

  Virgil Serbanuta

  committed
  e0cb558

  Copy full SHA for e0cb558

Commits on Apr 13, 2021

• Fix merge errors

  

  Virgil Serbanuta

  committed
  ac6f310

  Copy full SHA for ac6f310

• Perform proofs

  

  Virgil Serbanuta

  committed
  3a2db25

  Copy full SHA for 3a2db25

• Convert proofs to tests

  

  Virgil Serbanuta

  committed
  2733131

  Copy full SHA for 2733131

• Proofs for performActionFromId.

  

  Virgil Serbanuta

  committed
  40e8580

  Copy full SHA for 40e8580

• Proof for the perform action endpoint checks

  

  Virgil Serbanuta

  committed
  3f2eedf

  Copy full SHA for 3f2eedf

Commits on Apr 14, 2021

• Fix proofs and cleanup

  

  Virgil Serbanuta

  committed
  bed9e57

  Copy full SHA for bed9e57

• Some of the proofs for perform-action-enpoint

  

  Virgil Serbanuta

  committed
  26a673d

  Copy full SHA for 26a673d

Commits on Apr 15, 2021

• Proofs for the perform action endpoint function

  

  Virgil Serbanuta

  committed
  7b71500

  Copy full SHA for 7b71500

Commits on Apr 16, 2021

• More function proofs

  

  Virgil Serbanuta

  committed
  99ef051

  Copy full SHA for 99ef051

Commits on Apr 20, 2021

• Partial perform action proof

  

  Virgil Serbanuta

  committed
  a540334

  Copy full SHA for a540334

• Fix add board member subproof

  

  Virgil Serbanuta

  committed
  9729ba7

  Copy full SHA for 9729ba7

Commits on Apr 23, 2021

• Several perform action parts

  

  Virgil Serbanuta

  committed
  c28b5ba

  Copy full SHA for c28b5ba

Commits on Apr 27, 2021

• Perform parts remove and malicious user

  

  Virgil Serbanuta

  committed
  5ee9edb

  Copy full SHA for 5ee9edb

• Debug labels

  

  Virgil Serbanuta

  committed
  8fa8c13

  Copy full SHA for 8fa8c13

• Propose add board member

  

  Virgil Serbanuta

  committed
  a3f579b

  Copy full SHA for a3f579b

• Improve compilation times.

  

  Virgil Serbanuta

  committed
  f9c43fc

  Copy full SHA for f9c43fc