Merge branch 'master' into 'feature/ivette/imprecision-graph'

.gitlab-ci.yml

Makefile

doc/code/docgen.ml

headers/header_spec.txt

ivette/api/kernel/ast/index.ts

ivette/api/plugins/eva/general/index.ts

ivette/api/plugins/eva/values/index.ts

ivette/package.json

ivette/src/dome/src/main/dome.js

ivette/src/dome/src/misc/devtools.js

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

ivette/src/dome/src/renderer/table/views.tsx

ivette/src/renderer/ASTview.tsx

ivette/src/renderer/Application.tsx

ivette/src/renderer/Values.tsx

ivette/tests/eva-2.i

ivette/yarn.lock

nix/default.nix

src/libraries/utils/utf8_logic.ml

src/libraries/utils/utf8_logic.mli