Revision 525eebd1 - Ada: Correct branch exporting to handle boolean match(using an ada if) - LustreC

« Previous | Next »

Revision 525eebd1

Added by Guillaume DAVY about 4 years ago

ID 525eebd17b00b7a2c01d8c2419e8cfc223f31344
Parent 379715f7
Child ab26e196

Ada: Correct branch exporting to handle boolean match(using an ada if)

added
modified
copied
renamed
deleted

src
- backends
  - Ada
    - ada_backend_adb.ml (diff)
    - ada_backend_common.ml (diff)