Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / machine_code_common.mli @ 0d79d0f3

History | View | Annotate | Download (1.77 KB)

# Date Author Comment
e4edf171 04/03/2018 04:38 PM Pierre-Loïc Garoche

Zustre backend

2863281f 03/30/2018 11:14 PM Pierre-Loïc Garoche

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