1.
Introduction
2.
Command Line Interface
3.
Architecture
4.
Specification Language
4.1.
HowTo
4.2.
Lexer
4.2.1.
Identifiers
4.2.2.
Keywords
4.2.3.
Tokens
4.2.4.
Comments
4.3.
Specification
4.3.1.
Imports
4.3.2.
Constants
4.3.3.
Units
4.3.4.
State
4.3.5.
Interface
4.3.6.
Map
4.3.7.
Methods
4.3.8.
Translate
4.3.9.
Map/Unmap/Protect
4.3.10.
Expressions
5.
Synthesis
6.
Code Generation
7.
Examples
7.1.
Segmentation
7.2.
x86 Page Table
7.3.
SMPT
7.4.
DirectSegment
7.5.
...
Light (default)
Rust
Coal
Navy
Ayu
VelosiRaptor - Synthesizing Translations
Synthesis Notes