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/Horn/horn_backend_common.ml
113 113
    List.fold_left (fun accu (id, (n, _)) ->
114 114
      let name = node_name n in
115 115
      if name = "_arrow" then
116
	let arrow_machine = Machine_code.arrow_machine in
116
	let arrow_machine = Machine_code_common.arrow_machine in
117 117
	(rename_machine_list
118 118
	  (concat prefix (concat (if fst then id else concat m.mname.node_id id) "_arrow"))
119 119
	  arrow_machine.mmemory

Also available in: Unified diff