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/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