Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec/src/backends/Ada @ c85c2e3d

# Date Author Comment
c85c2e3d 02/21/2019 03:42 PM Christophe Garion

Ada: pretty printing functions for values and assignments in adb
f3e8fc18 02/19/2019 11:02 PM Christophe Garion

Ada: typo
08c4ec02 02/19/2019 11:01 PM Christophe Garion

fix conflicts
fd8aeeac 02/19/2019 10:59 PM Christophe Garion

Ada: pretty printing of reset function
903317e7 02/19/2019 05:40 PM Guillaume DAVY

Ada: Remove generation of init and clear and some refactoring around
prototype.
dc429e2f 02/18/2019 02:29 PM Guillaume DAVY

Merge branch 'ada' of https://cavale.enseeiht.fr/git/lustrec into ada
c203d676 02/18/2019 02:29 PM Guillaume DAVY

Ada Change private to limited private for State type package.
768f60f0 02/14/2019 05:11 PM Christophe Garion

Ada: first pretty printing functions for adb
69cd79c6 02/14/2019 05:02 PM Guillaume DAVY

Ada: Temporary change
4ba20be4 02/14/2019 02:47 PM Guillaume DAVY

Ada: Add local variable declaration for step
2ddbde7d 02/14/2019 02:42 PM Guillaume DAVY

Ada: Last correction was incorrect
e6705d79 02/14/2019 02:38 PM Guillaume DAVY

Ada: Correct a bad copy-paste
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
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