/src/backends/Ada - Repository - LustreC

| Branch: | Tag: | Revision:

lustrec/src/backends/Ada @ 7cbb6d8a

Name	Size	Revision	Age	Author	Comment
.merlin	3 Bytes	f20d8ac7	over 5 years	Christophe Garion	Ada: skeletons for Ada compiler
ada_backend.ml	2.04 KB	7cbb6d8a	over 5 years	Guillaume DAVY	Ada: Add to the machine state all its subinstan...
ada_backend_adb.ml	3.27 KB	7cbb6d8a	over 5 years	Guillaume DAVY	Ada: Add to the machine state all its subinstan...
ada_backend_ads.ml	3.95 KB	7cbb6d8a	over 5 years	Guillaume DAVY	Ada: Add to the machine state all its subinstan...
ada_backend_common.ml	7.89 KB	7cbb6d8a	over 5 years	Guillaume DAVY	Ada: Add to the machine state all its subinstan...
ada_backend_wrapper.ml	736 Bytes	f20d8ac7	over 5 years	Christophe Garion	Ada: skeletons for Ada compiler

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

Also available in: Atom