Revision 2863281f
Added by Pierre-Loïc Garoche almost 7 years ago
src/mpfr.ml | ||
---|---|---|
14 | 14 |
open Machine_code_types |
15 | 15 |
open Corelang |
16 | 16 |
open Normalization |
17 |
open Machine_code |
|
17 |
open Machine_code_common
|
|
18 | 18 |
|
19 | 19 |
let mpfr_module = mktop (Open(false, "mpfr_lustre")) |
20 | 20 |
let cpt_fresh = ref 0 |
Also available in: Unified diff
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