Project

General

Profile

« Previous | Next » 

Revision 6cbbe1c1

Added by LĂ©lio Brun 8 months ago

start again with spec representation

View differences:

src/machine_code_types.ml
46 46

  
47 47
type static_call = top_decl * (Dimension.dim_expr list)
48 48

  
49
type mc_transition_t = value_t transition_t
50

  
49 51
type machine_spec = {
50 52
  mnode_spec: node_spec_t option;
51
  mtransitions: value_t transition_t list
53
  mtransitions: mc_transition_t list
52 54
}
53 55
  
54 56
type machine_t = {

Also available in: Unified diff