# Solidity
A Solidity language definition implemented in Spoofax. This language definition includes a parser, type-checker, optimizer and compiler to Bytecode for an Ethereum Virtual Machine.
## Author
Taico Aerts, Delft University of Technology
## Documentation
An overview of the different aspects of this language definition can be found in [docs/Documentation.md](docs/Documentation.md).
A report describing the development of the language definition can be found in [docs/Report.pdf](docs/Report.pdf).
The slides that were used for the workshop can be found in [docs/Slides.pdf](docs/Slides.pdf).
## Instructions
To install the plugin:
1. Download [site/site.zip](site/site.zip).
2. Open eclipse where you want to install the plugin.
3. Go to Help, Install new Software.
4. Click Add.., Archive... and select the downloaded zip file.
5. Ensure that `Group items by category` is unticked.
6. Install the solidity plugin and the plugin for evmbytecode.
没有合适的资源?快使用搜索试试~ 我知道了~
metaborg-solidity
共312个文件
java:77个
str:52个
xml:32个
需积分: 3 1 下载量 151 浏览量
2021-05-02
06:11:10
上传
评论
收藏 17.23MB ZIP 举报
温馨提示
坚固性 在Spoofax中实现的一种Solidity语言定义。 该语言定义包括解析器,类型检查器,优化器和针对以太坊虚拟机的字节码编译器。 作者 代尔夫特理工大学Taico Aerts 文献资料 可以在找到该语言定义的不同方面的概述。 可以在找到描述语言定义发展的报告。 可以在找到用于研讨会的幻灯片。 指示 要安装插件: 下载 。 在要安装插件的位置打开eclipse。 转到“帮助,安装新软件”。 单击添加..,存档...,然后选择下载的zip文件。 确保未选中“ Group items by category分组”。 安装solidity插件和evmbytecode插件。
资源详情
资源评论
资源推荐
收起资源包目录
metaborg-solidity (312个子文件)
maven.config 36B
maven.config 36B
maven.config 36B
maven.config 36B
jvm.config 9B
jvm.config 9B
jvm.config 9B
jvm.config 9B
simple.ebc 65B
Menus.esv 621B
Color.esv 566B
Syntax.esv 549B
Syntax.esv 542B
Color.esv 483B
Syntax.esv 306B
Main.esv 209B
Main.esv 177B
Main.esv 169B
Analysis.esv 111B
Analysis.esv 111B
Analysis.esv 111B
Menus.esv 99B
.gitignore 155B
.gitignore 155B
.gitignore 138B
.gitignore 107B
.gitignore 107B
.gitignore 104B
.gitignore 104B
.gitignore 87B
.gitignore 87B
.gitignore 78B
.gitignore 61B
.gitignore 61B
.gitignore 60B
.gitignore 60B
.gitignore 48B
.gitignore 48B
.gitignore 0B
.gitignore 0B
.gitignore 0B
.gitignore 0B
.gitignore 0B
core-3.4.0.jar 8.97MB
fatjar-3.4.0.jar 8.97MB
evmbytecode-0.1.0-SNAPSHOT.jar 38KB
evmbytecode-0.1.0-SNAPSHOT.jar 38KB
KeccakCore.java 15KB
KeccakCore.java 15KB
EBCStrategoStack.java 7KB
EBCStrategoStack.java 7KB
DigestEngine.java 6KB
DigestEngine.java 6KB
EVMMain.java 5KB
Digest.java 5KB
Digest.java 5KB
SafeStrategy.java 4KB
SafeStrategy.java 4KB
StackUtil.java 3KB
StackUtil.java 3KB
CreateContract.java 3KB
MixedStrategy.java 2KB
MixedStrategy.java 2KB
TupleStrategy.java 2KB
TupleStrategy.java 2KB
InteropRegisterer.java 2KB
ebc_generate_function_hash_0_0.java 2KB
evm_create_contract_0_0.java 1KB
ebc_generate_function_hash_0_0.java 1KB
Keccak256.java 1KB
Keccak256.java 1KB
ebc_retain_variable_0_1.java 1KB
ebc_retain_variable_0_1.java 1KB
ebc_retain_value_at_0_1.java 1KB
ebc_retain_value_at_0_1.java 1KB
ebc_initial_instructions_0_1.java 1KB
ebc_initial_instructions_0_1.java 1KB
BigIntHelper.java 1KB
BigIntHelper.java 1KB
InteropRegisterer.java 1KB
sol_nearest_uint_multiple_0_0.java 912B
ebc_stack_clear_0_1.java 906B
ebc_stack_clear_0_1.java 903B
sol_bigdec_pow_0_0.java 841B
HexUtils.java 829B
HexUtils.java 826B
ebc_stack_get_index_0_1.java 803B
ebc_stack_get_index_0_1.java 800B
sol_bigdec_rshift_0_0.java 793B
sol_bigdec_lshift_0_0.java 792B
sol_nearest_int_multiple_0_0.java 744B
ebc_stack_create_0_0.java 739B
ebc_stack_create_0_0.java 736B
evm_test_0_0.java 726B
ebc_stack_remove_0_1.java 704B
ebc_stack_length_0_1.java 704B
ebc_stack_remove_0_1.java 701B
ebc_stack_length_0_1.java 701B
ebc_stack_push_0_1.java 698B
ebc_stack_push_0_1.java 695B
共 312 条
- 1
- 2
- 3
- 4
小林家的珂女仆
- 粉丝: 32
- 资源: 4656
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
最新资源
- (源码)基于C++的Local Generals游戏系统.zip
- (源码)基于MQTT协议的智能插座系统.zip
- Insurence_20180221.sav
- 一个简单的 JavaScript 俄罗斯方块游戏.zip
- Python课程设计:基于OpenCV的人脸识别与检测源码
- 一个 JavaScript 有限状态机库.zip
- 一个 Java 序列化,反序列化库,用于将 Java 对象转换为 JSON 并转回.zip
- Современный учебник JavaScript.zip
- Udemy 课程 - 面向软件开发人员的 Java 编程大师班 讲师 - Tim Buchalka.zip
- Udemy 上的现代 JavaScript(从新手到忍者)课程的所有讲座文件 .zip
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功
评论0