/src/backends/Ada - Repository - LustreC

| Branch: | Tag: | Revision:

lustrec/src/backends/Ada @ bdc471f3

Name	Size	Revision	Age	Author	Comment
.merlin	3 Bytes	f20d8ac7	over 4 years	Christophe Garion	Ada: skeletons for Ada compiler
ada_backend.ml	1.59 KB	48a6309c	over 4 years	Guillaume DAVY	Basic structure for Ada backend
ada_backend_adb.ml	1.14 KB	bdc471f3	over 4 years	Guillaume DAVY	3 main modifications : - Create a new file : ...
ada_backend_ads.ml	4.74 KB	bdc471f3	over 4 years	Guillaume DAVY	3 main modifications : - Create a new file : ...
ada_backend_common.ml	904 Bytes	bdc471f3	over 4 years	Guillaume DAVY	3 main modifications : - Create a new file : ...
ada_backend_wrapper.ml	736 Bytes	f20d8ac7	over 4 years	Christophe Garion	Ada: skeletons for Ada compiler

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