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

« Previous | Next »

Revision b12a91e0

ID	b12a91e00259b8f3d8686f5c7dfd208b28afd66b
Parent	81e2ad2f
Child	c06b3b47

Added by Guillaume DAVY over 1 year ago

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

Files

added
modified
copied
renamed
deleted

View differences

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