Project

General

Profile

« Previous | Next » 

Revision 1732ef44

Added by Arnaud Dieumegard over 3 years ago

Start of the Lustre generator

View differences:

src/backends/VHDL/vhdl_ast_utils.ml
1 1
open Vhdl_ast_map
2
open Vhdl_to_lustre
2
open Mini_vhdl_to_lustre
3 3
open Vhdl_2_mini_vhdl_map
4 4
open Vhdl_ast
5 5
open Mini_vhdl_ast
......
20 20

  
21 21
let to_lustre = object (self)
22 22
  inherit Ppxlib_traverse_builtins.map
23
  inherit vhdl_to_lustre_map as super
23
  inherit mini_vhdl_to_lustre_map as super
24 24

  
25 25
  method unit: unit T.map = any
26 26
end

Also available in: Unified diff