Merge branch 'stable/vanadium'

ALL_VERSIONS

Changelog

VERSION

opam/opam

src/plugins/e-acsl/doc/Changelog

src/plugins/e-acsl/src/code_generator/loops.ml

src/plugins/e-acsl/tests/constructs/decrease.c

...lugins/e-acsl/tests/constructs/oracle/decrease.res.oracle

src/plugins/e-acsl/tests/constructs/oracle/gen_decrease.c

src/plugins/wp/Changelog

src/plugins/wp/MemTyped.ml

src/plugins/wp/tests/wp_acsl/opaque_struct.i

src/plugins/wp/tests/wp_acsl/oracle/opaque_struct.res.oracle

...s/wp/tests/wp_acsl/oracle_qualif/opaque_struct.res.oracle