Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / backends / Ada / ada_backend_ads.ml @ c06b3b47

History | View | Annotate | Download (1.72 KB)

# Date Author Comment
c06b3b47 02/12/2019 06:46 PM Guillaume DAVY

Ada: Add the state variable in the ads, type definition and as parameter of all procedure

b12a91e0 02/12/2019 03:22 PM Guillaume DAVY

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

81e2ad2f 02/12/2019 03:21 PM Guillaume DAVY

Ada: Remove useless comment

bdc471f3 02/12/2019 02:57 PM Guillaume DAVY

3 main modifications :
- Create a new file : ada_backend_common.ml which contains all the function common to adb and ads.
- Add comment to function
- Generate the procedure prototype in the ads

48a6309c 02/12/2019 11:15 AM Guillaume DAVY

Basic structure for Ada backend

f20d8ac7 02/11/2019 03:05 PM Christophe Garion

Ada: skeletons for Ada compiler