diff --git a/ivette/Makefile b/ivette/Makefile
index 4cf1cea9e8934cf73432c707b7f1c279db2bd6d9..3773b4b802101e9d8989363586aada401123bfbb 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 0000000000000000000000000000000000000000..f07b25b563ce5bff583d87d1389682251b6e8575
--- /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 e69de29bb2d1d6434b8b29ae775ad8c2e48c5391..891eabe425154b20229996fcfc120eb2678605b8 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 91d1bf27385974c111d0cc69543f9870a1959f09..282fec67f35e5e99bfad4df02bffc09042218ab8 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 d4ee1916ce8f0e13cb61f930cbcdcf39ff366913..f934315bc13e43ea05b60c1096a3bb950b9436cb 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 5ca2f7ed903e25445a82f67b147a64e0c08c913c..d22df5c443ed5515b682d289ec1ff83d01413fcb 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 8042675a83d8abb31b33f494126b4584c4db3d94..cc191803243e0cce7fff3123dbedf1628fa1c583 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 ceeba36f4e8ce074d0503f212f2f50095af4189e..4675e5d8cd189e0a2ab207b44fe5e77d18d773d1 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 a2eada5dc588abff223fd22c3a4def0bfee250d7..b43e52c2b7a1c8635656388283dce94ee2635554 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 9dbd931ae2cc4673f797078f4654ca50d9ad2201..b15ff61229e284e6c022a5eea04f439168e90176 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 871c37c1221660b797f502e089f64f6fe8b632e4..85e2b5a79f40f80bd6a2f2ded689b351202cef79 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 d6547bf5a8d89165ae31e9d4d1a9154aa4ffb33a..14017179215c3071143bc8e6f61f60ead863d901 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 ca1630fc302230e8ff3c11f447b030ce131c9e72..57b820409dce90faa2c78f012237ed5445f6fd9d 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 337be8717b306847b32aa58963bf784c3e2d0fcf..26dc17956720dfca5419f5034286885d1f83baa3 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 76f304999bf0d97da38455431aae41114f388c05..b848fc1671087713f5c981e4b718cf85a3012a64 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 e175217eceddafcbbd811d0a53d7ac15e6e7c637..c3f069238346088a3d8ddbb5f79afaf89d16ba4d 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 9ca6989bbe1f7b50e89df9727f8ff8ea313c211d..d63c4d9cd6056403b921315f1dcab89ebe0ee25c 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 030a2180b9095f35002e52801dd965da59a3e0d2..beb1eb269dd08a21d6da4787513f2a0ec7919d89 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 e5bc3fa9f1d88b946358fdaff1577acb0c937a67..36556d52bfd7a033d07e2def97524516bdff2779 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 603de8c4280207045929d6a63329a8d95ba792b5..0be5c7bb6a51a52c5824e85cf2f76c9f0e79d04e 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 12606069a35c248072e1994daa4a1350f415bdf9..f09729d827c30505a63dab087f11065d71d79d07 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 b8cfc300071c79342ab28a8912b3296e5b3c1f11..b424ac4ec8832ee2af4999653b2c70f7c83f9bd9 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 94d66b95e639b4ae1d2ceb14e34b3676e3093b64..7cbe2a4c7478fd2f3534070287e833d49fff7bc1 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 0b48784125de6118455447f504fd29d25c1b7ee5..9200de9dce20db3fe2739878f853c02c9d2316ef 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 d84c50b4a32c1f5afb154c59000fadc069e4653c..6064de0c647d07e2fae893a4d307073c0c37c6fc 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 789bcb44149e634bd107db0efc6f65bf169e6cf1..5d8d33fbb92f829e2acfb733cc4fc5a7471c1356 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 73673d6a8e2ae9c6f9377d6e8517219e79968115..b169b3570041fc8d8f1d1e46e380710d247a6a9e 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 3cb95ffaa0da2586836e4adf453964007b533384..56b4e428a83ceb70da0e02277bb1505bdc26f31a 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 5a7f8af8b452f79318f79e2daa2f897378d4dc6c..b914f2cb496c89d3b39b8a017f0bc16844d2e1d5 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 f2bbe883d849b02a7d5b8eb877fd0ed9c0fead4a..37063fbfd12bc3077b58a0eaa59f76928844114b 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 9ab710b5b95dec1e4d11b40e5146a7afbf8b96a4..95e459ab91b91191763dc4b94e575d70bfba4522 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 76c516f2950beaa5843e3c07a68e09647a863700..297aef8ce54bded0bc79726be5b8cffa3aa94408 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 6e33d160a886d8107a8300005d9d7693c93de57b..654599d6b9fc4432f0e16b7069e965d768ba76cd 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 f0a587f849fa9616c6add252a9533f632576fb8a..02dd4616f8da30a5666b904e008fbfea43b7779e 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 17fc74f263eb3c955d32ba2f30ff9904cd7665aa..ffa7c9193c00ea62ad7f9aebe63099b80cfc1a5e 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 4e0cd9992d19d558c7bc0132494b559c34d8415e..f7c3c947b0520e9c68e0b7fefe065de4902e6d3c 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 539097f43bea2e3b23af9a82fcf4e6c0601d51cb..3295da295354c8f833e0f3e310dc7b0fdfedb2c1 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 542d1d7c97a42463aa3f0f6f528e1262b58a4e07..f8414230ed94abf1948725c95492854caedbeab9 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 ea647d69a24c5b2d00ec0b70c1024724e2a2c328..5c16eacca8792b5f812f3e18da3fa836acb8c5f5 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 2452a96d7a597f939c6d9bd97305974ff9039d78..c608c792eac05a3ac94338314792ece2be25897b 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 3d91c95097c725faad8398566de393881c2a3b02..ff2ce5b7c4ad21a2d0a414069e7b8a64d5bdde74 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 f0b03d02cbe34d8c1399c36dbfa899cac95a368e..864a8c6f71c1e6ba1d72e6cbf97a3f5b24517179 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 9ae32c6bf691af3a416da8b033a070e337f6c38a..03afaed2e4db3b3f14b83ae484aea67859036425 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 e90c22f754936f59db24afb3eede129130222f0b..f848d3112771fed03f03194fba5c01ab79051b79 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 dfe685fc55801c456edde40ed9ee081cf1113f03..a618bbc59f568b8dcc12d2fafdb282d58a67fcaf 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 dcba1484d490140e593cacd56ab49052929aed4e..bd3d2a7d4170e8a883912045120f7d48a522acd5 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 7949c24a43c91be25965e1a3373dbb75c0222cff..3419792ac5a8199df425a22577780aee9cfc9b5a 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 19de6add85525eba51b77bad271d460e936cb13c..ebdc7a4f4e53f2edecbeefe8d23f3b48f0da5a6c 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 d16a45ad200fe7939ed2b1f81461ec0d78dce8e8..56cc6605d4e490885d3605fdbe2990a7f4ecf078 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 b08b8540d749cde916fd0650a73acd73c4c6dac2..f82f704494ff10d943d930776867d65e0c9ab1ec 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 003c89fe0638336421928fcdbade1fd3b06b209d..66d28da4aa93d7bcf6656ced291e965d477569a2 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 a63e1225775874f212c5494ee6591c58432c633e..5682e97f7da3d0e2a6ff25a2d2120abed6a776e4 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 75e85684bdb488849a75da5df3274cf3d5606897..4601eae5daed95d4cf9cb7a62960fa98f0f3d4a8 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 7bf897426b521f111ee9abb307d1f80344c0d727..2f2d9bbae19f40609fe3f95f0526a67ca9ada098 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 034fc93e90aec33741f5dba1e29faec480197079..7705b8ee8164ece05300b1d18e364bbb333391c0 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 d806894fbf0f4450275e0e9f3c3bf73bd498462a..5acd842a066c8b82aae272ce66c98699dd20f31c 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 3d5f9da244bddeb6ff5a2ed9fa36d2e99d09fcd1..cbf53ed1fe9b1d7acd0618b216c9331a16a5c48f 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 5024f12f3e0ce47a2bbfb0d88d4a43edb8b4c2ec..13e7ff4172851521ebdee5a2719c3e46b7853823 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 9fb4f2082b3f11e93b9a94de6fa88b546ad0614a..e38461a97fa668b18180a6cc3cef2af45fb0bbe6 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 35ecb1b1ffdebe5bed3e5964a17aad4e492479d3..c0921f4c2fafdfa7d5c3a7eb2f7fc08a46d07145 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 0cedc34e0e35f2c9c44d625c24ef0e051e5aee3b..e121ae5a9b4a92bada905cc84a234f420a3f70e1 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 e8a271f130a09d3780fe99ff3adf309d6968892b..8ae2959a98ea5554531f82b7e1b77c8fac6be8b4 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 b4242c27b06880a8e119bf6a74f5d6b572d8332f..42c1dec68c516f6f332adeaba410985064451d15 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 19dd3b913268add01e6b2623a54dda1879b5232b..8afd0ac17b8325d4c8146e2fdde00379049834a2 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 1cb699bc9420603632e6345de57c86aef1b84b75..9f2c3c733ab8443c010bf7f0a7f1cc1c05993a7a 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 c116ca319731b62b3b5cc456d666b07528931f2f..3d887e9b618a5b4ab9ce7ff6b53b18fb59bd844d 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 0c5f7c2bfe107e58f0d396178f448f2958979b29..a1f679d807a48d5f6dd91740d3f281df29e5b97e 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 7f8d1da41fcd27494b5905f9e234b811ee2277b2..8bfd82fa0dbc391f22e6139cfb234204bbd6302f 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 e301c9f6439052a0f86f958b488d3ede1a467508..3f4f40986673fec514ec665f8002bcf9ea9e1287 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 bb4b564a1740f236f4d79965a22db56e9b9987ed..8b142f4add9c902c74c08dacdec2186c93c104bb 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 891d90fea51c93ca5e28fd5493ba85538cb5ca0c..c1594e5604061a849f59378c9dab9e7d0f19dfb9 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 72271f07b54b58aa5f8f0cb486e5a892ae205286..1b1bdecd08eec0bdd3dbf3efe40e355c08ab53bb 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 8a4dff4bac16f75bca3f4f18390d08df12333490..9b60287b841e1ec5d71c6046864117d4ac98a741 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 63c67957c1a310aee3ba8154031adc677f02c8c5..774de2e8f93a727263a0f70ea2a129e5f30bd3c1 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 a7580038100d64ffaad5ce75e3cfe48ccd84d273..9b8e76f94bd53019f58e38f9fba2b2bc061e2b16 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 0d0980bae04002789d9cf1b0a1926a8e5d97c117..1fde188519e37b0bec10f4ef5c476f7877325a66 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 7e205094917586707f0a9dcc0cb2467809bb77cc..34ded18921e2a74912856128ac0ade0ad0080cb9 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 49a13dbb15e7c34f566be7039cc8b6f4b865b7f8..71df4d94ca47ab24bd17921320064355fec3cafe 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 ab5c926157df3d818edf6fe362980945beada6d8..1fcf42e21f91876f54da80584cfeb999a37fec11 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 db7ff6f6d260407bc5887c27de03b6bfd32f0dab..e3ba66cbb858995e681635296071bb4af395ef07 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 04c9d5c9d883b5ef896fbd4f7170322b51697fad..5024b55c06d52c548b8788959d391af728e4f122 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 962fc0a09a254ecf16b0158545ee2a3a44920f9c..8aebf063d490fa89e06d08d34b97a5f9a2dd1b8e 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 5d6a3cbe0572eadf3097bfb94f93f3e8a9d39162..3a41a613e3f2c0a661fcb76ce68272f63e3c1edb 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 c1cb7e72194a634953b60df144aeb09858d1e44e..a16aea3fdb2d8aa71fef5f9ed7451e9a832b52f4 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 2452a96d7a597f939c6d9bd97305974ff9039d78..c608c792eac05a3ac94338314792ece2be25897b 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 3d91c95097c725faad8398566de393881c2a3b02..ff2ce5b7c4ad21a2d0a414069e7b8a64d5bdde74 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 3f9bea9ec9b4d3ded76373b66839a38f0ec386e6..b88b48a4308b5b03bd7b640e5274809a7dee3e93 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
// --------------------------------------------------------------------------