runtimeverification/evm-semantics
K Semantics of the Ethereum Virtual Machine (EVM)
PythonBSD-3-Clause
Watchers
- andreistefanescu@GaloisInc
- bmmoore
- chathhorn
- devcorn
- gavinzhengToronto, Canada
- geo2aNewcastle University
- gmanroneyIreland
- grosuUniversity of Illinois at Urbana-Champaign
- h0nzZikBrno, Czech Republic
- hierophantos
- jbertholdSydney
- jhcloos
- jinxinglimPi Squared Inc.
- jobez
- kumarde@teamnsrg
- kyagrdKorea
- liyili2Iowa State University
- manhtv
- MirceaSUIUC/Pi Squared
- msaxena2University of Illinois at Urbana Champaign
- mvidmar
- nanexcool@makerdao
- nishantjr
- nunofernandes-plightPhotonics Precision Technologies, The Intelligence of Information & FasterCapital
- orahdecentralized
- pdaian@initc3
- pirapiraEurope
- pmeredit
- RaoulSchaffranekRuntime Verification
- rv-jenkins
- SebastienGllmtdcSpark
- theo25
- traiansf@fmi-unibuc, @ilds-institute, @pi-squared-inc
- vasil-sd
- yudetamago@LayerXcom
- yzhang90