pirapira/evmverif

Issues

• The semantics represented by Fixpoint function

  #6 opened 8 years ago by channgo2203
  4

• Assertions between opcodes

  #5 opened 8 years ago by pirapira
  1

• EVM interpreter in WhyML?

  #3 opened 8 years ago by pirapira
  0

• evmverif does not capture the fund moves with selfdestruct

  #4 opened 8 years ago by pirapira
  0

• produce geth command to deploy a contract

  #2 opened 8 years ago by pirapira
  0

• prove arithmetic lemmas in ConcreteWord.v

  #1 opened 8 years ago by pirapira
  0