Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / backends / Ada @ 826063db

Name Size Revision Age Author Comment
.merlin 3 Bytes f20d8ac7 almost 2 years Christophe Garion Ada: skeletons for Ada compiler
ada_backend.ml 4.63 KB 826063db over 1 year Guillaume DAVY Ada: Correct ada main to handle statelles top l...
ada_backend_adb.ml 7.48 KB 826063db over 1 year Guillaume DAVY Ada: Correct ada main to handle statelles top l...
ada_backend_ads.ml 7.74 KB 61e0c3c4 over 1 year Guillaume DAVY Ada: - Correct the merge with lustrec-seal ...
ada_backend_common.ml 32.4 KB 826063db over 1 year Guillaume DAVY Ada: Correct ada main to handle statelles top l...
ada_backend_wrapper.ml 7.67 KB 826063db over 1 year Guillaume DAVY Ada: Correct ada main to handle statelles top l...

Latest revisions

# Date Author Comment
826063db 03/22/2019 01:50 PM Guillaume DAVY

Ada: Correct ada main to handle statelles top level node

61e0c3c4 03/21/2019 07:23 PM Guillaume DAVY

Ada:
- Correct the merge with lustrec-seal
- Improve support for builtin function(still work to do)
- Add generation of a gpr file for lib(without main).
- Add var initialisation in the reset, still work to do.

de671495 03/18/2019 08:31 PM Pierre-Loïc Garoche

Merging branches, disabling the specification print in Ada backend. Should be re-enabled at some point

525eebd1 03/13/2019 01:27 PM Guillaume DAVY

Ada: Correct branch exporting to handle boolean match(using an ada if)

379715f7 03/13/2019 10:42 AM Guillaume DAVY

Ada: Improve input/output of main ada file

6e3cdaf6 03/12/2019 01:18 PM Guillaume DAVY

Ada: Add pretty printer for case

8d22ea35 03/12/2019 09:48 AM Guillaume DAVY

Ada: Some indentation

09d7b39f 03/11/2019 07:38 PM Guillaume DAVY

Ada: Add generation of step calls and refactor prototypes and ads printing to handle staless
instance.

3de9f6e4 03/11/2019 02:52 PM Guillaume DAVY

Ada: Refactor the instantiation code and instance code, instead of passing the machine list
to the pp_file and all subfunction in adb generation we pass a list of typed instance which
contains the submachines directly with the instance name and the substitution.

1ed1c8b8 02/26/2019 01:55 PM Guillaume DAVY

Ada: Corrections of some bugs discovered with lustrec-tests

View revisions

Also available in: Atom