Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / backends / Ada @ 903317e7

Name Size Revision Age Author Comment
.merlin 3 Bytes f20d8ac7 about 2 years Christophe Garion Ada: skeletons for Ada compiler
ada_backend.ml 4.65 KB fd834769 about 2 years Guillaume DAVY Ada: Add the generation of the wrapper file : t...
ada_backend_adb.ml 8.91 KB 768f60f0 about 2 years Christophe Garion Ada: first pretty printing functions for adb
ada_backend_ads.ml 3.26 KB 903317e7 about 2 years Guillaume DAVY Ada: Remove generation of init and clear and so...
ada_backend_common.ml 10.3 KB 903317e7 about 2 years Guillaume DAVY Ada: Remove generation of init and clear and so...
ada_backend_wrapper.ml 3.04 KB 903317e7 about 2 years Guillaume DAVY Ada: Remove generation of init and clear and so...

Latest revisions

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

7cbb6d8a 02/13/2019 07:38 PM Guillaume DAVY

Ada: Add to the machine state all its subinstance states. Improve also identifier cleaning

View revisions

Also available in: Atom