/src/backends/EMF/EMF_library_calls.ml - Changes - LustreC

| Branch: | Tag: | Revision:

lustrec / src / backends / EMF / EMF_library_calls.ml @ 5f3d7be6

History | View | Annotate | Download (1.25 KB)

#	Date	Author	Comment
089f94be	03/30/2018 10:43 PM	Pierre-Loïc Garoche	MLI for normalization and machine_code. Structs defining machines are now in machine_code_types
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
30f46c0c	07/14/2017 06:30 AM	Pierre-Loïc Garoche	Renamed math lib into lustrec_math to avoid conflicting calls to <math.h>
2475c9e8	07/10/2017 11:43 PM	Pierre-Loïc Garoche	Refactored EMF backend. Handle now the call to existing math and conv libraries