Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / normalization.mli @ 6cfa0edc

History | View | Annotate | Download (478 Bytes)

# Date Author Comment
92c6cca7 11/17/2018 04:54 AM Pierre-Loïc Garoche

Merge branch 'lustrec-seal' into vhdl

d17a251e 10/05/2018 03:55 PM Pierre-Loïc Garoche

Some progress on Lustre-> VHDL backend. The structure is prepared but almost empty. More work to be done.

2fb97ad4 03/30/2018 11:43 PM Pierre-Loïc Garoche

Merge conflict solved

089f94be 03/30/2018 10:43 PM Pierre-Loïc Garoche

MLI for normalization and machine_code.
Structs defining machines are now in machine_code_types