Project

General

Profile

« Previous | Next » 

Revision 3ca27bc7

Added by Pierre-Loïc Garoche about 7 years ago

- Addtional encapsulation of machine_code instr in a struct to enable future extension of type with more metadata.
- Improved EMF backend with META information

View differences:

src/main_lustre_compiler.ml
389 389
       let source_file = destname ^ ".emf" in (* Could be changed *)
390 390
       let source_out = open_out source_file in
391 391
       let fmt = formatter_of_out_channel source_out in
392
       EMF_backend.translate fmt prog machine_code;
392
       EMF_backend.translate fmt basename prog machine_code;
393 393
       ()
394 394
     end
395 395

  

Also available in: Unified diff