/src/compiler_stages.ml - Changes - LustreC

| Branch: | Tag: | Revision:

lustrec / src / compiler_stages.ml @ 5f3d7be6

History | View | Annotate | Download (10.7 KB)

#	Date	Author	Comment
8e6cab20	05/15/2018 11:49 AM	Pierre-Loïc Garoche	Tuning the pretty printing of Salsa plugin
2863281f	03/30/2018 11:14 PM	Pierre-Loïc Garoche	Further restructuring: - arrow.ml* to define basic builder for arrow (node, name, ...) - machine_code_common similar to corelang but for machine_code (printers, some builders, ...) - machine_code restricted to the translatation from normalized nodes to machines
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
f4050bef	02/13/2018 05:17 PM	Pierre-Loïc Garoche	Conditional activation of machine type plugin. currently a little buggy. Shall be desactivated.
66359a5e	01/31/2018 07:27 AM	Pierre-Loïc Garoche	[general] large modification: added machine types, a second typing phase dealing with machine types (eg uint8) typing was transformed as a functor and parametrized by basic types (int/real/bool) it can also be applied multiple times on the same program
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
04257b1e	11/15/2017 12:31 AM	Pierre-Loïc Garoche	Moved stage1 in separate file: it is shared among binaries