Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (10.3 KB)

# Date Author Comment
fd8aeeac 02/19/2019 10:59 PM Christophe Garion

Ada: pretty printing of reset function

c203d676 02/18/2019 02:29 PM Guillaume DAVY

Ada Change private to limited private for State type package.

fd834769 02/14/2019 02:35 PM Guillaume DAVY

Ada: Add the generation of the wrapper file : the main ada file and the project. It is called
only if the main node option is given to lustrec. This feature implied some refactoring. Also
added some OCaml Doc to undocummented functions.

7cbb6d8a 02/13/2019 07:38 PM Guillaume DAVY

Ada: Add to the machine state all its subinstance states. Improve also identifier cleaning

c419ca44 02/13/2019 02:47 PM Guillaume DAVY

Ada: Changed type name for states and normalized variable name to match ada requirements.

3d85297f 02/12/2019 08:00 PM Guillaume DAVY

Ada: Add prototype of the four procedure in the adb generation

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

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