CristalCaveGem » LustreC

start with Spec AST generation

fix almost all warnings

Ada: Start cleaning Ada to prepare for why beckend

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...

Ada: First support for transition predicate generation.

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

Ada: Correct ada main to handle statelles top level node

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.

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

Ada: Add pretty printer for case

Ada: Some indentation

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

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.

Ada: Correct the subcalls to reset for node with polymorphic type(like arrow)

Ada: Correct state print for variable assignement

Ada: - Replace MStep and Mbranch output by Null to have compilable Ada.
- Correct pp_value to print state access when the variable is memory

ada: pretty print assignment statement for state

Ada: Start exporting spec

Merge branch 'ada' of https://cavale.enseeiht.fr/git/lustrec into ada

Ada: pretty printing functions for values and assignments in adb

Ada: Removed from adb the print of clear and init.

Ada: Add new function to print package name from node spec to be called by adb backend.

Ada: pretty printing of reset function

Ada: first pretty printing functions for adb

Ada: Temporary change

Ada: Add local variable declaration for step

Ada: Last correction was incorrect

Ada: Correct a bad copy-paste

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.

Ada: Add to the machine state all its subinstance states. Improve also identifier cleaning

Ada: Changed type name for states and normalized variable name to match ada requirements.

Ada: Add prototype of the four procedure in the adb generation

3 main modifications :
- Create a new file : ada_backend_common.ml which contains all the function common to adb and ads.
- Add comment to function
- Generate the procedure prototype in the ads

Basic structure for Ada backend

Ada: skeletons for Ada compiler