Cone.Compiler (Cone v0.1.0)

View Source

The main entry point for compiling Cone source code into Lamport IR and Tabular IR.

Summary

Functions

compile(source, opts \\ [])

Compiles source code string into Tabular IR.

Functions

compile(source, opts \\ [])

Compiles source code string into Tabular IR.

Pipeline

  1. Parse (Text -> AST)
  2. Resolve (AST -> Ticked AST with Causality)
  3. Tabularize (Ticked AST -> LCT Rows)
  4. Passes (LCT -> LCT)

Options

  • :verbose - (boolean) If true, prints the LCT table to stdout (default: false).