Project

General

Profile

Statistics
| Branch: | Tag: | Revision:
Name Size Revision Age Author Comment
.merlin 3 Bytes f20d8ac7 almost 3 years Christophe Garion Ada: skeletons for Ada compiler
README 2.04 KB 230b168e almost 3 years Guillaume DAVY Ada: Refactor Ada Backend to reduce redundancy,...
ada_backend.ml 6.67 KB 230b168e almost 3 years Guillaume DAVY Ada: Refactor Ada Backend to reduce redundancy,...
ada_backend_adb.ml 8.31 KB 230b168e almost 3 years Guillaume DAVY Ada: Refactor Ada Backend to reduce redundancy,...
ada_backend_ads.ml 10.9 KB 230b168e almost 3 years Guillaume DAVY Ada: Refactor Ada Backend to reduce redundancy,...
ada_backend_common.ml 13.7 KB 230b168e almost 3 years Guillaume DAVY Ada: Refactor Ada Backend to reduce redundancy,...
ada_backend_common.mli 1.32 KB 230b168e almost 3 years Guillaume DAVY Ada: Refactor Ada Backend to reduce redundancy,...
ada_backend_wrapper.ml 6.8 KB 230b168e almost 3 years Guillaume DAVY Ada: Refactor Ada Backend to reduce redundancy,...
ada_printer.ml 9.83 KB 230b168e almost 3 years Guillaume DAVY Ada: Refactor Ada Backend to reduce redundancy,...
ada_printer.mli 1.93 KB 230b168e almost 3 years Guillaume DAVY Ada: Refactor Ada Backend to reduce redundancy,...
misc_lustre_function.ml 8.16 KB 230b168e almost 3 years Guillaume DAVY Ada: Refactor Ada Backend to reduce redundancy,...
misc_printer.ml 710 Bytes 230b168e almost 3 years Guillaume DAVY Ada: Refactor Ada Backend to reduce redundancy,...

Latest revisions

# Date Author Comment
230b168e 04/04/2019 02:14 PM Guillaume DAVY

Ada: Refactor Ada Backend to reduce redundancy, make it more modular and
more simple.

2eee868b 03/22/2019 01:51 PM Guillaume DAVY

Merge branch 'lustrec-seal' into ada

826063db 03/22/2019 01:50 PM Guillaume DAVY

Ada: Correct ada main to handle statelles top level node

1f868027 03/22/2019 01:02 AM Pierre-Loïc Garoche

JSON EMF

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

View revisions

Also available in: Atom