米歇尔森语义学：Tezos Michelson语言的AK语义
需积分: 9 191 浏览量
2021-02-23
03:26:15
上传
评论
收藏 1.63MB ZIP 举报
米歇尔森语义学：Tezos Michelson语言的AK语义 （631个子文件） 
check-exit-code 289B time.cpp 642B failing.cross 1KB ieee.csl 12KB Dockerfile 2KB updatetrue.m.expected 580B updatefalse.m.expected 524B failwith.m.expected 517B loopfalse.m.expected 497B looptrue.m.expected 497B dip.m.expected 494B iftrue.m.expected 493B iffalse.m.expected 493B loopleftleft.m.expected 493B .gitignore 314B .gitignore 60B .gitignore 19B .gitmodules 310B
head.html 1KB footer.html 945B sidebar.html 891B header.html 665B page_template.html 639B 404.html 0B 500.html 0B favicon.ico 1KB Jenkinsfile 3KB build-html.js 768B build-sitemap.js 309B package-lock.json 343KB package.json 938B vote-spec.k 3KB return-spec.k 3KB sum-simple-spec.k 2KB sum-to-n-spec.k 1KB listsum-spec.k 435B add-spec.k 368B kmich 7KB kast.kscript 844B LICENSE 3KB updatefalse.m 894B updatetrue.m 758B loopleftleft.m 410B looptrue.m 382B dip.m 373B loopfalse.m 356B iftrue.m 343B iffalse.m 342B failwith.m 263B template.m 247B Makefile 13KB michelson.md 87KB USER_GUIDE.md 37KB compat.md 36KB types.md 34KB syntax.md 23KB common.md 20KB driver.md 16KB loop-invariants.md 16KB 201911-presentation-michelson-semantics.md 11KB citations.md 6KB INSTALL.md 4KB README.md 2KB README.md 2KB lemmas.md 497B README.md 304B
michelson-spec-simple.png 250KB k-overview.png 218KB github-verified-contracts-screenshot.png 209KB test-runner-hero-image.png 203KB kerc20-hero-image.png 203KB michelson-spec-complex.png 196KB test-coverage-hero-image.png 55KB 500.png 44KB 404.png 33KB rv-logo.png 7KB rv-logo-dark.png 4KB failing.prove 160B decode-michelson-operation.py 4KB extract-group.py 914B originate.py 853B combine.py 367B run-tezos.sh 4KB build-deps-tezos.sh 583B failing.symbolic 317B tezos-client-unit-test 5KB
addresses.txt 4KB list-to-n.tz 697B sum-to-n.tz 539B entry_example.tz 466B pairs_example.tz 371B sum-map.tz 363B sum-list.tz 363B sum-set.tz 361B vote_string.tzt 3KB sum-to-n.tzt 3KB vote_int.tzt 3KB vote_int_alt.tzt 2KB times2.tzt 2KB count-wrong.fail.tzt 2KB共 631 条
- 1
- 2
- 3
- 4
- 5
- 6
- 7
资源评论
DGGs
- 粉丝: 15
- 资源: 4645
最新资源
- Picasso_v3.1 2.ipa
- chromedriver-mac-arm64.zip
- 蓝zapro.apk
- chromedriver-linux64.zip
- UCAS研一深度学习实验-MNIST手写数字识别python源码+详细注释(高分项目)
- 基于Python和PyTorch框架完成的一个手写数字识别实验源码(带MINIST手写数字数据集)+详细注释(高分项目)
- 基于Matlab在MNIST数据集上利用CNN完成手写体数字识别任务，并实现单层CNN反向传播算法+源代码+文档说明(高分项目)
- NVIDIA驱动、CUDA和Pytorch及其依赖
- 基于SVM多特征融合的微表情识别python源码+项目说明+详细注释(高分课程设计)
- html动态爱心代码一（附源码）
资源上传下载、课程学习等过程中有任何疑问或建议，欢迎提出宝贵意见哦~我们会及时处理！
点击此处反馈
