Revision 27dc3869 - Added a feature to alias ite contructs argument. To be used by EMF backend - LustreC

« Previous | Next »

Revision 27dc3869

ID	27dc3869e34d972d0f3d577c4e4390a299ddabfc
Parent	fa880262
Child	524060b3

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

Added a feature to alias ite contructs argument. To be used by EMF backend

Files

added
modified
copied
renamed
deleted

View differences

src
- main_lustre_compiler.ml (diff)
- normalization.ml (diff)