Overview

An overview of the compiler pipeline process.

The document is laid out so the first section of each part is a small overview, and sub-pages below that are more detailed explanations

Overview

The documents in this section give a brief and detailed explanation of many parts of our compiler. The more detailed explanations have some overlap with the design section.

Getting Started

Getting started with the Juvix codebase can be confusing to say the least. Thus we outline here the order of sub pages that may be useful

  1. Pipeline

    • Gives an overview and the pipeline page

  2. Frontend

    • Talks about the Parsing and S-expression transformation phase.

  3. Translate

    • Talks about the Passes

  4. Type Theory

  5. Typechecker

  6. Core

  7. Backends

    1. Michelson

  8. Misc

    1. S-expression

Core

Talks about various aspects of the Core code-base

S-expression

An Overview on dealing With S-Expressions WIP

Translate

Documention on the Juvix Translation Phase

Frontend

Documentation on the Juvix Frontend Phase

Context

This article goes over the Context structure in detail

Pipeline

Documentation on the Juvix compiler pipeline

Backends

Last modified August 9, 2021 : Add skeletal documentation for datatypes (a41fb94)