Skip to content
Snippets Groups Projects
Commit 1bff14ac authored by Pierre Loic Garoche's avatar Pierre Loic Garoche
Browse files

- 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
parent 3ca27bc7
No related branches found
No related tags found
Hide whitespace changes
Inline Side-by-side
Showing
with 237 additions and 187 deletions
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment