Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / backends / Ada / ada_backend_common.ml @ bdc471f3

History | View | Annotate | Download (904 Bytes)

# Date Author 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