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/types.ml
43 43
    | Tbool
44 44
    | Trat (* Actually unused for now. Only place where it can appear is
45 45
              in a clock declaration *)
46
  [@@deriving show]
46 47

  
47 48
  let type_string_builder = Tstring
48 49
  let type_int_builder = Tint
......
100 101

  
101 102
  module BasicT = BasicT
102 103
  type basic_type = BasicT.t
104
  [@@deriving show]
103 105
  type type_expr   =
104 106
    {mutable tdesc: type_desc;
105 107
     tid: int}
......
116 118
    | Tlink of type_expr (* During unification, make links instead of substitutions *)
117 119
    | Tvar (* Monomorphic type variable *)
118 120
    | Tunivar (* Polymorphic type variable *)
121
  [@@deriving show]
119 122

  
120 123
  (*   {mutable tdesc: type_desc; *)
121 124
  (*    tid: int} *)
......
491 494
    | Tlink of type_expr (* During unification, make links instead of substitutions *)
492 495
    | Tvar (* Monomorphic type variable *)
493 496
    | Tunivar (* Polymorphic type variable *)
497
    [@@deriving show]
494 498

  
495 499
  type error =
496 500
      Unbound_value of ident  

Also available in: Unified diff