Revision 05f85b44 - Ada: Start cleaning Ada to prepare for why beckend - LustreC

« Previous | Next »

Revision 05f85b44

ID	05f85b44e36f3dbf25e273ca28d7843a8f86ce3a
Parent	c1f565cd
Child	dc6e8512

Added by Guillaume DAVY almost 2 years ago

Ada: Start cleaning Ada to prepare for why beckend

Files

added
modified
copied
renamed
deleted

View differences

src
- backends
  - Ada
    - ada_backend.ml (diff)
    - ada_backend_adb.ml (diff)
    - ada_backend_ads.ml (diff)
    - ada_backend_common.ml (diff)
    - ada_backend_wrapper.ml (diff)
    - ada_printer.ml (diff)
    - ada_printer.mli (diff)