Project

General

Profile

« Previous | Next » 

Revision 2863281f

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

Further restructuring:
- arrow.ml* to define basic builder for arrow (node, name, ...)
- machine_code_common similar to corelang but for machine_code (printers, some builders, ...)
- machine_code restricted to the translatation from normalized nodes to machines

View differences:

src/backends/C/c_backend_main.ml
12 12
open Lustre_types
13 13
open Machine_code_types
14 14
open Corelang
15
open Machine_code
15
open Machine_code_common
16 16
open Format
17 17
open C_backend_common
18 18
open Utils

Also available in: Unified diff