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/location.ml
9 9
(*                                                                  *)
10 10
(********************************************************************)
11 11

  
12
type t = { loc_start: Lexing.position; loc_end: Lexing.position }
12
type position = [%import: Lexing.position] [@@deriving show]
13

  
14
type t = { loc_start: Lexing.position [@printer pp_position]; loc_end: Lexing.position [@printer pp_position]}
15
[@@deriving show]
13 16

  
14 17
type filename = string
18
[@@deriving show]
15 19

  
16 20
let dummy_loc = {loc_start=Lexing.dummy_pos; loc_end=Lexing.dummy_pos}
17 21

  

Also available in: Unified diff