zchn/eth-acl2 zchn/eth-acl2

  • Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language
    Common Lisp
  • License
    Apache License 2.0
  • Created over 6 years ago
  • Updated over 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
zchn/eth-acl2
github

zchn

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

An ACL2 formalization of the Ethereum VM, aiming to be both executable and suitable for proving interesting properties of EVM contracts.

More Repositories

1

ethereum-analyzer

An Ethereum contract analyzer.
Haskell
16
star
2

llvm-phkit

llvm-phkit
C
2
star
3

proofweb

ProofWeb (http://proofweb.cs.ru.nl/) ported to ocamlnet 4.0.4 and made dockerable (WORK-IN-PROGRESS)
OCaml
1
star