/src/backends/Ada - Repository - LustreC

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	9.9 KB	fd8aeeac	over 4 years	Christophe Garion	Ada: pretty printing of reset function
ada_backend_ads.ml	3.26 KB	903317e7	over 4 years	Guillaume DAVY	Ada: Remove generation of init and clear and so...
ada_backend_common.ml	10.3 KB	f3e8fc18	over 4 years	Christophe Garion	Ada: typo
ada_backend_wrapper.ml	3.04 KB	903317e7	over 4 years	Guillaume DAVY	Ada: Remove generation of init and clear and so...

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

CristalCaveGem » LustreC