Project

General

Profile

Revision f4cba4b8 src/machine_code_types.ml

View differences:

src/machine_code_types.ml
30 30
  | MBranch of value_t * (label * instr_t list) list
31 31
  | MComment of string
32 32

  
33
      type step_t = {
34
  step_checks: (Location.t * value_t) list;
35
  step_inputs: var_decl list;
36
  step_outputs: var_decl list;
37
  step_locals: var_decl list;
38
  step_instrs: instr_t list;
39
  step_asserts: value_t list;
40
}
33
type step_t = {
34
    step_checks: (Location.t * value_t) list;
35
    step_inputs: var_decl list;
36
    step_outputs: var_decl list;
37
    step_locals: var_decl list;
38
    step_instrs: instr_t list;
39
    step_asserts: value_t list;
40
  }
41 41

  
42 42
type static_call = top_decl * (Dimension.dim_expr list)
43 43

  
44
                 
44
  
45 45
type machine_t = {
46 46
  mname: node_desc;
47 47
  mmemory: var_decl list;
......
51 51
  mstatic: var_decl list; (* static inputs only *)
52 52
  mconst: instr_t list; (* assignments of node constant locals *)
53 53
  mstep: step_t;
54
  mspec: contract_desc option;
54
  mspec: node_spec_t option;
55 55
  mannot: expr_annot list;
56 56
  msch: Scheduling_type.schedule_report option; (* Equations scheduling *)
57 57
}

Also available in: Unified diff