reformatting
moved from Num to Zarith. IMpacted main.ml ad uses of Z3 in zustre_cex and seal-extract
- tag_true and tag_false moved to lustre_types- real constants are hidden in Real.ml{i} module
Merge branch 'unstable' into salsa
Pretty serious update:- a bug in regressio ntest Simulink/integrator_ext_IC_matrix_test revealed the following (serious issue): when building the list of instruction (in the machine code) the access to variable were hardcoded to LocalVar or StateVAr depending whether the variables was part of the identified memories....
More work on Salsa plugin
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
NumMartel functions
Merging 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
Modified Salsa plugin to apply the algorithm until no more progress can be made
on joue avec l'affiche des floats
- Print the range before/after the transformation of the expression- Use %e to print floating point error
major branche merging salsa/mpfr with trunk