linusboyle / L2CDisplay

WIP display module of L2C The Verified Lustre Compiler

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

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.

About

WIP display module of L2C The Verified Lustre Compiler


Languages

Language:Coq 95.2%Language:OCaml 4.6%Language:Makefile 0.1%Language:Standard ML 0.1%Language:Emacs Lisp 0.0%