Tuning the pretty printing of Salsa plugin
Homogenizing the API for salsa and its use within the plugin
Some tentative improvement of Salsa plugin. Not satisfying yet
[scopes] Producing the appropriate scope label
NumMartel functions
Merging unstable into salsa
Merge branch 'unstable' into salsa
Further restructuring:- arrow.ml* to define basic builder for arrow (node, name, ...)- machine_code_common similar to corelang but for machine_code (printers, some builders, ...)- machine_code restricted to the translatation from normalized nodes to machines
MLI for normalization and machine_code.Structs defining machines are now in machine_code_types
- Makefile: solved dependency problem when compiling include lusi- Renamed type declarations as lustre_types and machine_code_types
Ongoing work on salsa: introduce slicing of expr
Updated Salsa plugin to latest version of Salsa.Some issues wrt machine type features.Work in progress
[salsa] cleaning verbose logs
- Addtional encapsulation of machine_code instr in a struct to enable future extension of type with more metadata.- Improved EMF backend with META information
Turn an option to off by default: it was triggering scope plugin automatically
Updated scope plugin
Cleaning output:- no more classic display for ocamlc- compilation warnings removed
Missing files
Modified Salsa plugin to apply the algorithm until no more progress can be made
More debug print
on joue avec l'affiche des floats
- Print the range before/after the transformation of the expression- Use %e to print floating point error
several bugs/oddities corrected: - bizarre date stamping (when generating .lusi files) - bug in loading libraries, forbidding several (transitive) imports of the same library. - plugin scopes was wrongly always activated
Plugin based framework
major branche merging salsa/mpfr with trunk