Project

General

Profile

Download (8.56 KB) Statistics
| Branch: | Tag: | Revision:

# Date Author Comment
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

333e3a25 12/18/2017 09:57 AM Pierre-Loïc Garoche

[general] Refactor get_node_eqs to produce (eqs, auts) with automatons

66e25f0f 08/06/2016 10:41 AM Xavier Thirioux

...