Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / backends @ 2475c9e8

Name Size Revision Age Author Comment
  C 1bff14ac over 2 years Pierre-Loïc Garoche - Added a field lustre_eq to machine instructio...
  EMF 2475c9e8 over 2 years Pierre-Loïc Garoche Refactored EMF backend. Handle now the call to ...
  Horn 397d5ae3 over 2 years Pierre-Loïc Garoche Copied Printers.pp_expr functions to Horn backe...
  Java a2d97a3e over 5 years Pierre-Loïc Garoche Updated the licence info and header for each fi...
backends.ml 530 Bytes 524060b3 over 2 years Pierre-Loïc Garoche Ongoin work on EMF backend. Commit to store a w...

Latest revisions

# 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

397d5ae3 06/27/2017 06:36 PM Pierre-Loïc Garoche

Copied Printers.pp_expr functions to Horn backend to escape < and > in XML traces output

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