/src/backends/Ada - Repository - LustreC

| Branch: | Tag: | Revision:

lustrec/src/backends/Ada @ 9e5f8085

Name	Size	Revision	Age	Author	Comment
.merlin	3 Bytes	f20d8ac7	over 4 years	Christophe Garion	Ada: skeletons for Ada compiler
ada_backend.ml	4.37 KB	9e5f8085	over 4 years	Guillaume DAVY	Ada: Add support for arrows as an independent g...
ada_backend_adb.ml	8.91 KB	768f60f0	over 4 years	Christophe Garion	Ada: first pretty printing functions for adb
ada_backend_ads.ml	10 KB	9e5f8085	over 4 years	Guillaume DAVY	Ada: Add support for arrows as an independent g...
ada_backend_common.ml	13 KB	9e5f8085	over 4 years	Guillaume DAVY	Ada: Add support for arrows as an independent g...
ada_backend_wrapper.ml	3.24 KB	9e5f8085	over 4 years	Guillaume DAVY	Ada: Add support for arrows as an independent g...

#	Date	Author	Comment
9e5f8085	02/20/2019 06:09 PM	Guillaume DAVY	Ada: Add support for arrows as an independent generic package, instantiated in each package using it. It required a lot of refactoring.
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
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.

Also available in: Atom