Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / lustre_utils.ml @ b8dfc744

History | View | Annotate | Download (3.99 KB)

# Date Author Comment
b8dfc744 07/12/2019 11:24 PM Pierre-Loïc Garoche

valid _verif node for seal-export lustre

faf2b835 07/12/2019 10:24 PM Pierre-Loïc Garoche

Work in progress: higher level constructs for lustre elements