Revision 1e0f3191 - Update of types fields names - LustreC

« Previous | Next »

Revision 1e0f3191

ID	1e0f3191be776532d73bf0a8b262a15ff2c1ef8d
Parent	20d354f4
Child	e050e30c

Added by Arnaud Dieumegard about 2 years ago

Update of types fields names

Files

added
modified
copied
renamed
deleted

View differences

src
- tools
  - importer
    - mini_vhdl_to_lustre.ml (diff)