Project

General

Profile

« Previous | Next » 

Revision 9b0432bc

Added by Corentin Lauverjat over 1 year ago

  • ID 9b0432bc4c6c7165663ff1239ee93adac0a4a34d
  • Parent 9e88590e

Using deriving_ppx to derive show_ functions for the main types defined in lib/
Applying the same procedure of operator specialization taken from the C backend to Tiny
Lustrev has now a functional Tiny plugin : * -unrolling option has been renamed -duration because from an outside observer it is the length in steps of the abstract simulation * the plugin takes a JSON input file containing the bounds on input of the top node (option -bounds-input) * the plugins outputs its result in a Json format on the stdout. It can also output a {basename}_result.json file containing the result if the flag -tiny-output is provided
Adding a Tiny backend that generates Tiny code from Lustre
Repairing treatment of parsing error that was broken since transitioning from ocamlyacc to menhir

View differences:

lib/clocks.ml
33 33
    {mutable carrier_desc: carrier_desc;
34 34
     mutable carrier_scoped: bool;
35 35
     carrier_id: int}
36
[@@deriving show]
36 37
     
37 38
type clock_expr =
38 39
    {mutable cdesc: clock_desc;
......
41 42

  
42 43
(* pck stands for periodic clock. Easier not to separate pck from other clocks *)
43 44
and clock_desc =
44
  | Carrow of clock_expr * clock_expr
45
  | Ctuple of clock_expr list
45
  | Carrow of clock_expr * clock_expr (* clock of a node *)
46
  | Ctuple of clock_expr list (* clock of a tuple expression *)
46 47
  | Con of clock_expr * carrier_expr * ident
47 48
  (* | Pck_up of clock_expr * int *)
48 49
  (* | Pck_down of clock_expr * int *)
......
52 53
  | Cunivar (* of clock_set *) (* Polymorphic clock variable *)
53 54
  | Clink of clock_expr (* During unification, make links instead of substitutions *)
54 55
  | Ccarrying of carrier_expr * clock_expr
55

  
56
[@@deriving show]
56 57
type error =
57 58
  | Clock_clash of clock_expr * clock_expr
58 59
  (* | Not_pck *)

Also available in: Unified diff