issues
search
pirapira
/
evmverif
An EVM code verification framework in Coq
Apache License 2.0
44
stars
8
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
The semantics represented by Fixpoint function
#6
channgo2203
opened
7 years ago
4
Assertions between opcodes
#5
pirapira
closed
7 years ago
1
evmverif does not capture the fund moves with selfdestruct
#4
pirapira
opened
7 years ago
0
EVM interpreter in WhyML?
#3
pirapira
opened
7 years ago
0
produce geth command to deploy a contract
#2
pirapira
opened
7 years ago
0
prove arithmetic lemmas in ConcreteWord.v
#1
pirapira
opened
7 years ago
0