/src/log.ml - Changes - LustreC

| Branch: | Tag: | Revision:

lustrec/src/log.ml @ 61df3cb9

#	Date	Author	Comment
61df3cb9	03/16/2019 06:23 AM	Pierre-Loïc Garoche	Reformating plugin signatures. Better report management
521e2a6b	05/16/2017 10:56 AM	Pierre-Loïc Garoche	trying to improving pretty printing. Not so perfect for the moment
690196d8	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 git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@456 041b043f-8d7c-46b2-b46e-ef0dd855326e
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: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@313 041b043f-8d7c-46b2-b46e-ef0dd855326e
54ae8ac7	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. git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@242 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: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@116 041b043f-8d7c-46b2-b46e-ef0dd855326e