Ada: Start cleaning Ada to prepare for why beckend
Merge branch 'ada' of https://cavale.enseeiht.fr/git/lustrec into ada
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 bepublic for ghost variable which have to be public for specifaction. The second...
No need for open lustrec_math inside simulink_math_fcn. It creates an error when they are both imported in the same lustre file.
Debug en cours sur les calculs Salsa
doc: use SVG format instead of PNG for dependency graph
Doc: update rule and remove old module in odocl
Ada: First support for transition predicate generation.
Machine_code: Make a correction in the arrow machine creation : use the same polymorphic type in variables and values.
Ada: Correct some errors in printing
Ada: Refactor Ada Backend to reduce redundancy, make it more modular and more simple.
Merge branch 'lustrec-seal' into ada
Ada: Correct ada main to handle statelles top level node
Merge branch 'lustrec-seal' of https://cavale.enseeiht.fr/git/lustrec into lustrec-seal
rev machines in emf
Merge branch 'ada' into lustrec-seal
more explanation in case of failure. Still dirty
Better JSON for EMF backend
Resolved sort order of nodes
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.
Cocospec: parsing, normalizing and processing machines for contracts.
Better EMF output, solved some invalid JSON produced
Cleaning C backend - removing unused functiionsPreparing for coming ACSL
Also available in: Atom