elle
latest
Contents:
Overview
Installation
Usage of the LLL Frontend
Elle Syntax
Elle Semantics
Implementation
Correctness
elle
Docs
»
Welcome to elle’s documentation!
Edit on GitHub
Welcome to elle’s documentation!
¶
Contents:
Overview
Installation
Getting Elle
Installation as an End-User of Elle
Installation for Modifying and Examining Elle
Usage of the LLL Frontend
Basic Usage
Supported LLL Constructs
Debugging Failed Compilation
Inspecting Bytecode
Elle Syntax
Goal: Compiling Structured Code to EVM
De Bruijn Indices and Structured Programming
Elle-Core Syntax
Label Resolution in Elle
Resolving Jump Addresses
Conclusion
Elle Semantics
Goal: A Formal Meaning for Elle Programs
Informal Description of Semantics
Interpreter (Pseudo)Code
Implementation
Phase 1 - Generating Size Annotations
Phase 2 - Finding Labels
Phase 3 - Resolving Jumps
The Big Picture
Correctness
The Corrcetness Theorem
Setting Up the Proof
Correctness of Elle: Proof Sketch
Indices and tables
¶
Read the Docs
v: latest
Versions
latest
stable
Downloads
pdf
html
epub
On Read the Docs
Project Home
Builds
Free document hosting provided by
Read the Docs
.