Skip to content

Compiler Internals & Reference

This section documents the internal architecture of the fsmc compiler pipeline, the formal AST specification, CMake target macros, and the test suite catalog.


Section Contents

Topic Focus Area Description Link
Compiler Architecture Pipeline & Drivers Detailed architectural design of frontend, middle-end, and backends. Architecture
Canonical IR Specification Data Structures Formal specification of FsmIr, StateNode, TransitionNode, and triggers. IR Specification
CMake Target Integration Build Automation Reference for fsmc_target_sources macro and imported CMake targets. CMake Reference
Test Suite Catalog Quality & Verification Comprehensive catalog of all 51 test suites and scenario intents. Test Suite Catalog