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
Merging branches, disabling the specification print in Ada backend. Should be re-enabled at some point
Minor modif on seal
Merge branch 'salsa' into lustrec-seal
Reformating plugin signatures. Better report management
Better production of trace files.By default traces are not produced. Requires the option -t to produce them
Serious refactoring of scopes plug-in:- now properly records the scopes- only register requested ones
Merge branch 'unstable' into salsa
bug solved: issues with main node input access when using scope plugin
Ada: Correct branch exporting to handle boolean match(using an ada if)
Ada: Improve input/output of main ada file
New -salsa-disable option
num as a package
Ada: Add pretty printer for case
Some progress on compiling cocospec contract.Contract resolution still need to be done as well as dealing with the machine code level and so on.
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 listto the pp_file and all subfunction in adb generation we pass a list of typed instance whichcontains the submachines directly with the instance name and the substitution.
Ada: Corrections of some bugs discovered with lustrec-tests
Ada: Add readers and printers for main.adb to match c tests.
Ada: Add the prefix ada for variable named with an Ada reserved name.
Ada: Correct contract printing
Ada: Correct the subcalls to reset for node with polymorphic type(like arrow)
Also available in: Atom