.gitlab-ci.yml

Changelog

Makefile

Makefile.generating

bin/frama-c-script

configure.in

doc/code/.gitignore

doc/developer/advance.tex

headers/header_spec.txt

ivette/.eslintrc.js

ivette/Makefile

ivette/api/kernel/ast/index.ts

ivette/api/plugins/dive/index.ts

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

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

ivette/api/server_tsc.ml

ivette/package.json

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

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

ivette/src/dome/src/misc/utils.ts