Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / backends / Ada @ 173a2a8f

Name Size Revision Age Author Comment
.merlin 3 Bytes f20d8ac7 over 1 year Christophe Garion Ada: skeletons for Ada compiler
README 2.04 KB 230b168e over 1 year Guillaume DAVY Ada: Refactor Ada Backend to reduce redundancy,...
ada_backend.ml 6.66 KB 173a2a8f over 1 year Guillaume DAVY Ada: Lot of specification is exported in Ada. W...
ada_backend_adb.ml 8.58 KB 173a2a8f over 1 year Guillaume DAVY Ada: Lot of specification is exported in Ada. W...
ada_backend_ads.ml 16.1 KB 173a2a8f over 1 year Guillaume DAVY Ada: Lot of specification is exported in Ada. W...
ada_backend_common.ml 14 KB 173a2a8f over 1 year Guillaume DAVY Ada: Lot of specification is exported in Ada. W...
ada_backend_common.mli 1.7 KB 173a2a8f over 1 year Guillaume DAVY Ada: Lot of specification is exported in Ada. W...
ada_backend_wrapper.ml 6.82 KB b5b745fb over 1 year Guillaume DAVY Ada: First support for transition predicate gen...
ada_printer.ml 11.3 KB 173a2a8f over 1 year Guillaume DAVY Ada: Lot of specification is exported in Ada. W...
ada_printer.mli 2.41 KB 173a2a8f over 1 year Guillaume DAVY Ada: Lot of specification is exported in Ada. W...
misc_lustre_function.ml 11.6 KB 173a2a8f over 1 year Guillaume DAVY Ada: Lot of specification is exported in Ada. W...
misc_printer.ml 710 Bytes 230b168e over 1 year Guillaume DAVY Ada: Refactor Ada Backend to reduce redundancy,...

Latest revisions

# Date Author Comment
173a2a8f 04/19/2019 12:47 PM Guillaume DAVY

Ada: Lot of specification is exported in Ada. We use ghost code to store all states,
we generate the transition pridicate but also the invariant. But two problems, occured.
The first one is a visibility problem for the record which is private but must be
public for ghost variable which have to be public for specifaction. The second...

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)

View revisions

Also available in: Atom