Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / backends / EMF @ dd71e482

Name Size Revision Age Author Comment
EMF_backend.ml 28.4 KB dd71e482 over 2 years Pierre-Loïc Garoche EMF backend: each branch provides the inputs an...
EMF_backend.ml~ 23 Bytes a6df3992 about 3 years Pierre-Loïc Garoche Working on EMF backend to express cocospec info...

Latest revisions

# Date Author Comment
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

32539b6d 06/22/2017 04:25 AM Pierre-Loïc Garoche

Changed encoding of matlab expression inputs from u(xx) to uxx.

View revisions

Also available in: Atom