Skip to content
Snippets Groups Projects
header_spec.txt 9.15 KiB
.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
Makefile.distrib: .ignore
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/displays.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_generator.ml: CEA_LGPL
src/frama-c/client.ts: CEA_LGPL
src/frama-c/client_socket.ts: CEA_LGPL
src/frama-c/client_zmq.ts: CEA_LGPL
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/Messages.tsx: CEA_LGPL
src/frama-c/kernel/PivotTable.tsx: CEA_LGPL
src/frama-c/kernel/Properties.tsx: CEA_LGPL
src/frama-c/kernel/SourceCode.tsx: CEA_LGPL
src/frama-c/kernel/Status.tsx: CEA_LGPL
src/frama-c/kernel/api/ast/index.ts: CEA_LGPL
src/frama-c/kernel/api/data/index.ts: CEA_LGPL
src/frama-c/kernel/api/project/index.ts: CEA_LGPL
src/frama-c/kernel/api/properties/index.ts: CEA_LGPL
src/frama-c/kernel/api/services/index.ts: CEA_LGPL
src/frama-c/kernel/style.css: .ignore
src/frama-c/menu.ts: CEA_LGPL
src/frama-c/pkg.json: .ignore
src/frama-c/plugins/dive/api/index.ts: CEA_LGPL
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/Coverage.tsx: CEA_LGPL
src/frama-c/plugins/eva/CoverageMeter.tsx: CEA_LGPL
src/frama-c/plugins/eva/Summary.tsx: CEA_LGPL
src/frama-c/plugins/eva/api/general/index.ts: CEA_LGPL
src/frama-c/plugins/eva/api/values/index.ts: CEA_LGPL
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/summary.css: .ignore
src/frama-c/plugins/eva/valueinfos.tsx: CEA_LGPL
src/frama-c/plugins/eva/valuetable.tsx: CEA_LGPL
src/frama-c/plugins/pivot/api/general/index.ts: CEA_LGPL
src/frama-c/plugins/studia/api/studia/index.ts: CEA_LGPL
src/frama-c/react-pivottable.d.ts: 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/ivette/sandbox.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