Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / backends / Ada / ada_backend_wrapper.ml @ fd8aeeac

History | View | Annotate | Download (3 KB)

# Date Author Comment
c203d676 02/18/2019 02:29 PM Guillaume DAVY

Ada Change private to limited private for State type package.

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.

f20d8ac7 02/11/2019 03:05 PM Christophe Garion

Ada: skeletons for Ada compiler