/src/backends/EMF - Repository - LustreC

| Branch: | Tag: | Revision:

lustrec/src/backends/EMF @ 2475c9e8

Name	Size	Revision	Age	Author	Comment
EMF_backend.ml	11.8 KB	2475c9e8	over 7 years	Pierre-Loïc Garoche	Refactored EMF backend. Handle now the call to ...
EMF_backend.ml~	23 Bytes	a6df3992	over 7 years	Pierre-Loïc Garoche	Working on EMF backend to express cocospec info...
EMF_common.ml	1.65 KB	2475c9e8	over 7 years	Pierre-Loïc Garoche	Refactored EMF backend. Handle now the call to ...
EMF_library_calls.ml	1.21 KB	2475c9e8	over 7 years	Pierre-Loïc Garoche	Refactored EMF backend. Handle now the call to ...

#	Date	Author	Comment
2475c9e8	07/10/2017 11:43 PM	Pierre-Loïc Garoche	Refactored EMF backend. Handle now the call to existing math and conv libraries
dd71e482	07/10/2017 06:52 PM	Pierre-Loïc Garoche	EMF backend: each branch provides the inputs and outputs
a6b58a46	07/10/2017 05:14 PM	Bourbouh	Merge branch 'unstable' of https://cavale.enseeiht.fr/git/lustrec into unstable
ab1c9ed2	07/10/2017 05:03 PM	Bourbouh	small modifs in EMF format
27d18db9	07/08/2017 05:29 PM	Pierre-Loïc Garoche	Branchs output in EMF is only the intersection of each branch defined flows
9f0f88dd	07/07/2017 10:53 PM	Pierre-Loïc Garoche	Full rewrite of EMF backend.
524060b3	07/07/2017 07:11 AM	Pierre-Loïc Garoche	Ongoin work on EMF backend. Commit to store a working version. More work to do on clocks and resets
145379a9	06/30/2017 06:58 PM	Pierre-Loïc Garoche	Improved EMF backend. Working on the whole fmcad suite
1bff14ac	06/23/2017 06:13 PM	Pierre-Loïc Garoche	- Added a field lustre_eq to machine instruction in order to record the originating lustre equation - EMF backend now impose the optimization level to be set to 0 in order to avoid equation elimination that would render traceability difficult - Options.ml has been split into Options.ml / Options_management.ml. Options.ml only contains references and no functions
3ca27bc7	06/23/2017 04:07 AM	Pierre-Loïc Garoche	- Addtional encapsulation of machine_code instr in a struct to enable future extension of type with more metadata. - Improved EMF backend with META information

Also available in: Atom