# Conflicts:
#	ivette/src/dome/main/dome.ts

[extern] WP & Ivette updates for external plugins

See merge request frama-c/frama-c!3739

[Numerors] Move from mlgmpidl to mlmpfr

See merge request frama-c/frama-c!3453

François Bobot authored 3 years ago and Allan Blanchard committed 2 years ago

  Updated more frequently, uses dune so better META file

[Eva] Implements iterators on the components of an abstraction product

See merge request frama-c/frama-c!3735

Proof scripts tracking

See merge request frama-c/frama-c!3741

[kernel] changes symbolic dirs registration

See merge request frama-c/frama-c!3734

[Eva] Ival: more precise detection of partial overlaps.

See merge request frama-c/frama-c!3703

Deal with `@modify` and old `@deprecated`

See merge request frama-c/frama-c!3700

# Conflicts:
#	ivette/Makefile.distrib
#	ivette/distrib.sh
#	ivette/headers/header_spec.txt
#	ivette/src/frama-c/index.tsx
#	ivette/src/frama-c/kernel/ASTinfo.tsx
#	ivette/src/frama-c/kernel/ASTview.tsx
#	ivette/src/frama-c/kernel/api/ast/index.ts
#	ivette/src/frama-c/kernel/style.css
#	ivette/src/frama-c/richtext.tsx
#	ivette/src/frama-c/server.ts
#	ivette/src/frama-c/utils.ts
#	ivette/src/frama-c/utils.tsx
#	ivette/src/renderer/Controller.tsx
#	src/plugins/server/kernel_ast.ml
#	src/plugins/server/kernel_ast.mli
#	src/plugins/server/server_socket.ml