| Branch: | Tag: | Revision:

lustrec / src / @ dc732cf2

History | View | Annotate | Download (1.77 KB)

# Date Author Comment
f4cba4b8 03/12/2019 11:23 AM Pierre-Loïc Garoche

Some progress on compiling cocospec contract.
Contract resolution still need to be done as well as dealing with the machine code level and so on.

f9f06e7d 11/20/2018 11:21 PM Pierre-Loïc Garoche

- Module.load_header and load_program were merged.
- Contract were extended with list of statements.

8446bf03 03/30/2018 05:54 PM Pierre-Loïc Garoche

- Makefile: solved dependency problem when compiling include lusi
- Renamed type declarations as lustre_types and machine_code_types

38ae7765 10/06/2017 10:10 AM Pierre-Loïc Garoche

no comment

74ca6b61 09/22/2017 05:38 PM Pierre-Loïc Garoche

A fresh option to print with declared types instead of inferred ones

264a4844 07/20/2017 10:20 PM Pierre-Loïc Garoche

First working version of algebraic loop resolution. Disabled by default.

9094307a 07/18/2017 12:04 AM Pierre-Loïc Garoche

Working on algebraic loop diagnostic and resolution