Expand description
Common entry point for the proc macros of the Chandeliers suite,
provides parsing for all Lustre constructs and translation to the
analysable AST of chandeliers-san
The structure of the AST is not stable because the grammar of the parseable fragment of Lustre could very well be extended later.
Modules§
- translate
- Translator from the Lustre parsing AST to the Candle pre-analysis AST.
Structs§
- Prog
- A Lustre program.