From a5590cdd9a4c0e2bdc29e3787c787c06a612d54b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr>
Date: Wed, 14 Apr 2021 18:13:30 +0200
Subject: [PATCH] [ivette] headers & distributed files
---
ivette/Makefile | 6 +-
ivette/Makefile.distrib | 199 ++++++++++++++++++
ivette/headers/header_spec.txt | 199 ++++++++++++++++++
ivette/src/dome/examples/Makefile | 22 ++
ivette/src/dome/main/dome.ts | 22 ++
ivette/src/dome/main/menubar.ts | 22 ++
ivette/src/dome/misc/devtools.js | 22 ++
ivette/src/dome/misc/register.js | 22 ++
ivette/src/dome/misc/system.ts | 22 ++
ivette/src/dome/misc/utils.ts | 22 ++
ivette/src/dome/renderer/controls/buttons.tsx | 22 ++
ivette/src/dome/renderer/controls/icons.tsx | 22 ++
ivette/src/dome/renderer/controls/labels.tsx | 22 ++
ivette/src/dome/renderer/data/compare.ts | 22 ++
ivette/src/dome/renderer/data/json.ts | 22 ++
ivette/src/dome/renderer/data/library.js | 22 ++
ivette/src/dome/renderer/data/settings.ts | 22 ++
ivette/src/dome/renderer/data/states.ts | 22 ++
ivette/src/dome/renderer/dialogs.tsx | 22 ++
ivette/src/dome/renderer/dnd.js | 22 ++
ivette/src/dome/renderer/dome.tsx | 22 ++
ivette/src/dome/renderer/errors.tsx | 22 ++
ivette/src/dome/renderer/frame/sidebars.tsx | 22 ++
ivette/src/dome/renderer/frame/tabs.tsx | 22 ++
ivette/src/dome/renderer/frame/toolbars.tsx | 22 ++
ivette/src/dome/renderer/layout/boxes.tsx | 22 ++
ivette/src/dome/renderer/layout/dispatch.tsx | 22 ++
ivette/src/dome/renderer/layout/forms.tsx | 22 ++
ivette/src/dome/renderer/layout/grids.js | 22 ++
ivette/src/dome/renderer/layout/splitters.tsx | 22 ++
ivette/src/dome/renderer/table/arrays.ts | 22 ++
ivette/src/dome/renderer/table/models.ts | 22 ++
ivette/src/dome/renderer/table/views.tsx | 22 ++
ivette/src/dome/renderer/text/buffers.ts | 22 ++
ivette/src/dome/renderer/text/editors.tsx | 22 ++
ivette/src/dome/renderer/text/pages.tsx | 22 ++
ivette/src/dome/template/Application.js | 22 ++
ivette/src/dome/template/Preferences.js | 22 ++
ivette/src/dome/template/main.js | 22 ++
ivette/src/dome/template/renderer.js | 22 ++
ivette/src/dome/template/webpack.main.js | 22 ++
ivette/src/dome/template/webpack.renderer.js | 22 ++
.../frama-c/api/generated/kernel/ast/index.ts | 22 ++
.../api/generated/kernel/data/index.ts | 22 ++
.../api/generated/kernel/project/index.ts | 22 ++
.../api/generated/kernel/properties/index.ts | 26 +++
.../api/generated/kernel/services/index.ts | 22 ++
.../api/generated/plugins/dive/index.ts | 22 ++
.../generated/plugins/eva/general/index.ts | 22 ++
.../api/generated/plugins/eva/values/index.ts | 22 ++
.../generated/plugins/studia/studia/index.ts | 22 ++
ivette/src/frama-c/index.tsx | 22 ++
ivette/src/frama-c/kernel/ASTinfo.tsx | 22 ++
ivette/src/frama-c/kernel/ASTview.tsx | 22 ++
ivette/src/frama-c/kernel/Globals.tsx | 22 ++
ivette/src/frama-c/kernel/History.tsx | 22 ++
ivette/src/frama-c/kernel/Locations.tsx | 22 ++
ivette/src/frama-c/kernel/Properties.tsx | 22 ++
ivette/src/frama-c/kernel/SourceCode.tsx | 22 ++
.../frama-c/plugins/dive/cytoscape_libs.js | 22 ++
ivette/src/frama-c/plugins/dive/index.tsx | 22 ++
.../plugins/dive/react-cytoscapejs.d.ts | 22 ++
ivette/src/frama-c/plugins/eva/cells.ts | 22 ++
ivette/src/frama-c/plugins/eva/diffed.tsx | 22 ++
ivette/src/frama-c/plugins/eva/index.tsx | 22 ++
ivette/src/frama-c/plugins/eva/layout.ts | 22 ++
ivette/src/frama-c/plugins/eva/model.ts | 22 ++
ivette/src/frama-c/plugins/eva/probeinfos.tsx | 22 ++
ivette/src/frama-c/plugins/eva/probes.ts | 22 ++
ivette/src/frama-c/plugins/eva/sized.tsx | 22 ++
ivette/src/frama-c/plugins/eva/stacks.ts | 22 ++
ivette/src/frama-c/plugins/eva/valueinfos.tsx | 22 ++
ivette/src/frama-c/plugins/eva/valuetable.tsx | 22 ++
ivette/src/frama-c/server.ts | 22 ++
ivette/src/frama-c/states.ts | 22 ++
ivette/src/frama-c/utils.ts | 22 ++
ivette/src/ivette/index.tsx | 22 ++
ivette/src/ivette/prefs.tsx | 22 ++
ivette/src/main/index.js | 22 ++
ivette/src/renderer/Application.tsx | 22 ++
ivette/src/renderer/Controller.tsx | 22 ++
ivette/src/renderer/Extensions.tsx | 22 ++
ivette/src/renderer/Laboratory.tsx | 22 ++
ivette/src/renderer/Preferences.tsx | 22 ++
ivette/src/renderer/index.js | 22 ++
ivette/webpack.main.js | 22 ++
ivette/webpack.renderer.js | 22 ++
87 files changed, 2255 insertions(+), 1 deletion(-)
create mode 100644 ivette/Makefile.distrib
diff --git a/ivette/Makefile b/ivette/Makefile
index 4cf1cea9e89..3773b4b8021 100644
--- a/ivette/Makefile
+++ b/ivette/Makefile
@@ -97,7 +97,11 @@ api:
@echo "[Ivette] Generating TypeScript API"
@rm -fr src/frama-c/api/generated
../bin/frama-c.byte -load-module src/frama-c/api/generator.ml -server-tsc
- @find src/frama-c/api/generated -name "*.ts" -exec chmod a-w {} \;
+ @find src/frama-c/api/generated -name "*.ts" \
+ -exec headache \
+ -h ../headers/open-source/CEA_LGPL \
+ -c ../headers/headache_config.txt {} \;\
+ -exec chmod a-w {} \;
# --------------------------------------------------------------------------
# --- Ivette Documentation
diff --git a/ivette/Makefile.distrib b/ivette/Makefile.distrib
new file mode 100644
index 00000000000..f07b25b563c
--- /dev/null
+++ b/ivette/Makefile.distrib
@@ -0,0 +1,199 @@
+DISTRIB_FILES += "ivette/.babelrc"
+DISTRIB_FILES += "ivette/.dome-pkg-app.lock"
+DISTRIB_FILES += "ivette/.dome-pkg-dev.lock"
+DISTRIB_FILES += "ivette/.eslintignore"
+DISTRIB_FILES += "ivette/.eslintrc.js"
+DISTRIB_FILES += "ivette/.gitignore"
+DISTRIB_FILES += "ivette/CONTRIBUTING.md"
+DISTRIB_FILES += "ivette/INSTALL.md"
+DISTRIB_FILES += "ivette/Makefile"
+DISTRIB_FILES += "ivette/README.md"
+DISTRIB_FILES += "ivette/configure.js"
+DISTRIB_FILES += "ivette/doc/pandoc/href.lua"
+DISTRIB_FILES += "ivette/doc/pandoc/index.json"
+DISTRIB_FILES += "ivette/doc/pandoc/template.html"
+DISTRIB_FILES += "ivette/electron-webpack.json"
+DISTRIB_FILES += "ivette/headers/header_spec.txt"
+DISTRIB_FILES += "ivette/headers/register.sh"
+DISTRIB_FILES += "ivette/package.json"
+DISTRIB_FILES += "ivette/src/dome/.gitignore"
+DISTRIB_FILES += "ivette/src/dome/CONTRIBUTING.md"
+DISTRIB_FILES += "ivette/src/dome/CONTRIBUTORS.md"
+DISTRIB_FILES += "ivette/src/dome/LICENSE.md"
+DISTRIB_FILES += "ivette/src/dome/README.md"
+DISTRIB_FILES += "ivette/src/dome/doc/README.md"
+DISTRIB_FILES += "ivette/src/dome/doc/config.json"
+DISTRIB_FILES += "ivette/src/dome/doc/gallery.css"
+DISTRIB_FILES += "ivette/src/dome/doc/guides/application.md"
+DISTRIB_FILES += "ivette/src/dome/doc/guides/development.md"
+DISTRIB_FILES += "ivette/src/dome/doc/guides/dome.md"
+DISTRIB_FILES += "ivette/src/dome/doc/guides/glossary.md"
+DISTRIB_FILES += "ivette/src/dome/doc/guides/hooks.md"
+DISTRIB_FILES += "ivette/src/dome/doc/guides/hotreload.md"
+DISTRIB_FILES += "ivette/src/dome/doc/guides/quickstart.md"
+DISTRIB_FILES += "ivette/src/dome/doc/guides/styling.md"
+DISTRIB_FILES += "ivette/src/dome/doc/icons.js"
+DISTRIB_FILES += "ivette/src/dome/doc/iconsmd.js"
+DISTRIB_FILES += "ivette/src/dome/doc/template/gallery-head.html"
+DISTRIB_FILES += "ivette/src/dome/doc/template/gallery-tail.html"
+DISTRIB_FILES += "ivette/src/dome/doc/template/publish.js"
+DISTRIB_FILES += "ivette/src/dome/doc/template/static/fonts/OpenSans-Bold-webfont.eot"
+DISTRIB_FILES += "ivette/src/dome/doc/template/static/fonts/OpenSans-Bold-webfont.svg"
+DISTRIB_FILES += "ivette/src/dome/doc/template/static/fonts/OpenSans-Bold-webfont.woff"
+DISTRIB_FILES += "ivette/src/dome/doc/template/static/fonts/OpenSans-BoldItalic-webfont.eot"
+DISTRIB_FILES += "ivette/src/dome/doc/template/static/fonts/OpenSans-BoldItalic-webfont.svg"
+DISTRIB_FILES += "ivette/src/dome/doc/template/static/fonts/OpenSans-BoldItalic-webfont.woff"
+DISTRIB_FILES += "ivette/src/dome/doc/template/static/fonts/OpenSans-Italic-webfont.eot"
+DISTRIB_FILES += "ivette/src/dome/doc/template/static/fonts/OpenSans-Italic-webfont.svg"
+DISTRIB_FILES += "ivette/src/dome/doc/template/static/fonts/OpenSans-Italic-webfont.woff"
+DISTRIB_FILES += "ivette/src/dome/doc/template/static/fonts/OpenSans-Light-webfont.eot"
+DISTRIB_FILES += "ivette/src/dome/doc/template/static/fonts/OpenSans-Light-webfont.svg"
+DISTRIB_FILES += "ivette/src/dome/doc/template/static/fonts/OpenSans-Light-webfont.woff"
+DISTRIB_FILES += "ivette/src/dome/doc/template/static/fonts/OpenSans-LightItalic-webfont.eot"
+DISTRIB_FILES += "ivette/src/dome/doc/template/static/fonts/OpenSans-LightItalic-webfont.svg"
+DISTRIB_FILES += "ivette/src/dome/doc/template/static/fonts/OpenSans-LightItalic-webfont.woff"
+DISTRIB_FILES += "ivette/src/dome/doc/template/static/fonts/OpenSans-Regular-webfont.eot"
+DISTRIB_FILES += "ivette/src/dome/doc/template/static/fonts/OpenSans-Regular-webfont.svg"
+DISTRIB_FILES += "ivette/src/dome/doc/template/static/fonts/OpenSans-Regular-webfont.woff"
+DISTRIB_FILES += "ivette/src/dome/doc/template/static/scripts/linenumber.js"
+DISTRIB_FILES += "ivette/src/dome/doc/template/static/scripts/prettify/Apache-License-2.0.txt"
+DISTRIB_FILES += "ivette/src/dome/doc/template/static/scripts/prettify/lang-css.js"
+DISTRIB_FILES += "ivette/src/dome/doc/template/static/scripts/prettify/prettify.js"
+DISTRIB_FILES += "ivette/src/dome/doc/template/static/styles/jsdoc-default.css"
+DISTRIB_FILES += "ivette/src/dome/doc/template/static/styles/prettify-jsdoc.css"
+DISTRIB_FILES += "ivette/src/dome/doc/template/static/styles/prettify-tomorrow.css"
+DISTRIB_FILES += "ivette/src/dome/doc/template/tmpl/augments.tmpl"
+DISTRIB_FILES += "ivette/src/dome/doc/template/tmpl/container.tmpl"
+DISTRIB_FILES += "ivette/src/dome/doc/template/tmpl/details.tmpl"
+DISTRIB_FILES += "ivette/src/dome/doc/template/tmpl/example.tmpl"
+DISTRIB_FILES += "ivette/src/dome/doc/template/tmpl/examples.tmpl"
+DISTRIB_FILES += "ivette/src/dome/doc/template/tmpl/exceptions.tmpl"
+DISTRIB_FILES += "ivette/src/dome/doc/template/tmpl/layout.tmpl"
+DISTRIB_FILES += "ivette/src/dome/doc/template/tmpl/mainpage.tmpl"
+DISTRIB_FILES += "ivette/src/dome/doc/template/tmpl/members.tmpl"
+DISTRIB_FILES += "ivette/src/dome/doc/template/tmpl/method.tmpl"
+DISTRIB_FILES += "ivette/src/dome/doc/template/tmpl/params.tmpl"
+DISTRIB_FILES += "ivette/src/dome/doc/template/tmpl/properties.tmpl"
+DISTRIB_FILES += "ivette/src/dome/doc/template/tmpl/returns.tmpl"
+DISTRIB_FILES += "ivette/src/dome/doc/template/tmpl/source.tmpl"
+DISTRIB_FILES += "ivette/src/dome/doc/template/tmpl/tutorial.tmpl"
+DISTRIB_FILES += "ivette/src/dome/doc/template/tmpl/type.tmpl"
+DISTRIB_FILES += "ivette/src/dome/examples/Makefile"
+DISTRIB_FILES += "ivette/src/dome/examples/README.md"
+DISTRIB_FILES += "ivette/src/dome/main/dome.ts"
+DISTRIB_FILES += "ivette/src/dome/main/menubar.ts"
+DISTRIB_FILES += "ivette/src/dome/misc/devtools.js"
+DISTRIB_FILES += "ivette/src/dome/misc/register.js"
+DISTRIB_FILES += "ivette/src/dome/misc/system.ts"
+DISTRIB_FILES += "ivette/src/dome/misc/utils.ts"
+DISTRIB_FILES += "ivette/src/dome/renderer/controls/buttons.tsx"
+DISTRIB_FILES += "ivette/src/dome/renderer/controls/gallery.json"
+DISTRIB_FILES += "ivette/src/dome/renderer/controls/icons.tsx"
+DISTRIB_FILES += "ivette/src/dome/renderer/controls/labels.tsx"
+DISTRIB_FILES += "ivette/src/dome/renderer/controls/style.css"
+DISTRIB_FILES += "ivette/src/dome/renderer/data/compare.ts"
+DISTRIB_FILES += "ivette/src/dome/renderer/data/json.ts"
+DISTRIB_FILES += "ivette/src/dome/renderer/data/library.js"
+DISTRIB_FILES += "ivette/src/dome/renderer/data/settings.ts"
+DISTRIB_FILES += "ivette/src/dome/renderer/data/states.ts"
+DISTRIB_FILES += "ivette/src/dome/renderer/dialogs.tsx"
+DISTRIB_FILES += "ivette/src/dome/renderer/dnd.js"
+DISTRIB_FILES += "ivette/src/dome/renderer/dome.tsx"
+DISTRIB_FILES += "ivette/src/dome/renderer/errors.tsx"
+DISTRIB_FILES += "ivette/src/dome/renderer/frame/sidebars.tsx"
+DISTRIB_FILES += "ivette/src/dome/renderer/frame/style.css"
+DISTRIB_FILES += "ivette/src/dome/renderer/frame/tabs.tsx"
+DISTRIB_FILES += "ivette/src/dome/renderer/frame/toolbars.tsx"
+DISTRIB_FILES += "ivette/src/dome/renderer/layout/boxes.tsx"
+DISTRIB_FILES += "ivette/src/dome/renderer/layout/dispatch.tsx"
+DISTRIB_FILES += "ivette/src/dome/renderer/layout/forms.tsx"
+DISTRIB_FILES += "ivette/src/dome/renderer/layout/grids.js"
+DISTRIB_FILES += "ivette/src/dome/renderer/layout/splitters.tsx"
+DISTRIB_FILES += "ivette/src/dome/renderer/layout/style.css"
+DISTRIB_FILES += "ivette/src/dome/renderer/style.css"
+DISTRIB_FILES += "ivette/src/dome/renderer/table/arrays.ts"
+DISTRIB_FILES += "ivette/src/dome/renderer/table/models.ts"
+DISTRIB_FILES += "ivette/src/dome/renderer/table/style.css"
+DISTRIB_FILES += "ivette/src/dome/renderer/table/views.tsx"
+DISTRIB_FILES += "ivette/src/dome/renderer/text/buffers.ts"
+DISTRIB_FILES += "ivette/src/dome/renderer/text/editors.tsx"
+DISTRIB_FILES += "ivette/src/dome/renderer/text/pages.tsx"
+DISTRIB_FILES += "ivette/src/dome/renderer/text/style.css"
+DISTRIB_FILES += "ivette/src/dome/template/Application.js"
+DISTRIB_FILES += "ivette/src/dome/template/Preferences.js"
+DISTRIB_FILES += "ivette/src/dome/template/babelrc.json"
+DISTRIB_FILES += "ivette/src/dome/template/dome-pull.sh"
+DISTRIB_FILES += "ivette/src/dome/template/dome-push.sh"
+DISTRIB_FILES += "ivette/src/dome/template/electron-webpack.json"
+DISTRIB_FILES += "ivette/src/dome/template/export.sh"
+DISTRIB_FILES += "ivette/src/dome/template/git-ignore"
+DISTRIB_FILES += "ivette/src/dome/template/main.js"
+DISTRIB_FILES += "ivette/src/dome/template/makefile"
+DISTRIB_FILES += "ivette/src/dome/template/makefile.app.packages"
+DISTRIB_FILES += "ivette/src/dome/template/makefile.packages"
+DISTRIB_FILES += "ivette/src/dome/template/package.sh"
+DISTRIB_FILES += "ivette/src/dome/template/renderer.js"
+DISTRIB_FILES += "ivette/src/dome/template/typescript.el"
+DISTRIB_FILES += "ivette/src/dome/template/update.sh"
+DISTRIB_FILES += "ivette/src/dome/template/webpack.main.js"
+DISTRIB_FILES += "ivette/src/dome/template/webpack.renderer.js"
+DISTRIB_FILES += "ivette/src/frama-c/api/generated/kernel/ast/index.ts"
+DISTRIB_FILES += "ivette/src/frama-c/api/generated/kernel/data/index.ts"
+DISTRIB_FILES += "ivette/src/frama-c/api/generated/kernel/project/index.ts"
+DISTRIB_FILES += "ivette/src/frama-c/api/generated/kernel/properties/index.ts"
+DISTRIB_FILES += "ivette/src/frama-c/api/generated/kernel/services/index.ts"
+DISTRIB_FILES += "ivette/src/frama-c/api/generated/plugins/dive/index.ts"
+DISTRIB_FILES += "ivette/src/frama-c/api/generated/plugins/eva/general/index.ts"
+DISTRIB_FILES += "ivette/src/frama-c/api/generated/plugins/eva/values/index.ts"
+DISTRIB_FILES += "ivette/src/frama-c/api/generated/plugins/studia/studia/index.ts"
+DISTRIB_FILES += "ivette/src/frama-c/api/generator.ml"
+DISTRIB_FILES += "ivette/src/frama-c/index.tsx"
+DISTRIB_FILES += "ivette/src/frama-c/kernel/ASTinfo.tsx"
+DISTRIB_FILES += "ivette/src/frama-c/kernel/ASTview.tsx"
+DISTRIB_FILES += "ivette/src/frama-c/kernel/Globals.tsx"
+DISTRIB_FILES += "ivette/src/frama-c/kernel/History.tsx"
+DISTRIB_FILES += "ivette/src/frama-c/kernel/Locations.tsx"
+DISTRIB_FILES += "ivette/src/frama-c/kernel/Properties.tsx"
+DISTRIB_FILES += "ivette/src/frama-c/kernel/SourceCode.tsx"
+DISTRIB_FILES += "ivette/src/frama-c/kernel/style.css"
+DISTRIB_FILES += "ivette/src/frama-c/pkg.json"
+DISTRIB_FILES += "ivette/src/frama-c/plugins/dive/cytoscape_libs.js"
+DISTRIB_FILES += "ivette/src/frama-c/plugins/dive/index.tsx"
+DISTRIB_FILES += "ivette/src/frama-c/plugins/dive/layouts.json"
+DISTRIB_FILES += "ivette/src/frama-c/plugins/dive/pkg.json"
+DISTRIB_FILES += "ivette/src/frama-c/plugins/dive/react-cytoscapejs.d.ts"
+DISTRIB_FILES += "ivette/src/frama-c/plugins/dive/style.json"
+DISTRIB_FILES += "ivette/src/frama-c/plugins/dive/tippy.css"
+DISTRIB_FILES += "ivette/src/frama-c/plugins/eva/cells.ts"
+DISTRIB_FILES += "ivette/src/frama-c/plugins/eva/diffed.tsx"
+DISTRIB_FILES += "ivette/src/frama-c/plugins/eva/index.tsx"
+DISTRIB_FILES += "ivette/src/frama-c/plugins/eva/layout.ts"
+DISTRIB_FILES += "ivette/src/frama-c/plugins/eva/model.ts"
+DISTRIB_FILES += "ivette/src/frama-c/plugins/eva/pkg.json"
+DISTRIB_FILES += "ivette/src/frama-c/plugins/eva/probeinfos.tsx"
+DISTRIB_FILES += "ivette/src/frama-c/plugins/eva/probes.ts"
+DISTRIB_FILES += "ivette/src/frama-c/plugins/eva/sized.tsx"
+DISTRIB_FILES += "ivette/src/frama-c/plugins/eva/stacks.ts"
+DISTRIB_FILES += "ivette/src/frama-c/plugins/eva/style.css"
+DISTRIB_FILES += "ivette/src/frama-c/plugins/eva/valueinfos.tsx"
+DISTRIB_FILES += "ivette/src/frama-c/plugins/eva/valuetable.tsx"
+DISTRIB_FILES += "ivette/src/frama-c/server.ts"
+DISTRIB_FILES += "ivette/src/frama-c/states.ts"
+DISTRIB_FILES += "ivette/src/frama-c/utils.ts"
+DISTRIB_FILES += "ivette/src/ivette/index.tsx"
+DISTRIB_FILES += "ivette/src/ivette/prefs.tsx"
+DISTRIB_FILES += "ivette/src/main/index.js"
+DISTRIB_FILES += "ivette/src/renderer/Application.tsx"
+DISTRIB_FILES += "ivette/src/renderer/Controller.tsx"
+DISTRIB_FILES += "ivette/src/renderer/Extensions.tsx"
+DISTRIB_FILES += "ivette/src/renderer/Laboratory.tsx"
+DISTRIB_FILES += "ivette/src/renderer/Preferences.tsx"
+DISTRIB_FILES += "ivette/src/renderer/index.js"
+DISTRIB_FILES += "ivette/src/renderer/style.css"
+DISTRIB_FILES += "ivette/tests/eva-1.i"
+DISTRIB_FILES += "ivette/tests/eva-2.i"
+DISTRIB_FILES += "ivette/tsconfig.json"
+DISTRIB_FILES += "ivette/tsfmt.json"
+DISTRIB_FILES += "ivette/webpack.main.js"
+DISTRIB_FILES += "ivette/webpack.renderer.js"
+DISTRIB_FILES += "ivette/yarn.lock"
diff --git a/ivette/headers/header_spec.txt b/ivette/headers/header_spec.txt
index e69de29bb2d..891eabe4251 100644
--- a/ivette/headers/header_spec.txt
+++ b/ivette/headers/header_spec.txt
@@ -0,0 +1,199 @@
+.babelrc: .ignore
+.dome-pkg-app.lock: .ignore
+.dome-pkg-dev.lock: .ignore
+.eslintignore: .ignore
+.eslintrc.js: .ignore
+.gitignore: .ignore
+CONTRIBUTING.md: .ignore
+INSTALL.md: .ignore
+Makefile: CEA_LGPL
+README.md: .ignore
+configure.js: .ignore
+doc/pandoc/href.lua: .ignore
+doc/pandoc/index.json: .ignore
+doc/pandoc/template.html: .ignore
+electron-webpack.json: .ignore
+headers/header_spec.txt: .ignore
+headers/register.sh: .ignore
+package.json: .ignore
+src/dome/.gitignore: .ignore
+src/dome/CONTRIBUTING.md: .ignore
+src/dome/CONTRIBUTORS.md: .ignore
+src/dome/LICENSE.md: .ignore
+src/dome/README.md: .ignore
+src/dome/doc/README.md: .ignore
+src/dome/doc/config.json: .ignore
+src/dome/doc/gallery.css: .ignore
+src/dome/doc/guides/application.md: .ignore
+src/dome/doc/guides/development.md: .ignore
+src/dome/doc/guides/dome.md: .ignore
+src/dome/doc/guides/glossary.md: .ignore
+src/dome/doc/guides/hooks.md: .ignore
+src/dome/doc/guides/hotreload.md: .ignore
+src/dome/doc/guides/quickstart.md: .ignore
+src/dome/doc/guides/styling.md: .ignore
+src/dome/doc/icons.js: .ignore
+src/dome/doc/iconsmd.js: .ignore
+src/dome/doc/template/gallery-head.html: .ignore
+src/dome/doc/template/gallery-tail.html: .ignore
+src/dome/doc/template/publish.js: .ignore
+src/dome/doc/template/static/fonts/OpenSans-Bold-webfont.eot: .ignore
+src/dome/doc/template/static/fonts/OpenSans-Bold-webfont.svg: .ignore
+src/dome/doc/template/static/fonts/OpenSans-Bold-webfont.woff: .ignore
+src/dome/doc/template/static/fonts/OpenSans-BoldItalic-webfont.eot: .ignore
+src/dome/doc/template/static/fonts/OpenSans-BoldItalic-webfont.svg: .ignore
+src/dome/doc/template/static/fonts/OpenSans-BoldItalic-webfont.woff: .ignore
+src/dome/doc/template/static/fonts/OpenSans-Italic-webfont.eot: .ignore
+src/dome/doc/template/static/fonts/OpenSans-Italic-webfont.svg: .ignore
+src/dome/doc/template/static/fonts/OpenSans-Italic-webfont.woff: .ignore
+src/dome/doc/template/static/fonts/OpenSans-Light-webfont.eot: .ignore
+src/dome/doc/template/static/fonts/OpenSans-Light-webfont.svg: .ignore
+src/dome/doc/template/static/fonts/OpenSans-Light-webfont.woff: .ignore
+src/dome/doc/template/static/fonts/OpenSans-LightItalic-webfont.eot: .ignore
+src/dome/doc/template/static/fonts/OpenSans-LightItalic-webfont.svg: .ignore
+src/dome/doc/template/static/fonts/OpenSans-LightItalic-webfont.woff: .ignore
+src/dome/doc/template/static/fonts/OpenSans-Regular-webfont.eot: .ignore
+src/dome/doc/template/static/fonts/OpenSans-Regular-webfont.svg: .ignore
+src/dome/doc/template/static/fonts/OpenSans-Regular-webfont.woff: .ignore
+src/dome/doc/template/static/scripts/linenumber.js: .ignore
+src/dome/doc/template/static/scripts/prettify/Apache-License-2.0.txt: .ignore
+src/dome/doc/template/static/scripts/prettify/lang-css.js: .ignore
+src/dome/doc/template/static/scripts/prettify/prettify.js: .ignore
+src/dome/doc/template/static/styles/jsdoc-default.css: .ignore
+src/dome/doc/template/static/styles/prettify-jsdoc.css: .ignore
+src/dome/doc/template/static/styles/prettify-tomorrow.css: .ignore
+src/dome/doc/template/tmpl/augments.tmpl: .ignore
+src/dome/doc/template/tmpl/container.tmpl: .ignore
+src/dome/doc/template/tmpl/details.tmpl: .ignore
+src/dome/doc/template/tmpl/example.tmpl: .ignore
+src/dome/doc/template/tmpl/examples.tmpl: .ignore
+src/dome/doc/template/tmpl/exceptions.tmpl: .ignore
+src/dome/doc/template/tmpl/layout.tmpl: .ignore
+src/dome/doc/template/tmpl/mainpage.tmpl: .ignore
+src/dome/doc/template/tmpl/members.tmpl: .ignore
+src/dome/doc/template/tmpl/method.tmpl: .ignore
+src/dome/doc/template/tmpl/params.tmpl: .ignore
+src/dome/doc/template/tmpl/properties.tmpl: .ignore
+src/dome/doc/template/tmpl/returns.tmpl: .ignore
+src/dome/doc/template/tmpl/source.tmpl: .ignore
+src/dome/doc/template/tmpl/tutorial.tmpl: .ignore
+src/dome/doc/template/tmpl/type.tmpl: .ignore
+src/dome/examples/Makefile: CEA_LGPL
+src/dome/examples/README.md: .ignore
+src/dome/main/dome.ts: CEA_LGPL
+src/dome/main/menubar.ts: CEA_LGPL
+src/dome/misc/devtools.js: CEA_LGPL
+src/dome/misc/register.js: CEA_LGPL
+src/dome/misc/system.ts: CEA_LGPL
+src/dome/misc/utils.ts: CEA_LGPL
+src/dome/renderer/controls/buttons.tsx: CEA_LGPL
+src/dome/renderer/controls/gallery.json: .ignore
+src/dome/renderer/controls/icons.tsx: CEA_LGPL
+src/dome/renderer/controls/labels.tsx: CEA_LGPL
+src/dome/renderer/controls/style.css: .ignore
+src/dome/renderer/data/compare.ts: CEA_LGPL
+src/dome/renderer/data/json.ts: CEA_LGPL
+src/dome/renderer/data/library.js: CEA_LGPL
+src/dome/renderer/data/settings.ts: CEA_LGPL
+src/dome/renderer/data/states.ts: CEA_LGPL
+src/dome/renderer/dialogs.tsx: CEA_LGPL
+src/dome/renderer/dnd.js: CEA_LGPL
+src/dome/renderer/dome.tsx: CEA_LGPL
+src/dome/renderer/errors.tsx: CEA_LGPL
+src/dome/renderer/frame/sidebars.tsx: CEA_LGPL
+src/dome/renderer/frame/style.css: .ignore
+src/dome/renderer/frame/tabs.tsx: CEA_LGPL
+src/dome/renderer/frame/toolbars.tsx: CEA_LGPL
+src/dome/renderer/layout/boxes.tsx: CEA_LGPL
+src/dome/renderer/layout/dispatch.tsx: CEA_LGPL
+src/dome/renderer/layout/forms.tsx: CEA_LGPL
+src/dome/renderer/layout/grids.js: CEA_LGPL
+src/dome/renderer/layout/splitters.tsx: CEA_LGPL
+src/dome/renderer/layout/style.css: .ignore
+src/dome/renderer/style.css: .ignore
+src/dome/renderer/table/arrays.ts: CEA_LGPL
+src/dome/renderer/table/models.ts: CEA_LGPL
+src/dome/renderer/table/style.css: .ignore
+src/dome/renderer/table/views.tsx: CEA_LGPL
+src/dome/renderer/text/buffers.ts: CEA_LGPL
+src/dome/renderer/text/editors.tsx: CEA_LGPL
+src/dome/renderer/text/pages.tsx: CEA_LGPL
+src/dome/renderer/text/style.css: .ignore
+src/dome/template/Application.js: CEA_LGPL
+src/dome/template/Preferences.js: CEA_LGPL
+src/dome/template/babelrc.json: .ignore
+src/dome/template/dome-pull.sh: .ignore
+src/dome/template/dome-push.sh: .ignore
+src/dome/template/electron-webpack.json: .ignore
+src/dome/template/export.sh: .ignore
+src/dome/template/git-ignore: .ignore
+src/dome/template/main.js: CEA_LGPL
+src/dome/template/makefile: .ignore
+src/dome/template/makefile.app.packages: .ignore
+src/dome/template/makefile.packages: .ignore
+src/dome/template/package.sh: .ignore
+src/dome/template/renderer.js: CEA_LGPL
+src/dome/template/typescript.el: .ignore
+src/dome/template/update.sh: .ignore
+src/dome/template/webpack.main.js: CEA_LGPL
+src/dome/template/webpack.renderer.js: CEA_LGPL
+src/frama-c/api/generated/kernel/ast/index.ts: CEA_LGPL
+src/frama-c/api/generated/kernel/data/index.ts: CEA_LGPL
+src/frama-c/api/generated/kernel/project/index.ts: CEA_LGPL
+src/frama-c/api/generated/kernel/properties/index.ts: CEA_LGPL
+src/frama-c/api/generated/kernel/services/index.ts: CEA_LGPL
+src/frama-c/api/generated/plugins/dive/index.ts: CEA_LGPL
+src/frama-c/api/generated/plugins/eva/general/index.ts: CEA_LGPL
+src/frama-c/api/generated/plugins/eva/values/index.ts: CEA_LGPL
+src/frama-c/api/generated/plugins/studia/studia/index.ts: CEA_LGPL
+src/frama-c/api/generator.ml: .ignore
+src/frama-c/index.tsx: CEA_LGPL
+src/frama-c/kernel/ASTinfo.tsx: CEA_LGPL
+src/frama-c/kernel/ASTview.tsx: CEA_LGPL
+src/frama-c/kernel/Globals.tsx: CEA_LGPL
+src/frama-c/kernel/History.tsx: CEA_LGPL
+src/frama-c/kernel/Locations.tsx: CEA_LGPL
+src/frama-c/kernel/Properties.tsx: CEA_LGPL
+src/frama-c/kernel/SourceCode.tsx: CEA_LGPL
+src/frama-c/kernel/style.css: .ignore
+src/frama-c/pkg.json: .ignore
+src/frama-c/plugins/dive/cytoscape_libs.js: CEA_LGPL
+src/frama-c/plugins/dive/index.tsx: CEA_LGPL
+src/frama-c/plugins/dive/layouts.json: .ignore
+src/frama-c/plugins/dive/pkg.json: .ignore
+src/frama-c/plugins/dive/react-cytoscapejs.d.ts: CEA_LGPL
+src/frama-c/plugins/dive/style.json: .ignore
+src/frama-c/plugins/dive/tippy.css: .ignore
+src/frama-c/plugins/eva/cells.ts: CEA_LGPL
+src/frama-c/plugins/eva/diffed.tsx: CEA_LGPL
+src/frama-c/plugins/eva/index.tsx: CEA_LGPL
+src/frama-c/plugins/eva/layout.ts: CEA_LGPL
+src/frama-c/plugins/eva/model.ts: CEA_LGPL
+src/frama-c/plugins/eva/pkg.json: .ignore
+src/frama-c/plugins/eva/probeinfos.tsx: CEA_LGPL
+src/frama-c/plugins/eva/probes.ts: CEA_LGPL
+src/frama-c/plugins/eva/sized.tsx: CEA_LGPL
+src/frama-c/plugins/eva/stacks.ts: CEA_LGPL
+src/frama-c/plugins/eva/style.css: .ignore
+src/frama-c/plugins/eva/valueinfos.tsx: CEA_LGPL
+src/frama-c/plugins/eva/valuetable.tsx: CEA_LGPL
+src/frama-c/server.ts: CEA_LGPL
+src/frama-c/states.ts: CEA_LGPL
+src/frama-c/utils.ts: CEA_LGPL
+src/ivette/index.tsx: CEA_LGPL
+src/ivette/prefs.tsx: CEA_LGPL
+src/main/index.js: CEA_LGPL
+src/renderer/Application.tsx: CEA_LGPL
+src/renderer/Controller.tsx: CEA_LGPL
+src/renderer/Extensions.tsx: CEA_LGPL
+src/renderer/Laboratory.tsx: CEA_LGPL
+src/renderer/Preferences.tsx: CEA_LGPL
+src/renderer/index.js: CEA_LGPL
+src/renderer/style.css: .ignore
+tests/eva-1.i: .ignore
+tests/eva-2.i: .ignore
+tsconfig.json: .ignore
+tsfmt.json: .ignore
+webpack.main.js: .ignore
+webpack.renderer.js: .ignore
+yarn.lock: .ignore
diff --git a/ivette/src/dome/examples/Makefile b/ivette/src/dome/examples/Makefile
index 91d1bf27385..282fec67f35 100644
--- a/ivette/src/dome/examples/Makefile
+++ b/ivette/src/dome/examples/Makefile
@@ -1,3 +1,25 @@
+##########################################################################
+# #
+# This file is part of Frama-C. #
+# #
+# Copyright (C) 2007-2021 #
+# CEA (Commissariat à l'énergie atomique et aux énergies #
+# alternatives) #
+# #
+# you can redistribute it and/or modify it under the terms of the GNU #
+# Lesser General Public License as published by the Free Software #
+# Foundation, version 2.1. #
+# #
+# It is distributed in the hope that it will be useful, #
+# but WITHOUT ANY WARRANTY; without even the implied warranty of #
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the #
+# GNU Lesser General Public License for more details. #
+# #
+# See the GNU Lesser General Public License version 2.1 #
+# for more details (enclosed in the file licenses/LGPLv2.1). #
+# #
+##########################################################################
+
# --------------------------------------------------------------------------
help:
@echo "*****************************************"
diff --git a/ivette/src/dome/main/dome.ts b/ivette/src/dome/main/dome.ts
index d4ee1916ce8..f934315bc13 100644
--- a/ivette/src/dome/main/dome.ts
+++ b/ivette/src/dome/main/dome.ts
@@ -1,3 +1,25 @@
+/* ************************************************************************ */
+/* */
+/* This file is part of Frama-C. */
+/* */
+/* Copyright (C) 2007-2021 */
+/* CEA (Commissariat à l'énergie atomique et aux énergies */
+/* alternatives) */
+/* */
+/* you can redistribute it and/or modify it under the terms of the GNU */
+/* Lesser General Public License as published by the Free Software */
+/* Foundation, version 2.1. */
+/* */
+/* It is distributed in the hope that it will be useful, */
+/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
+/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
+/* GNU Lesser General Public License for more details. */
+/* */
+/* See the GNU Lesser General Public License version 2.1 */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
+/* ************************************************************************ */
+
/**
## Dome Application (Main Process)
diff --git a/ivette/src/dome/main/menubar.ts b/ivette/src/dome/main/menubar.ts
index 5ca2f7ed903..d22df5c443e 100644
--- a/ivette/src/dome/main/menubar.ts
+++ b/ivette/src/dome/main/menubar.ts
@@ -1,3 +1,25 @@
+/* ************************************************************************ */
+/* */
+/* This file is part of Frama-C. */
+/* */
+/* Copyright (C) 2007-2021 */
+/* CEA (Commissariat à l'énergie atomique et aux énergies */
+/* alternatives) */
+/* */
+/* you can redistribute it and/or modify it under the terms of the GNU */
+/* Lesser General Public License as published by the Free Software */
+/* Foundation, version 2.1. */
+/* */
+/* It is distributed in the hope that it will be useful, */
+/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
+/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
+/* GNU Lesser General Public License for more details. */
+/* */
+/* See the GNU Lesser General Public License version 2.1 */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
+/* ************************************************************************ */
+
// --------------------------------------------------------------------------
// --- Menus & MenuBar Management
// --------------------------------------------------------------------------
diff --git a/ivette/src/dome/misc/devtools.js b/ivette/src/dome/misc/devtools.js
index 8042675a83d..cc191803243 100644
--- a/ivette/src/dome/misc/devtools.js
+++ b/ivette/src/dome/misc/devtools.js
@@ -1,3 +1,25 @@
+/* ************************************************************************ */
+/* */
+/* This file is part of Frama-C. */
+/* */
+/* Copyright (C) 2007-2021 */
+/* CEA (Commissariat à l'énergie atomique et aux énergies */
+/* alternatives) */
+/* */
+/* you can redistribute it and/or modify it under the terms of the GNU */
+/* Lesser General Public License as published by the Free Software */
+/* Foundation, version 2.1. */
+/* */
+/* It is distributed in the hope that it will be useful, */
+/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
+/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
+/* GNU Lesser General Public License for more details. */
+/* */
+/* See the GNU Lesser General Public License version 2.1 */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
+/* ************************************************************************ */
+
// --------------------------------------------------------------------------
// --- Dummy clone of electron-dev-installer
// --------------------------------------------------------------------------
diff --git a/ivette/src/dome/misc/register.js b/ivette/src/dome/misc/register.js
index ceeba36f4e8..4675e5d8cd1 100644
--- a/ivette/src/dome/misc/register.js
+++ b/ivette/src/dome/misc/register.js
@@ -1,3 +1,25 @@
+/* ************************************************************************ */
+/* */
+/* This file is part of Frama-C. */
+/* */
+/* Copyright (C) 2007-2021 */
+/* CEA (Commissariat à l'énergie atomique et aux énergies */
+/* alternatives) */
+/* */
+/* you can redistribute it and/or modify it under the terms of the GNU */
+/* Lesser General Public License as published by the Free Software */
+/* Foundation, version 2.1. */
+/* */
+/* It is distributed in the hope that it will be useful, */
+/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
+/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
+/* GNU Lesser General Public License for more details. */
+/* */
+/* See the GNU Lesser General Public License version 2.1 */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
+/* ************************************************************************ */
+
// --------------------------------------------------------------------------
// --- Dome Classes
// --------------------------------------------------------------------------
diff --git a/ivette/src/dome/misc/system.ts b/ivette/src/dome/misc/system.ts
index a2eada5dc58..b43e52c2b7a 100644
--- a/ivette/src/dome/misc/system.ts
+++ b/ivette/src/dome/misc/system.ts
@@ -1,3 +1,25 @@
+/* ************************************************************************ */
+/* */
+/* This file is part of Frama-C. */
+/* */
+/* Copyright (C) 2007-2021 */
+/* CEA (Commissariat à l'énergie atomique et aux énergies */
+/* alternatives) */
+/* */
+/* you can redistribute it and/or modify it under the terms of the GNU */
+/* Lesser General Public License as published by the Free Software */
+/* Foundation, version 2.1. */
+/* */
+/* It is distributed in the hope that it will be useful, */
+/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
+/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
+/* GNU Lesser General Public License for more details. */
+/* */
+/* See the GNU Lesser General Public License version 2.1 */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
+/* ************************************************************************ */
+
/**
@packageDocumentation
@module dome/system
diff --git a/ivette/src/dome/misc/utils.ts b/ivette/src/dome/misc/utils.ts
index 9dbd931ae2c..b15ff61229e 100644
--- a/ivette/src/dome/misc/utils.ts
+++ b/ivette/src/dome/misc/utils.ts
@@ -1,3 +1,25 @@
+/* ************************************************************************ */
+/* */
+/* This file is part of Frama-C. */
+/* */
+/* Copyright (C) 2007-2021 */
+/* CEA (Commissariat à l'énergie atomique et aux énergies */
+/* alternatives) */
+/* */
+/* you can redistribute it and/or modify it under the terms of the GNU */
+/* Lesser General Public License as published by the Free Software */
+/* Foundation, version 2.1. */
+/* */
+/* It is distributed in the hope that it will be useful, */
+/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
+/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
+/* GNU Lesser General Public License for more details. */
+/* */
+/* See the GNU Lesser General Public License version 2.1 */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
+/* ************************************************************************ */
+
// --------------------------------------------------------------------------
// --- Utilities
// --------------------------------------------------------------------------
diff --git a/ivette/src/dome/renderer/controls/buttons.tsx b/ivette/src/dome/renderer/controls/buttons.tsx
index 871c37c1221..85e2b5a79f4 100644
--- a/ivette/src/dome/renderer/controls/buttons.tsx
+++ b/ivette/src/dome/renderer/controls/buttons.tsx
@@ -1,3 +1,25 @@
+/* ************************************************************************ */
+/* */
+/* This file is part of Frama-C. */
+/* */
+/* Copyright (C) 2007-2021 */
+/* CEA (Commissariat à l'énergie atomique et aux énergies */
+/* alternatives) */
+/* */
+/* you can redistribute it and/or modify it under the terms of the GNU */
+/* Lesser General Public License as published by the Free Software */
+/* Foundation, version 2.1. */
+/* */
+/* It is distributed in the hope that it will be useful, */
+/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
+/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
+/* GNU Lesser General Public License for more details. */
+/* */
+/* See the GNU Lesser General Public License version 2.1 */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
+/* ************************************************************************ */
+
// --------------------------------------------------------------------------
// --- Buttons, Check Boxes and Radio Groups
// --------------------------------------------------------------------------
diff --git a/ivette/src/dome/renderer/controls/icons.tsx b/ivette/src/dome/renderer/controls/icons.tsx
index d6547bf5a8d..14017179215 100644
--- a/ivette/src/dome/renderer/controls/icons.tsx
+++ b/ivette/src/dome/renderer/controls/icons.tsx
@@ -1,3 +1,25 @@
+/* ************************************************************************ */
+/* */
+/* This file is part of Frama-C. */
+/* */
+/* Copyright (C) 2007-2021 */
+/* CEA (Commissariat à l'énergie atomique et aux énergies */
+/* alternatives) */
+/* */
+/* you can redistribute it and/or modify it under the terms of the GNU */
+/* Lesser General Public License as published by the Free Software */
+/* Foundation, version 2.1. */
+/* */
+/* It is distributed in the hope that it will be useful, */
+/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
+/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
+/* GNU Lesser General Public License for more details. */
+/* */
+/* See the GNU Lesser General Public License version 2.1 */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
+/* ************************************************************************ */
+
// --------------------------------------------------------------------------
// --- SVG Icons
// --------------------------------------------------------------------------
diff --git a/ivette/src/dome/renderer/controls/labels.tsx b/ivette/src/dome/renderer/controls/labels.tsx
index ca1630fc302..57b820409dc 100644
--- a/ivette/src/dome/renderer/controls/labels.tsx
+++ b/ivette/src/dome/renderer/controls/labels.tsx
@@ -1,3 +1,25 @@
+/* ************************************************************************ */
+/* */
+/* This file is part of Frama-C. */
+/* */
+/* Copyright (C) 2007-2021 */
+/* CEA (Commissariat à l'énergie atomique et aux énergies */
+/* alternatives) */
+/* */
+/* you can redistribute it and/or modify it under the terms of the GNU */
+/* Lesser General Public License as published by the Free Software */
+/* Foundation, version 2.1. */
+/* */
+/* It is distributed in the hope that it will be useful, */
+/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
+/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
+/* GNU Lesser General Public License for more details. */
+/* */
+/* See the GNU Lesser General Public License version 2.1 */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
+/* ************************************************************************ */
+
// --------------------------------------------------------------------------
// --- Labels
// --------------------------------------------------------------------------
diff --git a/ivette/src/dome/renderer/data/compare.ts b/ivette/src/dome/renderer/data/compare.ts
index 337be8717b3..26dc1795672 100644
--- a/ivette/src/dome/renderer/data/compare.ts
+++ b/ivette/src/dome/renderer/data/compare.ts
@@ -1,3 +1,25 @@
+/* ************************************************************************ */
+/* */
+/* This file is part of Frama-C. */
+/* */
+/* Copyright (C) 2007-2021 */
+/* CEA (Commissariat à l'énergie atomique et aux énergies */
+/* alternatives) */
+/* */
+/* you can redistribute it and/or modify it under the terms of the GNU */
+/* Lesser General Public License as published by the Free Software */
+/* Foundation, version 2.1. */
+/* */
+/* It is distributed in the hope that it will be useful, */
+/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
+/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
+/* GNU Lesser General Public License for more details. */
+/* */
+/* See the GNU Lesser General Public License version 2.1 */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
+/* ************************************************************************ */
+
// --------------------------------------------------------------------------
// --- Comparison Utilities
// --------------------------------------------------------------------------
diff --git a/ivette/src/dome/renderer/data/json.ts b/ivette/src/dome/renderer/data/json.ts
index 76f304999bf..b848fc16710 100644
--- a/ivette/src/dome/renderer/data/json.ts
+++ b/ivette/src/dome/renderer/data/json.ts
@@ -1,3 +1,25 @@
+/* ************************************************************************ */
+/* */
+/* This file is part of Frama-C. */
+/* */
+/* Copyright (C) 2007-2021 */
+/* CEA (Commissariat à l'énergie atomique et aux énergies */
+/* alternatives) */
+/* */
+/* you can redistribute it and/or modify it under the terms of the GNU */
+/* Lesser General Public License as published by the Free Software */
+/* Foundation, version 2.1. */
+/* */
+/* It is distributed in the hope that it will be useful, */
+/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
+/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
+/* GNU Lesser General Public License for more details. */
+/* */
+/* See the GNU Lesser General Public License version 2.1 */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
+/* ************************************************************************ */
+
// --------------------------------------------------------------------------
// --- JSON Utilities
// --------------------------------------------------------------------------
diff --git a/ivette/src/dome/renderer/data/library.js b/ivette/src/dome/renderer/data/library.js
index e175217eced..c3f06923834 100644
--- a/ivette/src/dome/renderer/data/library.js
+++ b/ivette/src/dome/renderer/data/library.js
@@ -1,3 +1,25 @@
+/* ************************************************************************ */
+/* */
+/* This file is part of Frama-C. */
+/* */
+/* Copyright (C) 2007-2021 */
+/* CEA (Commissariat à l'énergie atomique et aux énergies */
+/* alternatives) */
+/* */
+/* you can redistribute it and/or modify it under the terms of the GNU */
+/* Lesser General Public License as published by the Free Software */
+/* Foundation, version 2.1. */
+/* */
+/* It is distributed in the hope that it will be useful, */
+/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
+/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
+/* GNU Lesser General Public License for more details. */
+/* */
+/* See the GNU Lesser General Public License version 2.1 */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
+/* ************************************************************************ */
+
// --------------------------------------------------------------------------
// --- Data Collector
// --------------------------------------------------------------------------
diff --git a/ivette/src/dome/renderer/data/settings.ts b/ivette/src/dome/renderer/data/settings.ts
index 9ca6989bbe1..d63c4d9cd60 100644
--- a/ivette/src/dome/renderer/data/settings.ts
+++ b/ivette/src/dome/renderer/data/settings.ts
@@ -1,3 +1,25 @@
+/* ************************************************************************ */
+/* */
+/* This file is part of Frama-C. */
+/* */
+/* Copyright (C) 2007-2021 */
+/* CEA (Commissariat à l'énergie atomique et aux énergies */
+/* alternatives) */
+/* */
+/* you can redistribute it and/or modify it under the terms of the GNU */
+/* Lesser General Public License as published by the Free Software */
+/* Foundation, version 2.1. */
+/* */
+/* It is distributed in the hope that it will be useful, */
+/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
+/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
+/* GNU Lesser General Public License for more details. */
+/* */
+/* See the GNU Lesser General Public License version 2.1 */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
+/* ************************************************************************ */
+
// --------------------------------------------------------------------------
// --- States
// --------------------------------------------------------------------------
diff --git a/ivette/src/dome/renderer/data/states.ts b/ivette/src/dome/renderer/data/states.ts
index 030a2180b90..beb1eb269dd 100644
--- a/ivette/src/dome/renderer/data/states.ts
+++ b/ivette/src/dome/renderer/data/states.ts
@@ -1,3 +1,25 @@
+/* ************************************************************************ */
+/* */
+/* This file is part of Frama-C. */
+/* */
+/* Copyright (C) 2007-2021 */
+/* CEA (Commissariat à l'énergie atomique et aux énergies */
+/* alternatives) */
+/* */
+/* you can redistribute it and/or modify it under the terms of the GNU */
+/* Lesser General Public License as published by the Free Software */
+/* Foundation, version 2.1. */
+/* */
+/* It is distributed in the hope that it will be useful, */
+/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
+/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
+/* GNU Lesser General Public License for more details. */
+/* */
+/* See the GNU Lesser General Public License version 2.1 */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
+/* ************************************************************************ */
+
// --------------------------------------------------------------------------
// --- States
// --------------------------------------------------------------------------
diff --git a/ivette/src/dome/renderer/dialogs.tsx b/ivette/src/dome/renderer/dialogs.tsx
index e5bc3fa9f1d..36556d52bfd 100644
--- a/ivette/src/dome/renderer/dialogs.tsx
+++ b/ivette/src/dome/renderer/dialogs.tsx
@@ -1,3 +1,25 @@
+/* ************************************************************************ */
+/* */
+/* This file is part of Frama-C. */
+/* */
+/* Copyright (C) 2007-2021 */
+/* CEA (Commissariat à l'énergie atomique et aux énergies */
+/* alternatives) */
+/* */
+/* you can redistribute it and/or modify it under the terms of the GNU */
+/* Lesser General Public License as published by the Free Software */
+/* Foundation, version 2.1. */
+/* */
+/* It is distributed in the hope that it will be useful, */
+/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
+/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
+/* GNU Lesser General Public License for more details. */
+/* */
+/* See the GNU Lesser General Public License version 2.1 */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
+/* ************************************************************************ */
+
/**
Various kind of (modal) dialogs attached to the main application window.
@packageDocumentation
diff --git a/ivette/src/dome/renderer/dnd.js b/ivette/src/dome/renderer/dnd.js
index 603de8c4280..0be5c7bb6a5 100644
--- a/ivette/src/dome/renderer/dnd.js
+++ b/ivette/src/dome/renderer/dnd.js
@@ -1,3 +1,25 @@
+/* ************************************************************************ */
+/* */
+/* This file is part of Frama-C. */
+/* */
+/* Copyright (C) 2007-2021 */
+/* CEA (Commissariat à l'énergie atomique et aux énergies */
+/* alternatives) */
+/* */
+/* you can redistribute it and/or modify it under the terms of the GNU */
+/* Lesser General Public License as published by the Free Software */
+/* Foundation, version 2.1. */
+/* */
+/* It is distributed in the hope that it will be useful, */
+/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
+/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
+/* GNU Lesser General Public License for more details. */
+/* */
+/* See the GNU Lesser General Public License version 2.1 */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
+/* ************************************************************************ */
+
/**
@packageDocumentation
@module dome/dnd
diff --git a/ivette/src/dome/renderer/dome.tsx b/ivette/src/dome/renderer/dome.tsx
index 12606069a35..f09729d827c 100644
--- a/ivette/src/dome/renderer/dome.tsx
+++ b/ivette/src/dome/renderer/dome.tsx
@@ -1,3 +1,25 @@
+/* ************************************************************************ */
+/* */
+/* This file is part of Frama-C. */
+/* */
+/* Copyright (C) 2007-2021 */
+/* CEA (Commissariat à l'énergie atomique et aux énergies */
+/* alternatives) */
+/* */
+/* you can redistribute it and/or modify it under the terms of the GNU */
+/* Lesser General Public License as published by the Free Software */
+/* Foundation, version 2.1. */
+/* */
+/* It is distributed in the hope that it will be useful, */
+/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
+/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
+/* GNU Lesser General Public License for more details. */
+/* */
+/* See the GNU Lesser General Public License version 2.1 */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
+/* ************************************************************************ */
+
/**
Dome Application (Renderer Process)
diff --git a/ivette/src/dome/renderer/errors.tsx b/ivette/src/dome/renderer/errors.tsx
index b8cfc300071..b424ac4ec88 100644
--- a/ivette/src/dome/renderer/errors.tsx
+++ b/ivette/src/dome/renderer/errors.tsx
@@ -1,3 +1,25 @@
+/* ************************************************************************ */
+/* */
+/* This file is part of Frama-C. */
+/* */
+/* Copyright (C) 2007-2021 */
+/* CEA (Commissariat à l'énergie atomique et aux énergies */
+/* alternatives) */
+/* */
+/* you can redistribute it and/or modify it under the terms of the GNU */
+/* Lesser General Public License as published by the Free Software */
+/* Foundation, version 2.1. */
+/* */
+/* It is distributed in the hope that it will be useful, */
+/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
+/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
+/* GNU Lesser General Public License for more details. */
+/* */
+/* See the GNU Lesser General Public License version 2.1 */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
+/* ************************************************************************ */
+
// --------------------------------------------------------------------------
// --- Managing Errors
// --------------------------------------------------------------------------
diff --git a/ivette/src/dome/renderer/frame/sidebars.tsx b/ivette/src/dome/renderer/frame/sidebars.tsx
index 94d66b95e63..7cbe2a4c747 100644
--- a/ivette/src/dome/renderer/frame/sidebars.tsx
+++ b/ivette/src/dome/renderer/frame/sidebars.tsx
@@ -1,3 +1,25 @@
+/* ************************************************************************ */
+/* */
+/* This file is part of Frama-C. */
+/* */
+/* Copyright (C) 2007-2021 */
+/* CEA (Commissariat à l'énergie atomique et aux énergies */
+/* alternatives) */
+/* */
+/* you can redistribute it and/or modify it under the terms of the GNU */
+/* Lesser General Public License as published by the Free Software */
+/* Foundation, version 2.1. */
+/* */
+/* It is distributed in the hope that it will be useful, */
+/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
+/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
+/* GNU Lesser General Public License for more details. */
+/* */
+/* See the GNU Lesser General Public License version 2.1 */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
+/* ************************************************************************ */
+
// --------------------------------------------------------------------------
// --- SideBars
// --------------------------------------------------------------------------
diff --git a/ivette/src/dome/renderer/frame/tabs.tsx b/ivette/src/dome/renderer/frame/tabs.tsx
index 0b48784125d..9200de9dce2 100644
--- a/ivette/src/dome/renderer/frame/tabs.tsx
+++ b/ivette/src/dome/renderer/frame/tabs.tsx
@@ -1,3 +1,25 @@
+/* ************************************************************************ */
+/* */
+/* This file is part of Frama-C. */
+/* */
+/* Copyright (C) 2007-2021 */
+/* CEA (Commissariat à l'énergie atomique et aux énergies */
+/* alternatives) */
+/* */
+/* you can redistribute it and/or modify it under the terms of the GNU */
+/* Lesser General Public License as published by the Free Software */
+/* Foundation, version 2.1. */
+/* */
+/* It is distributed in the hope that it will be useful, */
+/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
+/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
+/* GNU Lesser General Public License for more details. */
+/* */
+/* See the GNU Lesser General Public License version 2.1 */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
+/* ************************************************************************ */
+
// --------------------------------------------------------------------------
// --- Tabs
// --------------------------------------------------------------------------
diff --git a/ivette/src/dome/renderer/frame/toolbars.tsx b/ivette/src/dome/renderer/frame/toolbars.tsx
index d84c50b4a32..6064de0c647 100644
--- a/ivette/src/dome/renderer/frame/toolbars.tsx
+++ b/ivette/src/dome/renderer/frame/toolbars.tsx
@@ -1,3 +1,25 @@
+/* ************************************************************************ */
+/* */
+/* This file is part of Frama-C. */
+/* */
+/* Copyright (C) 2007-2021 */
+/* CEA (Commissariat à l'énergie atomique et aux énergies */
+/* alternatives) */
+/* */
+/* you can redistribute it and/or modify it under the terms of the GNU */
+/* Lesser General Public License as published by the Free Software */
+/* Foundation, version 2.1. */
+/* */
+/* It is distributed in the hope that it will be useful, */
+/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
+/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
+/* GNU Lesser General Public License for more details. */
+/* */
+/* See the GNU Lesser General Public License version 2.1 */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
+/* ************************************************************************ */
+
// --------------------------------------------------------------------------
// --- ToolBars
// --------------------------------------------------------------------------
diff --git a/ivette/src/dome/renderer/layout/boxes.tsx b/ivette/src/dome/renderer/layout/boxes.tsx
index 789bcb44149..5d8d33fbb92 100644
--- a/ivette/src/dome/renderer/layout/boxes.tsx
+++ b/ivette/src/dome/renderer/layout/boxes.tsx
@@ -1,3 +1,25 @@
+/* ************************************************************************ */
+/* */
+/* This file is part of Frama-C. */
+/* */
+/* Copyright (C) 2007-2021 */
+/* CEA (Commissariat à l'énergie atomique et aux énergies */
+/* alternatives) */
+/* */
+/* you can redistribute it and/or modify it under the terms of the GNU */
+/* Lesser General Public License as published by the Free Software */
+/* Foundation, version 2.1. */
+/* */
+/* It is distributed in the hope that it will be useful, */
+/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
+/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
+/* GNU Lesser General Public License for more details. */
+/* */
+/* See the GNU Lesser General Public License version 2.1 */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
+/* ************************************************************************ */
+
// --------------------------------------------------------------------------
// --- Box Layout
// --------------------------------------------------------------------------
diff --git a/ivette/src/dome/renderer/layout/dispatch.tsx b/ivette/src/dome/renderer/layout/dispatch.tsx
index 73673d6a8e2..b169b357004 100644
--- a/ivette/src/dome/renderer/layout/dispatch.tsx
+++ b/ivette/src/dome/renderer/layout/dispatch.tsx
@@ -1,3 +1,25 @@
+/* ************************************************************************ */
+/* */
+/* This file is part of Frama-C. */
+/* */
+/* Copyright (C) 2007-2021 */
+/* CEA (Commissariat à l'énergie atomique et aux énergies */
+/* alternatives) */
+/* */
+/* you can redistribute it and/or modify it under the terms of the GNU */
+/* Lesser General Public License as published by the Free Software */
+/* Foundation, version 2.1. */
+/* */
+/* It is distributed in the hope that it will be useful, */
+/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
+/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
+/* GNU Lesser General Public License for more details. */
+/* */
+/* See the GNU Lesser General Public License version 2.1 */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
+/* ************************************************************************ */
+
// --------------------------------------------------------------------------
// --- Dispatch Layout
// --------------------------------------------------------------------------
diff --git a/ivette/src/dome/renderer/layout/forms.tsx b/ivette/src/dome/renderer/layout/forms.tsx
index 3cb95ffaa0d..56b4e428a83 100644
--- a/ivette/src/dome/renderer/layout/forms.tsx
+++ b/ivette/src/dome/renderer/layout/forms.tsx
@@ -1,3 +1,25 @@
+/* ************************************************************************ */
+/* */
+/* This file is part of Frama-C. */
+/* */
+/* Copyright (C) 2007-2021 */
+/* CEA (Commissariat à l'énergie atomique et aux énergies */
+/* alternatives) */
+/* */
+/* you can redistribute it and/or modify it under the terms of the GNU */
+/* Lesser General Public License as published by the Free Software */
+/* Foundation, version 2.1. */
+/* */
+/* It is distributed in the hope that it will be useful, */
+/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
+/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
+/* GNU Lesser General Public License for more details. */
+/* */
+/* See the GNU Lesser General Public License version 2.1 */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
+/* ************************************************************************ */
+
/* --------------------------------------------------------------------------*/
/* --- Form Fields ---*/
/* --------------------------------------------------------------------------*/
diff --git a/ivette/src/dome/renderer/layout/grids.js b/ivette/src/dome/renderer/layout/grids.js
index 5a7f8af8b45..b914f2cb496 100644
--- a/ivette/src/dome/renderer/layout/grids.js
+++ b/ivette/src/dome/renderer/layout/grids.js
@@ -1,3 +1,25 @@
+/* ************************************************************************ */
+/* */
+/* This file is part of Frama-C. */
+/* */
+/* Copyright (C) 2007-2021 */
+/* CEA (Commissariat à l'énergie atomique et aux énergies */
+/* alternatives) */
+/* */
+/* you can redistribute it and/or modify it under the terms of the GNU */
+/* Lesser General Public License as published by the Free Software */
+/* Foundation, version 2.1. */
+/* */
+/* It is distributed in the hope that it will be useful, */
+/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
+/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
+/* GNU Lesser General Public License for more details. */
+/* */
+/* See the GNU Lesser General Public License version 2.1 */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
+/* ************************************************************************ */
+
// --------------------------------------------------------------------------
// --- Grid Layout
// --------------------------------------------------------------------------
diff --git a/ivette/src/dome/renderer/layout/splitters.tsx b/ivette/src/dome/renderer/layout/splitters.tsx
index f2bbe883d84..37063fbfd12 100644
--- a/ivette/src/dome/renderer/layout/splitters.tsx
+++ b/ivette/src/dome/renderer/layout/splitters.tsx
@@ -1,3 +1,25 @@
+/* ************************************************************************ */
+/* */
+/* This file is part of Frama-C. */
+/* */
+/* Copyright (C) 2007-2021 */
+/* CEA (Commissariat à l'énergie atomique et aux énergies */
+/* alternatives) */
+/* */
+/* you can redistribute it and/or modify it under the terms of the GNU */
+/* Lesser General Public License as published by the Free Software */
+/* Foundation, version 2.1. */
+/* */
+/* It is distributed in the hope that it will be useful, */
+/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
+/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
+/* GNU Lesser General Public License for more details. */
+/* */
+/* See the GNU Lesser General Public License version 2.1 */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
+/* ************************************************************************ */
+
// --------------------------------------------------------------------------
// --- Splitters
// --------------------------------------------------------------------------
diff --git a/ivette/src/dome/renderer/table/arrays.ts b/ivette/src/dome/renderer/table/arrays.ts
index 9ab710b5b95..95e459ab91b 100644
--- a/ivette/src/dome/renderer/table/arrays.ts
+++ b/ivette/src/dome/renderer/table/arrays.ts
@@ -1,3 +1,25 @@
+/* ************************************************************************ */
+/* */
+/* This file is part of Frama-C. */
+/* */
+/* Copyright (C) 2007-2021 */
+/* CEA (Commissariat à l'énergie atomique et aux énergies */
+/* alternatives) */
+/* */
+/* you can redistribute it and/or modify it under the terms of the GNU */
+/* Lesser General Public License as published by the Free Software */
+/* Foundation, version 2.1. */
+/* */
+/* It is distributed in the hope that it will be useful, */
+/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
+/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
+/* GNU Lesser General Public License for more details. */
+/* */
+/* See the GNU Lesser General Public License version 2.1 */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
+/* ************************************************************************ */
+
// --------------------------------------------------------------------------
// --- Array Models
// --------------------------------------------------------------------------
diff --git a/ivette/src/dome/renderer/table/models.ts b/ivette/src/dome/renderer/table/models.ts
index 76c516f2950..297aef8ce54 100644
--- a/ivette/src/dome/renderer/table/models.ts
+++ b/ivette/src/dome/renderer/table/models.ts
@@ -1,3 +1,25 @@
+/* ************************************************************************ */
+/* */
+/* This file is part of Frama-C. */
+/* */
+/* Copyright (C) 2007-2021 */
+/* CEA (Commissariat à l'énergie atomique et aux énergies */
+/* alternatives) */
+/* */
+/* you can redistribute it and/or modify it under the terms of the GNU */
+/* Lesser General Public License as published by the Free Software */
+/* Foundation, version 2.1. */
+/* */
+/* It is distributed in the hope that it will be useful, */
+/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
+/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
+/* GNU Lesser General Public License for more details. */
+/* */
+/* See the GNU Lesser General Public License version 2.1 */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
+/* ************************************************************************ */
+
// --------------------------------------------------------------------------
// --- Models
// --------------------------------------------------------------------------
diff --git a/ivette/src/dome/renderer/table/views.tsx b/ivette/src/dome/renderer/table/views.tsx
index 6e33d160a88..654599d6b9f 100644
--- a/ivette/src/dome/renderer/table/views.tsx
+++ b/ivette/src/dome/renderer/table/views.tsx
@@ -1,3 +1,25 @@
+/* ************************************************************************ */
+/* */
+/* This file is part of Frama-C. */
+/* */
+/* Copyright (C) 2007-2021 */
+/* CEA (Commissariat à l'énergie atomique et aux énergies */
+/* alternatives) */
+/* */
+/* you can redistribute it and/or modify it under the terms of the GNU */
+/* Lesser General Public License as published by the Free Software */
+/* Foundation, version 2.1. */
+/* */
+/* It is distributed in the hope that it will be useful, */
+/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
+/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
+/* GNU Lesser General Public License for more details. */
+/* */
+/* See the GNU Lesser General Public License version 2.1 */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
+/* ************************************************************************ */
+
// --------------------------------------------------------------------------
// --- Tables
// --------------------------------------------------------------------------
diff --git a/ivette/src/dome/renderer/text/buffers.ts b/ivette/src/dome/renderer/text/buffers.ts
index f0a587f849f..02dd4616f8d 100644
--- a/ivette/src/dome/renderer/text/buffers.ts
+++ b/ivette/src/dome/renderer/text/buffers.ts
@@ -1,3 +1,25 @@
+/* ************************************************************************ */
+/* */
+/* This file is part of Frama-C. */
+/* */
+/* Copyright (C) 2007-2021 */
+/* CEA (Commissariat à l'énergie atomique et aux énergies */
+/* alternatives) */
+/* */
+/* you can redistribute it and/or modify it under the terms of the GNU */
+/* Lesser General Public License as published by the Free Software */
+/* Foundation, version 2.1. */
+/* */
+/* It is distributed in the hope that it will be useful, */
+/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
+/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
+/* GNU Lesser General Public License for more details. */
+/* */
+/* See the GNU Lesser General Public License version 2.1 */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
+/* ************************************************************************ */
+
// --------------------------------------------------------------------------
// --- Text Documents
// --------------------------------------------------------------------------
diff --git a/ivette/src/dome/renderer/text/editors.tsx b/ivette/src/dome/renderer/text/editors.tsx
index 17fc74f263e..ffa7c9193c0 100644
--- a/ivette/src/dome/renderer/text/editors.tsx
+++ b/ivette/src/dome/renderer/text/editors.tsx
@@ -1,3 +1,25 @@
+/* ************************************************************************ */
+/* */
+/* This file is part of Frama-C. */
+/* */
+/* Copyright (C) 2007-2021 */
+/* CEA (Commissariat à l'énergie atomique et aux énergies */
+/* alternatives) */
+/* */
+/* you can redistribute it and/or modify it under the terms of the GNU */
+/* Lesser General Public License as published by the Free Software */
+/* Foundation, version 2.1. */
+/* */
+/* It is distributed in the hope that it will be useful, */
+/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
+/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
+/* GNU Lesser General Public License for more details. */
+/* */
+/* See the GNU Lesser General Public License version 2.1 */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
+/* ************************************************************************ */
+
// --------------------------------------------------------------------------
// --- Text Documents
// --------------------------------------------------------------------------
diff --git a/ivette/src/dome/renderer/text/pages.tsx b/ivette/src/dome/renderer/text/pages.tsx
index 4e0cd9992d1..f7c3c947b05 100644
--- a/ivette/src/dome/renderer/text/pages.tsx
+++ b/ivette/src/dome/renderer/text/pages.tsx
@@ -1,3 +1,25 @@
+/* ************************************************************************ */
+/* */
+/* This file is part of Frama-C. */
+/* */
+/* Copyright (C) 2007-2021 */
+/* CEA (Commissariat à l'énergie atomique et aux énergies */
+/* alternatives) */
+/* */
+/* you can redistribute it and/or modify it under the terms of the GNU */
+/* Lesser General Public License as published by the Free Software */
+/* Foundation, version 2.1. */
+/* */
+/* It is distributed in the hope that it will be useful, */
+/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
+/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
+/* GNU Lesser General Public License for more details. */
+/* */
+/* See the GNU Lesser General Public License version 2.1 */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
+/* ************************************************************************ */
+
// --------------------------------------------------------------------------
// --- Text Pages
// --------------------------------------------------------------------------
diff --git a/ivette/src/dome/template/Application.js b/ivette/src/dome/template/Application.js
index 539097f43be..3295da29535 100644
--- a/ivette/src/dome/template/Application.js
+++ b/ivette/src/dome/template/Application.js
@@ -1,3 +1,25 @@
+/* ************************************************************************ */
+/* */
+/* This file is part of Frama-C. */
+/* */
+/* Copyright (C) 2007-2021 */
+/* CEA (Commissariat à l'énergie atomique et aux énergies */
+/* alternatives) */
+/* */
+/* you can redistribute it and/or modify it under the terms of the GNU */
+/* Lesser General Public License as published by the Free Software */
+/* Foundation, version 2.1. */
+/* */
+/* It is distributed in the hope that it will be useful, */
+/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
+/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
+/* GNU Lesser General Public License for more details. */
+/* */
+/* See the GNU Lesser General Public License version 2.1 */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
+/* ************************************************************************ */
+
// --------------------------------------------------------------------------
// --- Main React Component rendered by './index.js'
// --------------------------------------------------------------------------
diff --git a/ivette/src/dome/template/Preferences.js b/ivette/src/dome/template/Preferences.js
index 542d1d7c97a..f8414230ed9 100644
--- a/ivette/src/dome/template/Preferences.js
+++ b/ivette/src/dome/template/Preferences.js
@@ -1,3 +1,25 @@
+/* ************************************************************************ */
+/* */
+/* This file is part of Frama-C. */
+/* */
+/* Copyright (C) 2007-2021 */
+/* CEA (Commissariat à l'énergie atomique et aux énergies */
+/* alternatives) */
+/* */
+/* you can redistribute it and/or modify it under the terms of the GNU */
+/* Lesser General Public License as published by the Free Software */
+/* Foundation, version 2.1. */
+/* */
+/* It is distributed in the hope that it will be useful, */
+/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
+/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
+/* GNU Lesser General Public License for more details. */
+/* */
+/* See the GNU Lesser General Public License version 2.1 */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
+/* ************************************************************************ */
+
// --------------------------------------------------------------------------
// --- Main React Component rendered by './index.js'
// --------------------------------------------------------------------------
diff --git a/ivette/src/dome/template/main.js b/ivette/src/dome/template/main.js
index ea647d69a24..5c16eacca87 100644
--- a/ivette/src/dome/template/main.js
+++ b/ivette/src/dome/template/main.js
@@ -1,3 +1,25 @@
+/* ************************************************************************ */
+/* */
+/* This file is part of Frama-C. */
+/* */
+/* Copyright (C) 2007-2021 */
+/* CEA (Commissariat à l'énergie atomique et aux énergies */
+/* alternatives) */
+/* */
+/* you can redistribute it and/or modify it under the terms of the GNU */
+/* Lesser General Public License as published by the Free Software */
+/* Foundation, version 2.1. */
+/* */
+/* It is distributed in the hope that it will be useful, */
+/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
+/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
+/* GNU Lesser General Public License for more details. */
+/* */
+/* See the GNU Lesser General Public License version 2.1 */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
+/* ************************************************************************ */
+
// --------------------------------------------------------------------------
// --- Electron main-process entry-point for Dome.
// --------------------------------------------------------------------------
diff --git a/ivette/src/dome/template/renderer.js b/ivette/src/dome/template/renderer.js
index 2452a96d7a5..c608c792eac 100644
--- a/ivette/src/dome/template/renderer.js
+++ b/ivette/src/dome/template/renderer.js
@@ -1,3 +1,25 @@
+/* ************************************************************************ */
+/* */
+/* This file is part of Frama-C. */
+/* */
+/* Copyright (C) 2007-2021 */
+/* CEA (Commissariat à l'énergie atomique et aux énergies */
+/* alternatives) */
+/* */
+/* you can redistribute it and/or modify it under the terms of the GNU */
+/* Lesser General Public License as published by the Free Software */
+/* Foundation, version 2.1. */
+/* */
+/* It is distributed in the hope that it will be useful, */
+/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
+/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
+/* GNU Lesser General Public License for more details. */
+/* */
+/* See the GNU Lesser General Public License version 2.1 */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
+/* ************************************************************************ */
+
// --------------------------------------------------------------------------
// --- Electron renderer-process entry-point for Dome.
// --------------------------------------------------------------------------
diff --git a/ivette/src/dome/template/webpack.main.js b/ivette/src/dome/template/webpack.main.js
index 3d91c95097c..ff2ce5b7c4a 100644
--- a/ivette/src/dome/template/webpack.main.js
+++ b/ivette/src/dome/template/webpack.main.js
@@ -1,3 +1,25 @@
+/* ************************************************************************ */
+/* */
+/* This file is part of Frama-C. */
+/* */
+/* Copyright (C) 2007-2021 */
+/* CEA (Commissariat à l'énergie atomique et aux énergies */
+/* alternatives) */
+/* */
+/* you can redistribute it and/or modify it under the terms of the GNU */
+/* Lesser General Public License as published by the Free Software */
+/* Foundation, version 2.1. */
+/* */
+/* It is distributed in the hope that it will be useful, */
+/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
+/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
+/* GNU Lesser General Public License for more details. */
+/* */
+/* See the GNU Lesser General Public License version 2.1 */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
+/* ************************************************************************ */
+
// --------------------------------------------------------------------------
// --- Webpack extension for electron main-process
// --------------------------------------------------------------------------
diff --git a/ivette/src/dome/template/webpack.renderer.js b/ivette/src/dome/template/webpack.renderer.js
index f0b03d02cbe..864a8c6f71c 100644
--- a/ivette/src/dome/template/webpack.renderer.js
+++ b/ivette/src/dome/template/webpack.renderer.js
@@ -1,3 +1,25 @@
+/* ************************************************************************ */
+/* */
+/* This file is part of Frama-C. */
+/* */
+/* Copyright (C) 2007-2021 */
+/* CEA (Commissariat à l'énergie atomique et aux énergies */
+/* alternatives) */
+/* */
+/* you can redistribute it and/or modify it under the terms of the GNU */
+/* Lesser General Public License as published by the Free Software */
+/* Foundation, version 2.1. */
+/* */
+/* It is distributed in the hope that it will be useful, */
+/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
+/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
+/* GNU Lesser General Public License for more details. */
+/* */
+/* See the GNU Lesser General Public License version 2.1 */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
+/* ************************************************************************ */
+
// --------------------------------------------------------------------------
// --- Webpack extension for electron main-process
// --------------------------------------------------------------------------
diff --git a/ivette/src/frama-c/api/generated/kernel/ast/index.ts b/ivette/src/frama-c/api/generated/kernel/ast/index.ts
index 9ae32c6bf69..03afaed2e4d 100644
--- a/ivette/src/frama-c/api/generated/kernel/ast/index.ts
+++ b/ivette/src/frama-c/api/generated/kernel/ast/index.ts
@@ -1,3 +1,25 @@
+/* ************************************************************************ */
+/* */
+/* This file is part of Frama-C. */
+/* */
+/* Copyright (C) 2007-2021 */
+/* CEA (Commissariat à l'énergie atomique et aux énergies */
+/* alternatives) */
+/* */
+/* you can redistribute it and/or modify it under the terms of the GNU */
+/* Lesser General Public License as published by the Free Software */
+/* Foundation, version 2.1. */
+/* */
+/* It is distributed in the hope that it will be useful, */
+/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
+/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
+/* GNU Lesser General Public License for more details. */
+/* */
+/* See the GNU Lesser General Public License version 2.1 */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
+/* ************************************************************************ */
+
/* --- Generated Frama-C Server API --- */
/**
diff --git a/ivette/src/frama-c/api/generated/kernel/data/index.ts b/ivette/src/frama-c/api/generated/kernel/data/index.ts
index e90c22f7549..f848d311277 100644
--- a/ivette/src/frama-c/api/generated/kernel/data/index.ts
+++ b/ivette/src/frama-c/api/generated/kernel/data/index.ts
@@ -1,3 +1,25 @@
+/* ************************************************************************ */
+/* */
+/* This file is part of Frama-C. */
+/* */
+/* Copyright (C) 2007-2021 */
+/* CEA (Commissariat à l'énergie atomique et aux énergies */
+/* alternatives) */
+/* */
+/* you can redistribute it and/or modify it under the terms of the GNU */
+/* Lesser General Public License as published by the Free Software */
+/* Foundation, version 2.1. */
+/* */
+/* It is distributed in the hope that it will be useful, */
+/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
+/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
+/* GNU Lesser General Public License for more details. */
+/* */
+/* See the GNU Lesser General Public License version 2.1 */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
+/* ************************************************************************ */
+
/* --- Generated Frama-C Server API --- */
/**
diff --git a/ivette/src/frama-c/api/generated/kernel/project/index.ts b/ivette/src/frama-c/api/generated/kernel/project/index.ts
index dfe685fc558..a618bbc59f5 100644
--- a/ivette/src/frama-c/api/generated/kernel/project/index.ts
+++ b/ivette/src/frama-c/api/generated/kernel/project/index.ts
@@ -1,3 +1,25 @@
+/* ************************************************************************ */
+/* */
+/* This file is part of Frama-C. */
+/* */
+/* Copyright (C) 2007-2021 */
+/* CEA (Commissariat à l'énergie atomique et aux énergies */
+/* alternatives) */
+/* */
+/* you can redistribute it and/or modify it under the terms of the GNU */
+/* Lesser General Public License as published by the Free Software */
+/* Foundation, version 2.1. */
+/* */
+/* It is distributed in the hope that it will be useful, */
+/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
+/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
+/* GNU Lesser General Public License for more details. */
+/* */
+/* See the GNU Lesser General Public License version 2.1 */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
+/* ************************************************************************ */
+
/* --- Generated Frama-C Server API --- */
/**
diff --git a/ivette/src/frama-c/api/generated/kernel/properties/index.ts b/ivette/src/frama-c/api/generated/kernel/properties/index.ts
index dcba1484d49..bd3d2a7d417 100644
--- a/ivette/src/frama-c/api/generated/kernel/properties/index.ts
+++ b/ivette/src/frama-c/api/generated/kernel/properties/index.ts
@@ -1,3 +1,25 @@
+/* ************************************************************************ */
+/* */
+/* This file is part of Frama-C. */
+/* */
+/* Copyright (C) 2007-2021 */
+/* CEA (Commissariat à l'énergie atomique et aux énergies */
+/* alternatives) */
+/* */
+/* you can redistribute it and/or modify it under the terms of the GNU */
+/* Lesser General Public License as published by the Free Software */
+/* Foundation, version 2.1. */
+/* */
+/* It is distributed in the hope that it will be useful, */
+/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
+/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
+/* GNU Lesser General Public License for more details. */
+/* */
+/* See the GNU Lesser General Public License version 2.1 */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
+/* ************************************************************************ */
+
/* --- Generated Frama-C Server API --- */
/**
@@ -70,6 +92,8 @@ export enum propKind {
assert = 'assert',
/** Check */
check = 'check',
+ /** Hypothesis */
+ admit = 'admit',
/** Clause `@loop invariant` */
loop_invariant = 'loop_invariant',
/** Clause `@loop assigns` */
@@ -96,6 +120,8 @@ export enum propKind {
axiom = 'axiom',
/** Logical lemma */
lemma = 'lemma',
+ /** Logical check lemma */
+ check_lemma = 'check_lemma',
}
/** Loose decoder for `propKind` */
diff --git a/ivette/src/frama-c/api/generated/kernel/services/index.ts b/ivette/src/frama-c/api/generated/kernel/services/index.ts
index 7949c24a43c..3419792ac5a 100644
--- a/ivette/src/frama-c/api/generated/kernel/services/index.ts
+++ b/ivette/src/frama-c/api/generated/kernel/services/index.ts
@@ -1,3 +1,25 @@
+/* ************************************************************************ */
+/* */
+/* This file is part of Frama-C. */
+/* */
+/* Copyright (C) 2007-2021 */
+/* CEA (Commissariat à l'énergie atomique et aux énergies */
+/* alternatives) */
+/* */
+/* you can redistribute it and/or modify it under the terms of the GNU */
+/* Lesser General Public License as published by the Free Software */
+/* Foundation, version 2.1. */
+/* */
+/* It is distributed in the hope that it will be useful, */
+/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
+/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
+/* GNU Lesser General Public License for more details. */
+/* */
+/* See the GNU Lesser General Public License version 2.1 */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
+/* ************************************************************************ */
+
/* --- Generated Frama-C Server API --- */
/**
diff --git a/ivette/src/frama-c/api/generated/plugins/dive/index.ts b/ivette/src/frama-c/api/generated/plugins/dive/index.ts
index 19de6add855..ebdc7a4f4e5 100644
--- a/ivette/src/frama-c/api/generated/plugins/dive/index.ts
+++ b/ivette/src/frama-c/api/generated/plugins/dive/index.ts
@@ -1,3 +1,25 @@
+/* ************************************************************************ */
+/* */
+/* This file is part of Frama-C. */
+/* */
+/* Copyright (C) 2007-2021 */
+/* CEA (Commissariat à l'énergie atomique et aux énergies */
+/* alternatives) */
+/* */
+/* you can redistribute it and/or modify it under the terms of the GNU */
+/* Lesser General Public License as published by the Free Software */
+/* Foundation, version 2.1. */
+/* */
+/* It is distributed in the hope that it will be useful, */
+/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
+/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
+/* GNU Lesser General Public License for more details. */
+/* */
+/* See the GNU Lesser General Public License version 2.1 */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
+/* ************************************************************************ */
+
/* --- Generated Frama-C Server API --- */
/**
diff --git a/ivette/src/frama-c/api/generated/plugins/eva/general/index.ts b/ivette/src/frama-c/api/generated/plugins/eva/general/index.ts
index d16a45ad200..56cc6605d4e 100644
--- a/ivette/src/frama-c/api/generated/plugins/eva/general/index.ts
+++ b/ivette/src/frama-c/api/generated/plugins/eva/general/index.ts
@@ -1,3 +1,25 @@
+/* ************************************************************************ */
+/* */
+/* This file is part of Frama-C. */
+/* */
+/* Copyright (C) 2007-2021 */
+/* CEA (Commissariat à l'énergie atomique et aux énergies */
+/* alternatives) */
+/* */
+/* you can redistribute it and/or modify it under the terms of the GNU */
+/* Lesser General Public License as published by the Free Software */
+/* Foundation, version 2.1. */
+/* */
+/* It is distributed in the hope that it will be useful, */
+/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
+/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
+/* GNU Lesser General Public License for more details. */
+/* */
+/* See the GNU Lesser General Public License version 2.1 */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
+/* ************************************************************************ */
+
/* --- Generated Frama-C Server API --- */
/**
diff --git a/ivette/src/frama-c/api/generated/plugins/eva/values/index.ts b/ivette/src/frama-c/api/generated/plugins/eva/values/index.ts
index b08b8540d74..f82f704494f 100644
--- a/ivette/src/frama-c/api/generated/plugins/eva/values/index.ts
+++ b/ivette/src/frama-c/api/generated/plugins/eva/values/index.ts
@@ -1,3 +1,25 @@
+/* ************************************************************************ */
+/* */
+/* This file is part of Frama-C. */
+/* */
+/* Copyright (C) 2007-2021 */
+/* CEA (Commissariat à l'énergie atomique et aux énergies */
+/* alternatives) */
+/* */
+/* you can redistribute it and/or modify it under the terms of the GNU */
+/* Lesser General Public License as published by the Free Software */
+/* Foundation, version 2.1. */
+/* */
+/* It is distributed in the hope that it will be useful, */
+/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
+/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
+/* GNU Lesser General Public License for more details. */
+/* */
+/* See the GNU Lesser General Public License version 2.1 */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
+/* ************************************************************************ */
+
/* --- Generated Frama-C Server API --- */
/**
diff --git a/ivette/src/frama-c/api/generated/plugins/studia/studia/index.ts b/ivette/src/frama-c/api/generated/plugins/studia/studia/index.ts
index 003c89fe063..66d28da4aa9 100644
--- a/ivette/src/frama-c/api/generated/plugins/studia/studia/index.ts
+++ b/ivette/src/frama-c/api/generated/plugins/studia/studia/index.ts
@@ -1,3 +1,25 @@
+/* ************************************************************************ */
+/* */
+/* This file is part of Frama-C. */
+/* */
+/* Copyright (C) 2007-2021 */
+/* CEA (Commissariat à l'énergie atomique et aux énergies */
+/* alternatives) */
+/* */
+/* you can redistribute it and/or modify it under the terms of the GNU */
+/* Lesser General Public License as published by the Free Software */
+/* Foundation, version 2.1. */
+/* */
+/* It is distributed in the hope that it will be useful, */
+/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
+/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
+/* GNU Lesser General Public License for more details. */
+/* */
+/* See the GNU Lesser General Public License version 2.1 */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
+/* ************************************************************************ */
+
/* --- Generated Frama-C Server API --- */
/**
diff --git a/ivette/src/frama-c/index.tsx b/ivette/src/frama-c/index.tsx
index a63e1225775..5682e97f7da 100644
--- a/ivette/src/frama-c/index.tsx
+++ b/ivette/src/frama-c/index.tsx
@@ -1,3 +1,25 @@
+/* ************************************************************************ */
+/* */
+/* This file is part of Frama-C. */
+/* */
+/* Copyright (C) 2007-2021 */
+/* CEA (Commissariat à l'énergie atomique et aux énergies */
+/* alternatives) */
+/* */
+/* you can redistribute it and/or modify it under the terms of the GNU */
+/* Lesser General Public License as published by the Free Software */
+/* Foundation, version 2.1. */
+/* */
+/* It is distributed in the hope that it will be useful, */
+/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
+/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
+/* GNU Lesser General Public License for more details. */
+/* */
+/* See the GNU Lesser General Public License version 2.1 */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
+/* ************************************************************************ */
+
/* --------------------------------------------------------------------------*/
/* --- Frama-C Registry ---*/
/* --------------------------------------------------------------------------*/
diff --git a/ivette/src/frama-c/kernel/ASTinfo.tsx b/ivette/src/frama-c/kernel/ASTinfo.tsx
index 75e85684bdb..4601eae5dae 100644
--- a/ivette/src/frama-c/kernel/ASTinfo.tsx
+++ b/ivette/src/frama-c/kernel/ASTinfo.tsx
@@ -1,3 +1,25 @@
+/* ************************************************************************ */
+/* */
+/* This file is part of Frama-C. */
+/* */
+/* Copyright (C) 2007-2021 */
+/* CEA (Commissariat à l'énergie atomique et aux énergies */
+/* alternatives) */
+/* */
+/* you can redistribute it and/or modify it under the terms of the GNU */
+/* Lesser General Public License as published by the Free Software */
+/* Foundation, version 2.1. */
+/* */
+/* It is distributed in the hope that it will be useful, */
+/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
+/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
+/* GNU Lesser General Public License for more details. */
+/* */
+/* See the GNU Lesser General Public License version 2.1 */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
+/* ************************************************************************ */
+
// --------------------------------------------------------------------------
// --- AST Information
// --------------------------------------------------------------------------
diff --git a/ivette/src/frama-c/kernel/ASTview.tsx b/ivette/src/frama-c/kernel/ASTview.tsx
index 7bf897426b5..2f2d9bbae19 100644
--- a/ivette/src/frama-c/kernel/ASTview.tsx
+++ b/ivette/src/frama-c/kernel/ASTview.tsx
@@ -1,3 +1,25 @@
+/* ************************************************************************ */
+/* */
+/* This file is part of Frama-C. */
+/* */
+/* Copyright (C) 2007-2021 */
+/* CEA (Commissariat à l'énergie atomique et aux énergies */
+/* alternatives) */
+/* */
+/* you can redistribute it and/or modify it under the terms of the GNU */
+/* Lesser General Public License as published by the Free Software */
+/* Foundation, version 2.1. */
+/* */
+/* It is distributed in the hope that it will be useful, */
+/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
+/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
+/* GNU Lesser General Public License for more details. */
+/* */
+/* See the GNU Lesser General Public License version 2.1 */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
+/* ************************************************************************ */
+
// --------------------------------------------------------------------------
// --- AST Source Code
// --------------------------------------------------------------------------
diff --git a/ivette/src/frama-c/kernel/Globals.tsx b/ivette/src/frama-c/kernel/Globals.tsx
index 034fc93e90a..7705b8ee816 100644
--- a/ivette/src/frama-c/kernel/Globals.tsx
+++ b/ivette/src/frama-c/kernel/Globals.tsx
@@ -1,3 +1,25 @@
+/* ************************************************************************ */
+/* */
+/* This file is part of Frama-C. */
+/* */
+/* Copyright (C) 2007-2021 */
+/* CEA (Commissariat à l'énergie atomique et aux énergies */
+/* alternatives) */
+/* */
+/* you can redistribute it and/or modify it under the terms of the GNU */
+/* Lesser General Public License as published by the Free Software */
+/* Foundation, version 2.1. */
+/* */
+/* It is distributed in the hope that it will be useful, */
+/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
+/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
+/* GNU Lesser General Public License for more details. */
+/* */
+/* See the GNU Lesser General Public License version 2.1 */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
+/* ************************************************************************ */
+
// --------------------------------------------------------------------------
// --- Frama-C Globals
// --------------------------------------------------------------------------
diff --git a/ivette/src/frama-c/kernel/History.tsx b/ivette/src/frama-c/kernel/History.tsx
index d806894fbf0..5acd842a066 100644
--- a/ivette/src/frama-c/kernel/History.tsx
+++ b/ivette/src/frama-c/kernel/History.tsx
@@ -1,3 +1,25 @@
+/* ************************************************************************ */
+/* */
+/* This file is part of Frama-C. */
+/* */
+/* Copyright (C) 2007-2021 */
+/* CEA (Commissariat à l'énergie atomique et aux énergies */
+/* alternatives) */
+/* */
+/* you can redistribute it and/or modify it under the terms of the GNU */
+/* Lesser General Public License as published by the Free Software */
+/* Foundation, version 2.1. */
+/* */
+/* It is distributed in the hope that it will be useful, */
+/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
+/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
+/* GNU Lesser General Public License for more details. */
+/* */
+/* See the GNU Lesser General Public License version 2.1 */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
+/* ************************************************************************ */
+
/* --------------------------------------------------------------------------*/
/* --- Frama-C Selection History ---*/
/* --------------------------------------------------------------------------*/
diff --git a/ivette/src/frama-c/kernel/Locations.tsx b/ivette/src/frama-c/kernel/Locations.tsx
index 3d5f9da244b..cbf53ed1fe9 100644
--- a/ivette/src/frama-c/kernel/Locations.tsx
+++ b/ivette/src/frama-c/kernel/Locations.tsx
@@ -1,3 +1,25 @@
+/* ************************************************************************ */
+/* */
+/* This file is part of Frama-C. */
+/* */
+/* Copyright (C) 2007-2021 */
+/* CEA (Commissariat à l'énergie atomique et aux énergies */
+/* alternatives) */
+/* */
+/* you can redistribute it and/or modify it under the terms of the GNU */
+/* Lesser General Public License as published by the Free Software */
+/* Foundation, version 2.1. */
+/* */
+/* It is distributed in the hope that it will be useful, */
+/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
+/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
+/* GNU Lesser General Public License for more details. */
+/* */
+/* See the GNU Lesser General Public License version 2.1 */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
+/* ************************************************************************ */
+
// --------------------------------------------------------------------------
// --- Table of (multiple) locations
// --------------------------------------------------------------------------
diff --git a/ivette/src/frama-c/kernel/Properties.tsx b/ivette/src/frama-c/kernel/Properties.tsx
index 5024f12f3e0..13e7ff41728 100644
--- a/ivette/src/frama-c/kernel/Properties.tsx
+++ b/ivette/src/frama-c/kernel/Properties.tsx
@@ -1,3 +1,25 @@
+/* ************************************************************************ */
+/* */
+/* This file is part of Frama-C. */
+/* */
+/* Copyright (C) 2007-2021 */
+/* CEA (Commissariat à l'énergie atomique et aux énergies */
+/* alternatives) */
+/* */
+/* you can redistribute it and/or modify it under the terms of the GNU */
+/* Lesser General Public License as published by the Free Software */
+/* Foundation, version 2.1. */
+/* */
+/* It is distributed in the hope that it will be useful, */
+/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
+/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
+/* GNU Lesser General Public License for more details. */
+/* */
+/* See the GNU Lesser General Public License version 2.1 */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
+/* ************************************************************************ */
+
// --------------------------------------------------------------------------
// --- Properties
// --------------------------------------------------------------------------
diff --git a/ivette/src/frama-c/kernel/SourceCode.tsx b/ivette/src/frama-c/kernel/SourceCode.tsx
index 9fb4f2082b3..e38461a97fa 100644
--- a/ivette/src/frama-c/kernel/SourceCode.tsx
+++ b/ivette/src/frama-c/kernel/SourceCode.tsx
@@ -1,3 +1,25 @@
+/* ************************************************************************ */
+/* */
+/* This file is part of Frama-C. */
+/* */
+/* Copyright (C) 2007-2021 */
+/* CEA (Commissariat à l'énergie atomique et aux énergies */
+/* alternatives) */
+/* */
+/* you can redistribute it and/or modify it under the terms of the GNU */
+/* Lesser General Public License as published by the Free Software */
+/* Foundation, version 2.1. */
+/* */
+/* It is distributed in the hope that it will be useful, */
+/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
+/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
+/* GNU Lesser General Public License for more details. */
+/* */
+/* See the GNU Lesser General Public License version 2.1 */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
+/* ************************************************************************ */
+
// --------------------------------------------------------------------------
// --- Source Code
// --------------------------------------------------------------------------
diff --git a/ivette/src/frama-c/plugins/dive/cytoscape_libs.js b/ivette/src/frama-c/plugins/dive/cytoscape_libs.js
index 35ecb1b1ffd..c0921f4c2fa 100644
--- a/ivette/src/frama-c/plugins/dive/cytoscape_libs.js
+++ b/ivette/src/frama-c/plugins/dive/cytoscape_libs.js
@@ -1,3 +1,25 @@
+/* ************************************************************************ */
+/* */
+/* This file is part of Frama-C. */
+/* */
+/* Copyright (C) 2007-2021 */
+/* CEA (Commissariat à l'énergie atomique et aux énergies */
+/* alternatives) */
+/* */
+/* you can redistribute it and/or modify it under the terms of the GNU */
+/* Lesser General Public License as published by the Free Software */
+/* Foundation, version 2.1. */
+/* */
+/* It is distributed in the hope that it will be useful, */
+/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
+/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
+/* GNU Lesser General Public License for more details. */
+/* */
+/* See the GNU Lesser General Public License version 2.1 */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
+/* ************************************************************************ */
+
/* Currently Cytoscape.use emits an error when a library is already loaded.
This prevents Hot Module Reloading for modules where Cytescope.use is used.
Grouping all Cytoscape plugins registrations here solves the problem. */
diff --git a/ivette/src/frama-c/plugins/dive/index.tsx b/ivette/src/frama-c/plugins/dive/index.tsx
index 0cedc34e0e3..e121ae5a9b4 100644
--- a/ivette/src/frama-c/plugins/dive/index.tsx
+++ b/ivette/src/frama-c/plugins/dive/index.tsx
@@ -1,3 +1,25 @@
+/* ************************************************************************ */
+/* */
+/* This file is part of Frama-C. */
+/* */
+/* Copyright (C) 2007-2021 */
+/* CEA (Commissariat à l'énergie atomique et aux énergies */
+/* alternatives) */
+/* */
+/* you can redistribute it and/or modify it under the terms of the GNU */
+/* Lesser General Public License as published by the Free Software */
+/* Foundation, version 2.1. */
+/* */
+/* It is distributed in the hope that it will be useful, */
+/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
+/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
+/* GNU Lesser General Public License for more details. */
+/* */
+/* See the GNU Lesser General Public License version 2.1 */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
+/* ************************************************************************ */
+
import React, { useState, useEffect } from 'react';
import _ from 'lodash';
import { renderToString } from 'react-dom/server';
diff --git a/ivette/src/frama-c/plugins/dive/react-cytoscapejs.d.ts b/ivette/src/frama-c/plugins/dive/react-cytoscapejs.d.ts
index e8a271f130a..8ae2959a98e 100644
--- a/ivette/src/frama-c/plugins/dive/react-cytoscapejs.d.ts
+++ b/ivette/src/frama-c/plugins/dive/react-cytoscapejs.d.ts
@@ -1 +1,23 @@
+/* ************************************************************************ */
+/* */
+/* This file is part of Frama-C. */
+/* */
+/* Copyright (C) 2007-2021 */
+/* CEA (Commissariat à l'énergie atomique et aux énergies */
+/* alternatives) */
+/* */
+/* you can redistribute it and/or modify it under the terms of the GNU */
+/* Lesser General Public License as published by the Free Software */
+/* Foundation, version 2.1. */
+/* */
+/* It is distributed in the hope that it will be useful, */
+/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
+/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
+/* GNU Lesser General Public License for more details. */
+/* */
+/* See the GNU Lesser General Public License version 2.1 */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
+/* ************************************************************************ */
+
declare module 'react-cytoscapejs';
diff --git a/ivette/src/frama-c/plugins/eva/cells.ts b/ivette/src/frama-c/plugins/eva/cells.ts
index b4242c27b06..42c1dec68c5 100644
--- a/ivette/src/frama-c/plugins/eva/cells.ts
+++ b/ivette/src/frama-c/plugins/eva/cells.ts
@@ -1,3 +1,25 @@
+/* ************************************************************************ */
+/* */
+/* This file is part of Frama-C. */
+/* */
+/* Copyright (C) 2007-2021 */
+/* CEA (Commissariat à l'énergie atomique et aux énergies */
+/* alternatives) */
+/* */
+/* you can redistribute it and/or modify it under the terms of the GNU */
+/* Lesser General Public License as published by the Free Software */
+/* Foundation, version 2.1. */
+/* */
+/* It is distributed in the hope that it will be useful, */
+/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
+/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
+/* GNU Lesser General Public License for more details. */
+/* */
+/* See the GNU Lesser General Public License version 2.1 */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
+/* ************************************************************************ */
+
// --------------------------------------------------------------------------
// --- Cells
// --------------------------------------------------------------------------
diff --git a/ivette/src/frama-c/plugins/eva/diffed.tsx b/ivette/src/frama-c/plugins/eva/diffed.tsx
index 19dd3b91326..8afd0ac17b8 100644
--- a/ivette/src/frama-c/plugins/eva/diffed.tsx
+++ b/ivette/src/frama-c/plugins/eva/diffed.tsx
@@ -1,3 +1,25 @@
+/* ************************************************************************ */
+/* */
+/* This file is part of Frama-C. */
+/* */
+/* Copyright (C) 2007-2021 */
+/* CEA (Commissariat à l'énergie atomique et aux énergies */
+/* alternatives) */
+/* */
+/* you can redistribute it and/or modify it under the terms of the GNU */
+/* Lesser General Public License as published by the Free Software */
+/* Foundation, version 2.1. */
+/* */
+/* It is distributed in the hope that it will be useful, */
+/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
+/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
+/* GNU Lesser General Public License for more details. */
+/* */
+/* See the GNU Lesser General Public License version 2.1 */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
+/* ************************************************************************ */
+
// --------------------------------------------------------------------------
// --- Diff Text Rendering
// --------------------------------------------------------------------------
diff --git a/ivette/src/frama-c/plugins/eva/index.tsx b/ivette/src/frama-c/plugins/eva/index.tsx
index 1cb699bc942..9f2c3c733ab 100644
--- a/ivette/src/frama-c/plugins/eva/index.tsx
+++ b/ivette/src/frama-c/plugins/eva/index.tsx
@@ -1,3 +1,25 @@
+/* ************************************************************************ */
+/* */
+/* This file is part of Frama-C. */
+/* */
+/* Copyright (C) 2007-2021 */
+/* CEA (Commissariat à l'énergie atomique et aux énergies */
+/* alternatives) */
+/* */
+/* you can redistribute it and/or modify it under the terms of the GNU */
+/* Lesser General Public License as published by the Free Software */
+/* Foundation, version 2.1. */
+/* */
+/* It is distributed in the hope that it will be useful, */
+/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
+/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
+/* GNU Lesser General Public License for more details. */
+/* */
+/* See the GNU Lesser General Public License version 2.1 */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
+/* ************************************************************************ */
+
// --------------------------------------------------------------------------
// --- Eva Values
// --------------------------------------------------------------------------
diff --git a/ivette/src/frama-c/plugins/eva/layout.ts b/ivette/src/frama-c/plugins/eva/layout.ts
index c116ca31973..3d887e9b618 100644
--- a/ivette/src/frama-c/plugins/eva/layout.ts
+++ b/ivette/src/frama-c/plugins/eva/layout.ts
@@ -1,3 +1,25 @@
+/* ************************************************************************ */
+/* */
+/* This file is part of Frama-C. */
+/* */
+/* Copyright (C) 2007-2021 */
+/* CEA (Commissariat à l'énergie atomique et aux énergies */
+/* alternatives) */
+/* */
+/* you can redistribute it and/or modify it under the terms of the GNU */
+/* Lesser General Public License as published by the Free Software */
+/* Foundation, version 2.1. */
+/* */
+/* It is distributed in the hope that it will be useful, */
+/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
+/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
+/* GNU Lesser General Public License for more details. */
+/* */
+/* See the GNU Lesser General Public License version 2.1 */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
+/* ************************************************************************ */
+
/* --------------------------------------------------------------------------*/
/* --- Layout ---*/
/* --------------------------------------------------------------------------*/
diff --git a/ivette/src/frama-c/plugins/eva/model.ts b/ivette/src/frama-c/plugins/eva/model.ts
index 0c5f7c2bfe1..a1f679d807a 100644
--- a/ivette/src/frama-c/plugins/eva/model.ts
+++ b/ivette/src/frama-c/plugins/eva/model.ts
@@ -1,3 +1,25 @@
+/* ************************************************************************ */
+/* */
+/* This file is part of Frama-C. */
+/* */
+/* Copyright (C) 2007-2021 */
+/* CEA (Commissariat à l'énergie atomique et aux énergies */
+/* alternatives) */
+/* */
+/* you can redistribute it and/or modify it under the terms of the GNU */
+/* Lesser General Public License as published by the Free Software */
+/* Foundation, version 2.1. */
+/* */
+/* It is distributed in the hope that it will be useful, */
+/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
+/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
+/* GNU Lesser General Public License for more details. */
+/* */
+/* See the GNU Lesser General Public License version 2.1 */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
+/* ************************************************************************ */
+
// --------------------------------------------------------------------------
// --- Eva Values
// --------------------------------------------------------------------------
diff --git a/ivette/src/frama-c/plugins/eva/probeinfos.tsx b/ivette/src/frama-c/plugins/eva/probeinfos.tsx
index 7f8d1da41fc..8bfd82fa0db 100644
--- a/ivette/src/frama-c/plugins/eva/probeinfos.tsx
+++ b/ivette/src/frama-c/plugins/eva/probeinfos.tsx
@@ -1,3 +1,25 @@
+/* ************************************************************************ */
+/* */
+/* This file is part of Frama-C. */
+/* */
+/* Copyright (C) 2007-2021 */
+/* CEA (Commissariat à l'énergie atomique et aux énergies */
+/* alternatives) */
+/* */
+/* you can redistribute it and/or modify it under the terms of the GNU */
+/* Lesser General Public License as published by the Free Software */
+/* Foundation, version 2.1. */
+/* */
+/* It is distributed in the hope that it will be useful, */
+/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
+/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
+/* GNU Lesser General Public License for more details. */
+/* */
+/* See the GNU Lesser General Public License version 2.1 */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
+/* ************************************************************************ */
+
// --------------------------------------------------------------------------
// --- Eva Values
// --------------------------------------------------------------------------
diff --git a/ivette/src/frama-c/plugins/eva/probes.ts b/ivette/src/frama-c/plugins/eva/probes.ts
index e301c9f6439..3f4f4098667 100644
--- a/ivette/src/frama-c/plugins/eva/probes.ts
+++ b/ivette/src/frama-c/plugins/eva/probes.ts
@@ -1,3 +1,25 @@
+/* ************************************************************************ */
+/* */
+/* This file is part of Frama-C. */
+/* */
+/* Copyright (C) 2007-2021 */
+/* CEA (Commissariat à l'énergie atomique et aux énergies */
+/* alternatives) */
+/* */
+/* you can redistribute it and/or modify it under the terms of the GNU */
+/* Lesser General Public License as published by the Free Software */
+/* Foundation, version 2.1. */
+/* */
+/* It is distributed in the hope that it will be useful, */
+/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
+/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
+/* GNU Lesser General Public License for more details. */
+/* */
+/* See the GNU Lesser General Public License version 2.1 */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
+/* ************************************************************************ */
+
/* --------------------------------------------------------------------------*/
/* --- Probes ---*/
/* --------------------------------------------------------------------------*/
diff --git a/ivette/src/frama-c/plugins/eva/sized.tsx b/ivette/src/frama-c/plugins/eva/sized.tsx
index bb4b564a174..8b142f4add9 100644
--- a/ivette/src/frama-c/plugins/eva/sized.tsx
+++ b/ivette/src/frama-c/plugins/eva/sized.tsx
@@ -1,3 +1,25 @@
+/* ************************************************************************ */
+/* */
+/* This file is part of Frama-C. */
+/* */
+/* Copyright (C) 2007-2021 */
+/* CEA (Commissariat à l'énergie atomique et aux énergies */
+/* alternatives) */
+/* */
+/* you can redistribute it and/or modify it under the terms of the GNU */
+/* Lesser General Public License as published by the Free Software */
+/* Foundation, version 2.1. */
+/* */
+/* It is distributed in the hope that it will be useful, */
+/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
+/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
+/* GNU Lesser General Public License for more details. */
+/* */
+/* See the GNU Lesser General Public License version 2.1 */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
+/* ************************************************************************ */
+
// --------------------------------------------------------------------------
// --- Sized Cell
// --------------------------------------------------------------------------
diff --git a/ivette/src/frama-c/plugins/eva/stacks.ts b/ivette/src/frama-c/plugins/eva/stacks.ts
index 891d90fea51..c1594e56040 100644
--- a/ivette/src/frama-c/plugins/eva/stacks.ts
+++ b/ivette/src/frama-c/plugins/eva/stacks.ts
@@ -1,3 +1,25 @@
+/* ************************************************************************ */
+/* */
+/* This file is part of Frama-C. */
+/* */
+/* Copyright (C) 2007-2021 */
+/* CEA (Commissariat à l'énergie atomique et aux énergies */
+/* alternatives) */
+/* */
+/* you can redistribute it and/or modify it under the terms of the GNU */
+/* Lesser General Public License as published by the Free Software */
+/* Foundation, version 2.1. */
+/* */
+/* It is distributed in the hope that it will be useful, */
+/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
+/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
+/* GNU Lesser General Public License for more details. */
+/* */
+/* See the GNU Lesser General Public License version 2.1 */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
+/* ************************************************************************ */
+
// --------------------------------------------------------------------------
// --- CallStacks
// --------------------------------------------------------------------------
diff --git a/ivette/src/frama-c/plugins/eva/valueinfos.tsx b/ivette/src/frama-c/plugins/eva/valueinfos.tsx
index 72271f07b54..1b1bdecd08e 100644
--- a/ivette/src/frama-c/plugins/eva/valueinfos.tsx
+++ b/ivette/src/frama-c/plugins/eva/valueinfos.tsx
@@ -1,3 +1,25 @@
+/* ************************************************************************ */
+/* */
+/* This file is part of Frama-C. */
+/* */
+/* Copyright (C) 2007-2021 */
+/* CEA (Commissariat à l'énergie atomique et aux énergies */
+/* alternatives) */
+/* */
+/* you can redistribute it and/or modify it under the terms of the GNU */
+/* Lesser General Public License as published by the Free Software */
+/* Foundation, version 2.1. */
+/* */
+/* It is distributed in the hope that it will be useful, */
+/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
+/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
+/* GNU Lesser General Public License for more details. */
+/* */
+/* See the GNU Lesser General Public License version 2.1 */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
+/* ************************************************************************ */
+
// --------------------------------------------------------------------------
// --- Info Components
// --------------------------------------------------------------------------
diff --git a/ivette/src/frama-c/plugins/eva/valuetable.tsx b/ivette/src/frama-c/plugins/eva/valuetable.tsx
index 8a4dff4bac1..9b60287b841 100644
--- a/ivette/src/frama-c/plugins/eva/valuetable.tsx
+++ b/ivette/src/frama-c/plugins/eva/valuetable.tsx
@@ -1,3 +1,25 @@
+/* ************************************************************************ */
+/* */
+/* This file is part of Frama-C. */
+/* */
+/* Copyright (C) 2007-2021 */
+/* CEA (Commissariat à l'énergie atomique et aux énergies */
+/* alternatives) */
+/* */
+/* you can redistribute it and/or modify it under the terms of the GNU */
+/* Lesser General Public License as published by the Free Software */
+/* Foundation, version 2.1. */
+/* */
+/* It is distributed in the hope that it will be useful, */
+/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
+/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
+/* GNU Lesser General Public License for more details. */
+/* */
+/* See the GNU Lesser General Public License version 2.1 */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
+/* ************************************************************************ */
+
// --------------------------------------------------------------------------
// --- Eva Values
// --------------------------------------------------------------------------
diff --git a/ivette/src/frama-c/server.ts b/ivette/src/frama-c/server.ts
index 63c67957c1a..774de2e8f93 100644
--- a/ivette/src/frama-c/server.ts
+++ b/ivette/src/frama-c/server.ts
@@ -1,3 +1,25 @@
+/* ************************************************************************ */
+/* */
+/* This file is part of Frama-C. */
+/* */
+/* Copyright (C) 2007-2021 */
+/* CEA (Commissariat à l'énergie atomique et aux énergies */
+/* alternatives) */
+/* */
+/* you can redistribute it and/or modify it under the terms of the GNU */
+/* Lesser General Public License as published by the Free Software */
+/* Foundation, version 2.1. */
+/* */
+/* It is distributed in the hope that it will be useful, */
+/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
+/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
+/* GNU Lesser General Public License for more details. */
+/* */
+/* See the GNU Lesser General Public License version 2.1 */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
+/* ************************************************************************ */
+
// --------------------------------------------------------------------------
// --- Frama-C Server
// --------------------------------------------------------------------------
diff --git a/ivette/src/frama-c/states.ts b/ivette/src/frama-c/states.ts
index a7580038100..9b8e76f94bd 100644
--- a/ivette/src/frama-c/states.ts
+++ b/ivette/src/frama-c/states.ts
@@ -1,3 +1,25 @@
+/* ************************************************************************ */
+/* */
+/* This file is part of Frama-C. */
+/* */
+/* Copyright (C) 2007-2021 */
+/* CEA (Commissariat à l'énergie atomique et aux énergies */
+/* alternatives) */
+/* */
+/* you can redistribute it and/or modify it under the terms of the GNU */
+/* Lesser General Public License as published by the Free Software */
+/* Foundation, version 2.1. */
+/* */
+/* It is distributed in the hope that it will be useful, */
+/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
+/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
+/* GNU Lesser General Public License for more details. */
+/* */
+/* See the GNU Lesser General Public License version 2.1 */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
+/* ************************************************************************ */
+
// --------------------------------------------------------------------------
// --- Frama-C States
// --------------------------------------------------------------------------
diff --git a/ivette/src/frama-c/utils.ts b/ivette/src/frama-c/utils.ts
index 0d0980bae04..1fde188519e 100644
--- a/ivette/src/frama-c/utils.ts
+++ b/ivette/src/frama-c/utils.ts
@@ -1,3 +1,25 @@
+/* ************************************************************************ */
+/* */
+/* This file is part of Frama-C. */
+/* */
+/* Copyright (C) 2007-2021 */
+/* CEA (Commissariat à l'énergie atomique et aux énergies */
+/* alternatives) */
+/* */
+/* you can redistribute it and/or modify it under the terms of the GNU */
+/* Lesser General Public License as published by the Free Software */
+/* Foundation, version 2.1. */
+/* */
+/* It is distributed in the hope that it will be useful, */
+/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
+/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
+/* GNU Lesser General Public License for more details. */
+/* */
+/* See the GNU Lesser General Public License version 2.1 */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
+/* ************************************************************************ */
+
// --------------------------------------------------------------------------
// --- Frama-C Utilities
// --------------------------------------------------------------------------
diff --git a/ivette/src/ivette/index.tsx b/ivette/src/ivette/index.tsx
index 7e205094917..34ded18921e 100644
--- a/ivette/src/ivette/index.tsx
+++ b/ivette/src/ivette/index.tsx
@@ -1,3 +1,25 @@
+/* ************************************************************************ */
+/* */
+/* This file is part of Frama-C. */
+/* */
+/* Copyright (C) 2007-2021 */
+/* CEA (Commissariat à l'énergie atomique et aux énergies */
+/* alternatives) */
+/* */
+/* you can redistribute it and/or modify it under the terms of the GNU */
+/* Lesser General Public License as published by the Free Software */
+/* Foundation, version 2.1. */
+/* */
+/* It is distributed in the hope that it will be useful, */
+/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
+/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
+/* GNU Lesser General Public License for more details. */
+/* */
+/* See the GNU Lesser General Public License version 2.1 */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
+/* ************************************************************************ */
+
/* --------------------------------------------------------------------------*/
/* --- Lab View Component ---*/
/* --------------------------------------------------------------------------*/
diff --git a/ivette/src/ivette/prefs.tsx b/ivette/src/ivette/prefs.tsx
index 49a13dbb15e..71df4d94ca4 100644
--- a/ivette/src/ivette/prefs.tsx
+++ b/ivette/src/ivette/prefs.tsx
@@ -1,3 +1,25 @@
+/* ************************************************************************ */
+/* */
+/* This file is part of Frama-C. */
+/* */
+/* Copyright (C) 2007-2021 */
+/* CEA (Commissariat à l'énergie atomique et aux énergies */
+/* alternatives) */
+/* */
+/* you can redistribute it and/or modify it under the terms of the GNU */
+/* Lesser General Public License as published by the Free Software */
+/* Foundation, version 2.1. */
+/* */
+/* It is distributed in the hope that it will be useful, */
+/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
+/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
+/* GNU Lesser General Public License for more details. */
+/* */
+/* See the GNU Lesser General Public License version 2.1 */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
+/* ************************************************************************ */
+
// --------------------------------------------------------------------------
// --- Main React Component rendered by './index.js'
// --------------------------------------------------------------------------
diff --git a/ivette/src/main/index.js b/ivette/src/main/index.js
index ab5c926157d..1fcf42e21f9 100644
--- a/ivette/src/main/index.js
+++ b/ivette/src/main/index.js
@@ -1,3 +1,25 @@
+/* ************************************************************************ */
+/* */
+/* This file is part of Frama-C. */
+/* */
+/* Copyright (C) 2007-2021 */
+/* CEA (Commissariat à l'énergie atomique et aux énergies */
+/* alternatives) */
+/* */
+/* you can redistribute it and/or modify it under the terms of the GNU */
+/* Lesser General Public License as published by the Free Software */
+/* Foundation, version 2.1. */
+/* */
+/* It is distributed in the hope that it will be useful, */
+/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
+/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
+/* GNU Lesser General Public License for more details. */
+/* */
+/* See the GNU Lesser General Public License version 2.1 */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
+/* ************************************************************************ */
+
// --------------------------------------------------------------------------
// --- Electron main-process entry-point for Dome.
// --------------------------------------------------------------------------
diff --git a/ivette/src/renderer/Application.tsx b/ivette/src/renderer/Application.tsx
index db7ff6f6d26..e3ba66cbb85 100644
--- a/ivette/src/renderer/Application.tsx
+++ b/ivette/src/renderer/Application.tsx
@@ -1,3 +1,25 @@
+/* ************************************************************************ */
+/* */
+/* This file is part of Frama-C. */
+/* */
+/* Copyright (C) 2007-2021 */
+/* CEA (Commissariat à l'énergie atomique et aux énergies */
+/* alternatives) */
+/* */
+/* you can redistribute it and/or modify it under the terms of the GNU */
+/* Lesser General Public License as published by the Free Software */
+/* Foundation, version 2.1. */
+/* */
+/* It is distributed in the hope that it will be useful, */
+/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
+/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
+/* GNU Lesser General Public License for more details. */
+/* */
+/* See the GNU Lesser General Public License version 2.1 */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
+/* ************************************************************************ */
+
// --------------------------------------------------------------------------
// --- Main React Component rendered by './index.js'
// --------------------------------------------------------------------------
diff --git a/ivette/src/renderer/Controller.tsx b/ivette/src/renderer/Controller.tsx
index 04c9d5c9d88..5024b55c06d 100644
--- a/ivette/src/renderer/Controller.tsx
+++ b/ivette/src/renderer/Controller.tsx
@@ -1,3 +1,25 @@
+/* ************************************************************************ */
+/* */
+/* This file is part of Frama-C. */
+/* */
+/* Copyright (C) 2007-2021 */
+/* CEA (Commissariat à l'énergie atomique et aux énergies */
+/* alternatives) */
+/* */
+/* you can redistribute it and/or modify it under the terms of the GNU */
+/* Lesser General Public License as published by the Free Software */
+/* Foundation, version 2.1. */
+/* */
+/* It is distributed in the hope that it will be useful, */
+/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
+/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
+/* GNU Lesser General Public License for more details. */
+/* */
+/* See the GNU Lesser General Public License version 2.1 */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
+/* ************************************************************************ */
+
// --------------------------------------------------------------------------
// --- Server Controller
// --------------------------------------------------------------------------
diff --git a/ivette/src/renderer/Extensions.tsx b/ivette/src/renderer/Extensions.tsx
index 962fc0a09a2..8aebf063d49 100644
--- a/ivette/src/renderer/Extensions.tsx
+++ b/ivette/src/renderer/Extensions.tsx
@@ -1,3 +1,25 @@
+/* ************************************************************************ */
+/* */
+/* This file is part of Frama-C. */
+/* */
+/* Copyright (C) 2007-2021 */
+/* CEA (Commissariat à l'énergie atomique et aux énergies */
+/* alternatives) */
+/* */
+/* you can redistribute it and/or modify it under the terms of the GNU */
+/* Lesser General Public License as published by the Free Software */
+/* Foundation, version 2.1. */
+/* */
+/* It is distributed in the hope that it will be useful, */
+/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
+/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
+/* GNU Lesser General Public License for more details. */
+/* */
+/* See the GNU Lesser General Public License version 2.1 */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
+/* ************************************************************************ */
+
/* --------------------------------------------------------------------------*/
/* --- Ivette Extensions ---*/
/* --------------------------------------------------------------------------*/
diff --git a/ivette/src/renderer/Laboratory.tsx b/ivette/src/renderer/Laboratory.tsx
index 5d6a3cbe057..3a41a613e3f 100644
--- a/ivette/src/renderer/Laboratory.tsx
+++ b/ivette/src/renderer/Laboratory.tsx
@@ -1,3 +1,25 @@
+/* ************************************************************************ */
+/* */
+/* This file is part of Frama-C. */
+/* */
+/* Copyright (C) 2007-2021 */
+/* CEA (Commissariat à l'énergie atomique et aux énergies */
+/* alternatives) */
+/* */
+/* you can redistribute it and/or modify it under the terms of the GNU */
+/* Lesser General Public License as published by the Free Software */
+/* Foundation, version 2.1. */
+/* */
+/* It is distributed in the hope that it will be useful, */
+/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
+/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
+/* GNU Lesser General Public License for more details. */
+/* */
+/* See the GNU Lesser General Public License version 2.1 */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
+/* ************************************************************************ */
+
// --------------------------------------------------------------------------
// --- Lab View Component
// --------------------------------------------------------------------------
diff --git a/ivette/src/renderer/Preferences.tsx b/ivette/src/renderer/Preferences.tsx
index c1cb7e72194..a16aea3fdb2 100644
--- a/ivette/src/renderer/Preferences.tsx
+++ b/ivette/src/renderer/Preferences.tsx
@@ -1,3 +1,25 @@
+/* ************************************************************************ */
+/* */
+/* This file is part of Frama-C. */
+/* */
+/* Copyright (C) 2007-2021 */
+/* CEA (Commissariat à l'énergie atomique et aux énergies */
+/* alternatives) */
+/* */
+/* you can redistribute it and/or modify it under the terms of the GNU */
+/* Lesser General Public License as published by the Free Software */
+/* Foundation, version 2.1. */
+/* */
+/* It is distributed in the hope that it will be useful, */
+/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
+/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
+/* GNU Lesser General Public License for more details. */
+/* */
+/* See the GNU Lesser General Public License version 2.1 */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
+/* ************************************************************************ */
+
// --------------------------------------------------------------------------
// --- Main React Component rendered by './index.js'
// --------------------------------------------------------------------------
diff --git a/ivette/src/renderer/index.js b/ivette/src/renderer/index.js
index 2452a96d7a5..c608c792eac 100644
--- a/ivette/src/renderer/index.js
+++ b/ivette/src/renderer/index.js
@@ -1,3 +1,25 @@
+/* ************************************************************************ */
+/* */
+/* This file is part of Frama-C. */
+/* */
+/* Copyright (C) 2007-2021 */
+/* CEA (Commissariat à l'énergie atomique et aux énergies */
+/* alternatives) */
+/* */
+/* you can redistribute it and/or modify it under the terms of the GNU */
+/* Lesser General Public License as published by the Free Software */
+/* Foundation, version 2.1. */
+/* */
+/* It is distributed in the hope that it will be useful, */
+/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
+/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
+/* GNU Lesser General Public License for more details. */
+/* */
+/* See the GNU Lesser General Public License version 2.1 */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
+/* ************************************************************************ */
+
// --------------------------------------------------------------------------
// --- Electron renderer-process entry-point for Dome.
// --------------------------------------------------------------------------
diff --git a/ivette/webpack.main.js b/ivette/webpack.main.js
index 3d91c95097c..ff2ce5b7c4a 100644
--- a/ivette/webpack.main.js
+++ b/ivette/webpack.main.js
@@ -1,3 +1,25 @@
+/* ************************************************************************ */
+/* */
+/* This file is part of Frama-C. */
+/* */
+/* Copyright (C) 2007-2021 */
+/* CEA (Commissariat à l'énergie atomique et aux énergies */
+/* alternatives) */
+/* */
+/* you can redistribute it and/or modify it under the terms of the GNU */
+/* Lesser General Public License as published by the Free Software */
+/* Foundation, version 2.1. */
+/* */
+/* It is distributed in the hope that it will be useful, */
+/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
+/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
+/* GNU Lesser General Public License for more details. */
+/* */
+/* See the GNU Lesser General Public License version 2.1 */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
+/* ************************************************************************ */
+
// --------------------------------------------------------------------------
// --- Webpack extension for electron main-process
// --------------------------------------------------------------------------
diff --git a/ivette/webpack.renderer.js b/ivette/webpack.renderer.js
index 3f9bea9ec9b..b88b48a4308 100644
--- a/ivette/webpack.renderer.js
+++ b/ivette/webpack.renderer.js
@@ -1,3 +1,25 @@
+/* ************************************************************************ */
+/* */
+/* This file is part of Frama-C. */
+/* */
+/* Copyright (C) 2007-2021 */
+/* CEA (Commissariat à l'énergie atomique et aux énergies */
+/* alternatives) */
+/* */
+/* you can redistribute it and/or modify it under the terms of the GNU */
+/* Lesser General Public License as published by the Free Software */
+/* Foundation, version 2.1. */
+/* */
+/* It is distributed in the hope that it will be useful, */
+/* but WITHOUT ANY WARRANTY; without even the implied warranty of */
+/* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the */
+/* GNU Lesser General Public License for more details. */
+/* */
+/* See the GNU Lesser General Public License version 2.1 */
+/* for more details (enclosed in the file licenses/LGPLv2.1). */
+/* */
+/* ************************************************************************ */
+
// --------------------------------------------------------------------------
// --- Webpack extension for electron main-process
// --------------------------------------------------------------------------
--
GitLab