Reformating plugin signatures. Better report management
MLI for normalization and machine_code.Structs defining machines are now in machine_code_types
- Makefile: solved dependency problem when compiling include lusi- Renamed type declarations as lustre_types and machine_code_types
- Added a precision parameter for io_frontend "real" types- New fonction in plugins: main_loop_body_prefix
Plugin based framework