Project

General

Profile

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

# Date Author Comment
589ccf9f 07/23/2020 03:05 PM Corentin Lauverjat

Passage à dune

778c80fd 10/05/2018 07:54 PM Pierre-Loïc Garoche

Some refactoring
Adapted the parser/types/constructors for cocospec syntax

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

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

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

23ce017b 07/18/2017 09:59 PM Pierre-Loïc Garoche

Ongoing work

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

Working on algebraic loop diagnostic and resolution