/src/type_predef.ml - Changes - LustreC

| Branch: | Tag: | Revision:

lustrec / src / type_predef.ml @ 333f42fd

History | View | Annotate | Download (2.66 KB)

#	Date	Author	Comment
04a63d25	08/06/2016 10:29 AM	Xavier Thirioux	full merge of salsa/mpfr and master
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
6afa892a	06/20/2014 04:59 PM	Xavier Thirioux	- refactorization of typing code (simpler subtyping rules) - simplification of clock calculus (may be still buggy, work in progress) no impact on unclocked programs. git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@267 041b043f-8d7c-46b2-b46e-ef0dd855326e
12af4908	03/10/2014 09:55 AM	Xavier Thirioux	more steps towards struct types... Cette ligne, et les suivantes ci-dessous, seront ignorées-- M trunk/src/corelang.mli M trunk/src/type_predef.ml M trunk/src/main_lustre_compiler.ml M trunk/src/types.ml M trunk/src/printers.ml M trunk/src/typing.ml...
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