Project

General

Profile

Download (7.33 KB) Statistics
| Branch: | Tag: | Revision:

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

# Date Author Comment
ca7ff3f7 06/17/2021 11:33 AM Lélio Brun

reformatting
ca7e8027 02/05/2021 02:36 PM Lélio Brun

fix almost all warnings
05f85b44 04/29/2019 01:53 PM Guillaume DAVY

Ada: Start cleaning Ada to prepare for why beckend
b5b745fb 04/05/2019 04:37 PM Guillaume DAVY

Ada: First support for transition predicate generation.
230b168e 04/04/2019 02:14 PM Guillaume DAVY

Ada: Refactor Ada Backend to reduce redundancy, make it more modular and
more simple.
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
379715f7 03/13/2019 10:42 AM Guillaume DAVY

Ada: Improve input/output of main ada file
8d22ea35 03/12/2019 09:48 AM Guillaume DAVY

Ada: Some indentation
03143434 02/25/2019 01:40 PM Guillaume DAVY

Ada: Add readers and printers for main.adb to match c tests.
721ce555 02/25/2019 10:01 AM Guillaume DAVY

Ada: Removed useless function
9e5f8085 02/20/2019 06:09 PM Guillaume DAVY

Ada: Add support for arrows as an independent generic package, instantiated in each
package using it. It required a lot of refactoring.
903317e7 02/19/2019 05:40 PM Guillaume DAVY

Ada: Remove generation of init and clear and some refactoring around
prototype.
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