« Previous | Next » 

Revision 1bff14ac

Added by Pierre-Loïc Garoche over 6 years ago

- 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
- has been split into / only contains references and no functions

  • added
  • modified
  • copied
  • renamed
  • deleted