Revision 379715f7 - Ada: Improve input/output of main ada file - LustreC

« Previous | Next »

Revision 379715f7

ID	379715f7c065dfc96ecec0c029d50ee04375479f
Parent	6e3cdaf6
Child	525eebd1

Added by Guillaume DAVY almost 2 years ago

Ada: Improve input/output of main ada file

Files

added
modified
copied
renamed
deleted

View differences

src
- backends
  - Ada
    - ada_backend_wrapper.ml (diff)