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

Makefile.in

TODO.org

include/lustrec_math.lusi

include/lustrec_math.smt2

include/simulink_math_fcn.c

include/simulink_math_fcn.lusi

src/access.ml

src/algebraicLoop.ml

src/annotations.ml

src/arrow.ml

src/arrow.mli

src/automata.ml

src/backends/C/c_backend.ml

src/backends/C/c_backend_common.ml

src/backends/C/c_backend_header.ml

src/backends/C/c_backend_main.ml

src/backends/C/c_backend_makefile.ml

src/backends/C/c_backend_mauve.ml

src/backends/C/c_backend_spec.ml

src/backends/C/c_backend_src.ml