Project

General

Profile

« Previous | Next » 

Revision 75c459f4

Added by LĂ©lio Brun 9 months ago

start with Spec AST generation

View differences:

src/machine_code_types.ml
1 1
(************ Machine code types *************)
2 2
open Lustre_types
3 3
open Spec_types
4
  
4

  
5 5
type value_t =
6 6
  {
7 7
    value_desc: value_t_desc;
......
16 16
  | Access of value_t * value_t
17 17
  | Power of value_t * value_t
18 18

  
19
type mc_formula_t = value_t formula_t
20

  
19 21
type instr_t =
20 22
  {
21 23
    instr_desc: instr_t_desc; (* main data: the content *)
22 24
    (* lustre_expr: expr option; (* possible representation as a lustre expression *) *)
23 25
    lustre_eq: eq option;     (* possible representation as a lustre flow equation *)
26
    instr_spec: mc_formula_t
24 27
  }
25 28
and instr_t_desc =
26 29
  | MLocalAssign of var_decl * value_t
......
45 48

  
46 49
type machine_spec = {
47 50
  mnode_spec: node_spec_t option;
48
  mtransitions: transition_t list
51
  mtransitions: value_t transition_t list
49 52
}
50 53
  
51 54
type machine_t = {

Also available in: Unified diff