Merge branch 'master' into feature/dome/dome-ts

.gitlab-ci.yml

Makefile

doc/code/docgen.ml

doc/developer/advance.tex

doc/developer/changes.tex

doc/developer/tutorial.tex

ivette/api/plugins/eva/index.ts

ivette/src/dome/src/renderer/table/models.ts

ivette/src/frama-c/states.ts

ivette/src/renderer/ASTview.tsx

ivette/src/renderer/Globals.tsx

ivette/src/renderer/Properties.tsx

nix/default.nix

opam/opam

ptests/ptests.ml

src/plugins/e-acsl/Makefile.in

src/plugins/e-acsl/doc/Changelog

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

src/plugins/e-acsl/tests/arith/oracle_ci/gen_functions.c

src/plugins/e-acsl/tests/arith/oracle_dev/arith.res.oracle