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.13 KB b5b745fb almost 3 years Guillaume DAVY Ada: First support for transition predicate gen...
ada_backend_ads.ml 10.6 KB b5b745fb almost 3 years Guillaume DAVY Ada: First support for transition predicate gen...
ada_backend_common.ml 14 KB b5b745fb almost 3 years Guillaume DAVY Ada: First support for transition predicate gen...
ada_backend_common.mli 1.59 KB b5b745fb almost 3 years Guillaume DAVY Ada: First support for transition predicate gen...
ada_backend_wrapper.ml 6.82 KB b5b745fb almost 3 years Guillaume DAVY Ada: First support for transition predicate gen...
ada_printer.ml 11.3 KB b5b745fb almost 3 years Guillaume DAVY Ada: First support for transition predicate gen...
ada_printer.mli 2.33 KB b5b745fb almost 3 years Guillaume DAVY Ada: First support for transition predicate gen...
misc_lustre_function.ml 11.7 KB b5b745fb almost 3 years Guillaume DAVY Ada: First support for transition predicate gen...
misc_printer.ml 710 Bytes 230b168e almost 3 years Guillaume DAVY Ada: Refactor Ada Backend to reduce redundancy,...

Latest revisions

# Date Author Comment
b5b745fb 04/05/2019 04:37 PM Guillaume DAVY

Ada: First support for transition predicate generation.

2477d634 04/04/2019 04:11 PM Guillaume DAVY

Ada: Correct some errors in printing

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

View revisions

Also available in: Atom