Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / backends / EMF @ c82ea2ca

Name Size Revision Age Author Comment
EMF_backend.ml 11.9 KB c82ea2ca almost 4 years Pierre-Loïc Garoche Enumerated datatypes as integer
EMF_backend.ml~ 23 Bytes a6df3992 about 4 years Pierre-Loïc Garoche Working on EMF backend to express cocospec info...
EMF_common.ml 2.6 KB c82ea2ca almost 4 years Pierre-Loïc Garoche Enumerated datatypes as integer
EMF_library_calls.ml 1.21 KB 2475c9e8 almost 4 years Pierre-Loïc Garoche Refactored EMF backend. Handle now the call to ...

Latest revisions

# Date Author Comment
c82ea2ca 07/11/2017 01:07 AM Pierre-Loïc Garoche

Enumerated datatypes as integer

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

View revisions

Also available in: Atom