/src/backends/Ada - Repository - LustreC

| Branch: | Tag: | Revision:

lustrec / src / backends / Ada @ b12a91e0

Name	Size	Revision	Age	Author	Comment
.merlin	3 Bytes	f20d8ac7	almost 2 years	Christophe Garion	Ada: skeletons for Ada compiler
ada_backend.ml	1.59 KB	48a6309c	almost 2 years	Guillaume DAVY	Basic structure for Ada backend
ada_backend_adb.ml	1.14 KB	bdc471f3	almost 2 years	Guillaume DAVY	3 main modifications : - Create a new file : ...
ada_backend_ads.ml	1.33 KB	b12a91e0	almost 2 years	Guillaume DAVY	Ada: Move some functions from ada_backend_ads.m...
ada_backend_common.ml	3.88 KB	b12a91e0	almost 2 years	Guillaume DAVY	Ada: Move some functions from ada_backend_ads.m...
ada_backend_wrapper.ml	736 Bytes	f20d8ac7	almost 2 years	Christophe Garion	Ada: skeletons for Ada compiler

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