Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / log.ml @ 1837ce98

History | View | Annotate | Download (1.29 KB)

# Date Author Comment
c00d0b42 05/16/2014 05:26 PM Pierre-Loïc Garoche

Changed the load of lusi files: imported nodes or function can specify the linking lib and/or use a classical C prototype (without pointers).
Parse updated as well as Makefile generation.

0cbf0839 10/02/2013 08:13 AM Pierre-Loïc Garoche

Moved files to trunk in lustre_compiler