目前 Lustre V6 編譯器支持編譯生成的語言為C語言。但也注意到,以 Rust 語言為生成目標語言,也存在若干相關工作。
rustre(elegaanz)
該項工作為 Lustre v6 語言的解析器,使用 Rust 語言實現。生成 Lustre AST。
項目: github.com/elegaanz/rustre
rustre (emersion)
該項工作為將 Lustre 子集編譯為 Rust 的編譯器。編譯器由 Rust 語言實現。
項目: github.com/emersion/rustre
rustre (Kerl13)
該項工作為將 Lustre 子集編譯為 Rust 的編譯器。編譯器由 OCaml 語言實現。
項目: github.com/Kerl13/rustre
chandeliers
該項工作通過提供 proc macro
將 Lustre 源程序編譯為 Rust。該項目由 Rust 語言實現。
項目:github.com/Vanille-N/chandeliers
Kind2 rust 生成
Kind2 模型檢查工具支持 Rust 語言生成。
--compile true
: kind2-mc.github.io/kind2/