Project

General

Profile

« Previous | Next » 

Revision 15003796

Added by Pierre-Loïc Garoche over 6 years ago

copy of trunk. With option -lustre and annotation linearization, will simplify the lustre code

View differences:

src/annotations.ml
20 20
let add_node_ann node_id key = Hashtbl.add node_annotations key node_id
21 21

  
22 22
let get_expr_annotations key = Hashtbl.find_all expr_annotations key
23
let get_node_annotations key = Hashtbl.find_all node_annotations key
24

  
25

  
26
(* Local Variables: *)
27
(* compile-command:"make -C .." *)
28
(* End: *)

Also available in: Unified diff