evm-semantics:以太坊虚拟机（EVM）的K语义
需积分: 30 81 浏览量
2021-03-30
04:51:14
上传
评论 1
收藏 1.39MB ZIP 举报
evm-semantics:以太坊虚拟机（EVM）的K语义 （260个子文件） 
control.bionic 789B changelog 165B CNAME 14B compat 2B Dockerfile.debian-buster 1014B Dockerfile 3KB sumTo10.evm 1KB branching-no-invalid.evm 393B branching-invalid.evm 393B addition.evm 303B straight-line.evm 151B straight-line-no-invalid.evm 141B ContractCreationSpam_d0g0v0.json.expected 15KB static_callcodecallcodecall_110_OOGMAfter_2_d0g0v0.json.expected 13KB .gitignore 113B .gitignore 60B .gitignore 19B .gitmodules 599B slow.haskell 22KB failing-symbolic.haskell 5KB failing.haskell 136B failing-symbolic.haskell-dry-run 44B
head.html 1KB page_template.html 1016B sidebar.html 819B header.html 644B footer.html 19B 404.html 0B 500.html 0B slow.java 3KB failing.java 587B failing-symbolic.java 122B Jenkinsfile 9KB build-html.js 892B build-sitemap.js 309B package-lock.json 343KB CallRecursiveContract_d0g0v0.json 48KB log3_MaxTopic_d0g0v0.json 46KB ContractCreationSpam_d0g0v0.json 11KB static_callcodecallcodecall_110_OOGMAfter_2_d0g0v0.json 10KB output-success-java.json 3KB output-success-llvm.json 3KB output-success-haskell.json 3KB package.json 988B bin_runtime.k 459KB vow-cage-surplus-pass-rough-spec.k 61KB vow-cage-deficit-pass-rough-spec.k 61KB transferFrom-success-1-spec.k 46KB transferFrom-failure-1-b-spec.k 46KB transferFrom-failure-1-d-spec.k 46KB transferFrom-failure-1-a-spec.k 46KB transferFrom-failure-1-c-spec.k 46KB transferFrom-success-2-spec.k 45KB transferFrom-failure-2-c-spec.k 45KB transferFrom-failure-2-a-spec.k 45KB transferFrom-failure-2-b-spec.k 45KB transfer-success-1-spec.k 45KB transfer-failure-1-b-spec.k 45KB transfer-failure-1-c-spec.k 45KB transfer-failure-1-a-spec.k 45KB transfer-success-2-spec.k 45KB transfer-failure-2-b-spec.k 45KB transfer-failure-2-a-spec.k 45KB approve-success-spec.k 45KB approve-failure-spec.k 44KB allowance-spec.k 44KB balanceOf-spec.k 44KB totalSupply-spec.k 44KB flapper-tend-guy-diff-pass-rough-spec.k 37KB flopper-dent-guy-diff-tic-not-0-pass-rough-spec.k 34KB vat-fork-diff-pass-rough-spec.k 33KB pot-join-pass-rough-spec.k 31KB end-cash-pass-rough-spec.k 31KB end-pack-pass-rough-spec.k 31KB gemjoin-exit-pass-rough-spec.k 27KB collectToken-spec.k 26KB vat-frob-diff-zero-dart-pass-rough-spec.k 25KB flopper-dent-guy-same-pass-rough-spec.k 24KB forwardToHotWallet-success-2-spec.k 23KB forwardToHotWallet-success-1-spec.k 23KB vat-fold-pass-rough-spec.k 23KB forwardToHotWallet-failure-4-spec.k 23KB forwardToHotWallet-failure-3-spec.k 23KB forwardToHotWallet-failure-2-spec.k 23KB forwardToHotWallet-failure-1-spec.k 23KB vat-flux-diff-pass-rough-spec.k 21KB vat-move-diff-rough-spec.k 21KB vow-flog-fail-rough-spec.k 21KB flapper-yank-pass-rough-spec.k 20KB verification.k 19KB storage.k 18KB flopper-kick-pass-rough-spec.k 17KB lemmas.k 17KB transferFrom-success-1-spec.k 17KB transferFrom-failure-1-spec.k 17KB transferFrom-success-2-spec.k 16KB transfer-success-1-spec.k 16KB transferFrom-failure-2-spec.k 16KB transfer-success-2-spec.k 16KB transfer-failure-1-spec.k 16KB共 260 条
- 1
- 2
- 3
资源评论
我和这个世界
- 粉丝: 20
- 资源: 4616
最新资源
- note test a bc d e f g h
- MERGE.csv.zip
- 15白落梅：你是锦瑟我为流年：三毛的万水千山-3491776.mobi
- 微信小程序源码 实现 城市切换 demo 根据城市首字母排序城市 选择城市
- 12因为懂得 所以慈悲-张爱玲的倾城往事 (白落梅经典散文系列)-3321089.mobi
- 基于 C# 实现的串口温度监控软件
- 基于STM32F103RBT6单片机+SIM868自动收货机主控板硬件（原理图+PCB）工程文件.zip
- 微信小程序源码 车源宝 二手车交易平台 源码下载
- 专注于在线教育领域，打造更好的网课系统，网校系统，知识付费系统
- ADM487EARZ-REEL7 产品规格书pdf
资源上传下载、课程学习等过程中有任何疑问或建议，欢迎提出宝贵意见哦~我们会及时处理！
点击此处反馈
