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

VelosiRaptor - Synthesizing Translations