This is the repository of a work-in-progress tool called LDisplay. LDisplay is an HMI design DSL with a Lustre-like syntax.
This repository contains a prototype compiler for further work on formal verification.
WIP display module of L2C The Verified Lustre Compiler
This is the repository of a work-in-progress tool called LDisplay. LDisplay is an HMI design DSL with a Lustre-like syntax.
This repository contains a prototype compiler for further work on formal verification.
WIP display module of L2C The Verified Lustre Compiler