Project

General

Profile

« Previous | Next » 

Revision 7ee5f69e

Added by LĂ©lio Brun 9 months ago

corrections on loggers + spec in AST

View differences:

src/machine_code_types.ml
1 1
(************ Machine code types *************)
2 2
open Lustre_types
3
open Spec_types
3 4
  
4 5
type value_t =
5 6
  {
......
42 43

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

  
46
type machine_spec = {
47
  mnode_spec: node_spec_t option;
48
  mtransitions: transition_t list
49
}
45 50
  
46 51
type machine_t = {
47 52
  mname: node_desc;
......
52 57
  mstatic: var_decl list; (* static inputs only *)
53 58
  mconst: instr_t list; (* assignments of node constant locals *)
54 59
  mstep: step_t;
55
  mspec: node_spec_t option;
60
  mspec: machine_spec;
56 61
  mannot: expr_annot list;
57 62
  msch: Scheduling_type.schedule_report option; (* Equations scheduling *)
58 63
}

Also available in: Unified diff