Revision b12a91e0 - Ada: Move some functions from ada_backend_ads.ml to ada_backend_common.ml - LustreC

« Previous | Next »

Revision b12a91e0

Added by Guillaume DAVY over 4 years ago

ID b12a91e00259b8f3d8686f5c7dfd208b28afd66b
Parent 81e2ad2f
Child c06b3b47

Ada: Move some functions from ada_backend_ads.ml to ada_backend_common.ml

added
modified
copied
renamed
deleted

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