/L2CDisplay

WIP display module of L2C The Verified Lustre Compiler

Primary LanguageCoq

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.