| Branch: | Tag: | Revision:

lustrec / src / @ dc732cf2

History | View | Annotate | Download (2.24 KB)

# Date Author Comment
861f327f 03/21/2019 07:41 PM Pierre-Loïc Garoche

Resolved sort order of nodes

365d1b07 10/24/2018 01:31 PM Pierre-Loïc Garoche

Moved definition of graph modules from Causality to Utils to avoid cyclic deps

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

70466917 01/18/2018 05:34 PM Pierre-Loïc Garoche

[main] node locals are now sorted according to their dependencies wrt clocks. The produced lustre node with types shall now be compilable

eb837d74 10/21/2016 01:52 AM Xavier Thirioux

slight improvement of causality error messages

a2d97a3e 07/09/2014 09:57 AM Pierre-Loïc Garoche

Updated the licence info and header for each file.
Moved backends in separate folders

git-svn-id: 041b043f-8d7c-46b2-b46e-ef0dd855326e

01c7d5e1 07/02/2014 05:29 PM Pierre-Loïc Garoche

Prepared first stage of code reorg:
1. moved type def in
2. moved constructor and basic functions in corelang
3. Modified eexpr with prenext quantifiers

git-svn-id: 041b043f-8d7c-46b2-b46e-ef0dd855326e

64dfa450 02/28/2014 10:35 AM Eric Noulard

Do not use stable sort because it requires recent ocamlgraph
library (1.8.3) which is not widely available in distro repository.
Moreover "stable" sort is not necessary, sort will do.
Fixes Issue #49:

git-svn-id: 041b043f-8d7c-46b2-b46e-ef0dd855326e

22fe1c93 10/02/2013 08:13 AM Pierre-Loïc Garoche

Moved files to trunk in lustre_compiler

git-svn-id: 041b043f-8d7c-46b2-b46e-ef0dd855326e