/src/backends/Ada - Repository - LustreC

| Branch: | Tag: | Revision:

lustrec/src/backends/Ada @ 2ddbde7d

Name	Size	Revision	Age	Author	Comment
.merlin	3 Bytes	f20d8ac7	over 4 years	Christophe Garion	Ada: skeletons for Ada compiler
ada_backend.ml	4.65 KB	fd834769	over 4 years	Guillaume DAVY	Ada: Add the generation of the wrapper file : t...
ada_backend_adb.ml	2.96 KB	2ddbde7d	over 4 years	Guillaume DAVY	Ada: Last correction was incorrect
ada_backend_ads.ml	3.48 KB	fd834769	over 4 years	Guillaume DAVY	Ada: Add the generation of the wrapper file : t...
ada_backend_common.ml	10.3 KB	fd834769	over 4 years	Guillaume DAVY	Ada: Add the generation of the wrapper file : t...
ada_backend_wrapper.ml	3 KB	fd834769	over 4 years	Guillaume DAVY	Ada: Add the generation of the wrapper file : t...

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

Also available in: Atom