Merge branch 'feature/eva/deps' into 'master'

src/kernel_services/abstract_interp/function_Froms.ml

src/plugins/eva/Eva.mli

src/plugins/eva/api/general_requests.ml

src/plugins/eva/domains/cvalue/builtins.ml

src/plugins/eva/domains/cvalue/builtins.mli

src/plugins/eva/domains/cvalue/builtins_malloc.ml

src/plugins/eva/domains/cvalue/builtins_memory.ml

src/plugins/eva/domains/octagons.ml

src/plugins/eva/dune

src/plugins/eva/engine/compute_functions.ml

src/plugins/eva/gui/gui_eval.ml

src/plugins/eva/legacy/logic_inout.ml

src/plugins/eva/legacy/logic_inout.mli

src/plugins/eva/types/assigns.ml

src/plugins/eva/types/assigns.mli

src/plugins/eva/types/deps.ml

src/plugins/eva/types/deps.mli

src/plugins/eva/utils/cvalue_callbacks.ml

src/plugins/eva/utils/cvalue_callbacks.mli

src/plugins/eva/utils/eva_utils.ml