Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / log.ml @ 5500edb8

History | View | Annotate | Download (941 Bytes)

# Date Author Comment
e275249d 05/05/2015 10:43 PM Xavier Thirioux

- corrected a regression bug in main_lustre_compiler.ml (optional generation of lusic files was in a bad ocaml pattern-matching rule...)
- added a flush in Log to help find out the exact phase when the compiler crashes or stops silently

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

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

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