Skip to content
Snippets Groups Projects
Commit 7dc7e69e authored by Patrick Baudin's avatar Patrick Baudin
Browse files

[headers] cleaning header spec file

parent 85c09f81
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
headers/header_spec.txt
+ 0
− 2004
View file @ 7dc7e69e
.force-reconfigure: .ignore
.gitattributes: .ignore
.gitignore: .ignore
.gitlab-ci.yml: .ignore
.mailmap: .ignore
.make-clean: .ignore
.make-clean-stamp: .ignore
ALL_VERSIONS: .ignore
Changelog: .ignore
Changelog_detailed.md: .ignore
INSTALL.md: .ignore
Makefile: CEA_LGPL
Makefile.generating: CEA_LGPL
README.md: .ignore
VERSION: .ignore
VERSION_CODENAME: .ignore
bin/.gitignore: .ignore
bin/build-src-distrib.sh: .ignore
bin/frama-c: CEA_LGPL
bin/frama-c-config: CEA_LGPL
bin/frama-c-script: CEA_LGPL
bin/frama-c-gui: CEA_LGPL
bin/frama-c-gui.byte: CEA_LGPL
bin/frama-c.byte: CEA_LGPL
bin/frama-c.top: CEA_LGPL
bin/local_export.sh: CEA_LGPL
bin/migration_scripts/aluminium2silicon.sh: CEA_LGPL
bin/migration_scripts/boron2carbon.sh: CEA_LGPL
bin/migration_scripts/carbon2nitrogen.sh: CEA_LGPL
bin/migration_scripts/fluorine2neon.sh: CEA_LGPL
bin/migration_scripts/lithium2beryllium.sh: CEA_LGPL
bin/migration_scripts/magnesium2aluminium.sh: CEA_LGPL
bin/migration_scripts/neon2sodium.sh: CEA_LGPL
bin/migration_scripts/nitrogen2oxygen.sh: CEA_LGPL
bin/migration_scripts/oxygen2fluorine.sh: CEA_LGPL
bin/migration_scripts/phosphorus2sulfur.sh: CEA_LGPL
bin/migration_scripts/silicon2phosphorus.sh: CEA_LGPL
bin/migration_scripts/sodium2magnesium.sh: CEA_LGPL
bin/migration_scripts/sulfur2chlorine.sh: CEA_LGPL
bin/migration_scripts/chlorine2argon.sh: CEA_LGPL
bin/migration_scripts/potassium2calcium.sh: CEA_LGPL
bin/sed_get_binutils_version: .ignore
bin/sed_get_make_major: .ignore
bin/sed_get_make_minor: .ignore
config.h.in: CEA_LGPL
configure.in: CEA_INRIA_LGPL
devel_tools/size.ml: .ignore
devel_tools/size.mli: .ignore
doc/Makefile: CEA_LGPL
doc/README: .ignore
doc/code/docgen.ml: CEA_LGPL
doc/code/intro_kernel_plugin.txt: CEA_LGPL
doc/code/intro_occurrence.txt: CEA_LGPL
doc/code/intro_pdg.txt: CEA_LGPL
doc/code/intro_plugin.txt: CEA_LGPL
doc/code/intro_plugin_D_and_S.txt: CEA_LGPL
doc/code/intro_plugin_default.txt: CEA_LGPL
doc/code/intro_scope.txt: CEA_LGPL
doc/code/intro_slicing.txt: CEA_LGPL
doc/code/intro_sparecode.txt: CEA_LGPL
doc/code/style.css: CEA_LGPL
doc/code/toc_head.htm: CEA_LGPL
doc/code/toc_tail.htm: CEA_LGPL
headers/check-headers.sh: CEA_PROPRIETARY
headers/close-source/ACSL_EL: .ignore
headers/close-source/AORAI_LGPL: .ignore
headers/close-source/CEA_INRIA_LGPL: .ignore
headers/close-source/CEA_LGPL: .ignore
headers/close-source/CEA_LGPL_OR_PROPRIETARY: .ignore
headers/close-source/CEA_PROPRIETARY: .ignore
headers/close-source/CEA_WP: .ignore
headers/close-source/CIL: .ignore
headers/close-source/INRIA_BSD: .ignore
headers/close-source/INRIA_LGPL: .ignore
headers/close-source/INSA_INRIA_LGPL: .ignore
headers/close-source/MODIFIED_MENHIR: .ignore
headers/close-source/MODIFIED_OCAMLGRAPH: .ignore
headers/close-source/MODIFIED_WHY3: .ignore
headers/close-source/OCAML_STDLIB: .ignore
headers/close-source/UNMODIFIED_WHY3: .ignore
headers/headache.sh: CEA_PROPRIETARY
headers/headache_config.txt: .ignore
headers/header_spec.txt: .ignore
headers/open-source/ACSL_EL: .ignore
headers/open-source/AORAI_LGPL: .ignore
headers/open-source/CEA_INRIA_LGPL: .ignore
headers/open-source/CEA_LGPL: .ignore
headers/open-source/CEA_LGPL_OR_PROPRIETARY: .ignore
headers/open-source/CEA_PROPRIETARY: .ignore
headers/open-source/CEA_WP: .ignore
headers/open-source/CIL: .ignore
headers/open-source/INRIA_BSD: .ignore
headers/open-source/INRIA_LGPL: .ignore
headers/open-source/INSA_INRIA_LGPL: .ignore
headers/open-source/MODIFIED_MENHIR: .ignore
headers/open-source/MODIFIED_OCAMLGRAPH: .ignore
headers/open-source/MODIFIED_WHY3: .ignore
headers/open-source/OCAML_STDLIB: .ignore
headers/open-source/UNMODIFIED_WHY3: .ignore
headers/updates-headers.sh: CEA_PROPRIETARY
lib/plugins/PLUGINS.README: .ignore
licenses/CDDL-1.0: .ignore
licenses/LGPLv2: .ignore
licenses/LGPLv2.1: .ignore
licenses/Q_MODIFIED_LICENSE: .ignore
man/frama-c.1: CEA_LGPL
opam/descr: .ignore
opam/opam: .ignore
ptests/.gitignore: .ignore
ptests/.merlin: .ignore
ptests/ptests.ml: CEA_LGPL
share/_frama-c: CEA_LGPL
share/analysis-scripts/benchmark_database.py: .ignore
share/analysis-scripts/clone.sh: .ignore
share/analysis-scripts/fc_stubs.c: .ignore
share/analysis-scripts/frama-c.mk: CEA_LGPL
share/analysis-scripts/frama_c_results.py: .ignore
share/analysis-scripts/cmd-dep.sh: .ignore
share/analysis-scripts/concat-csv.sh: .ignore
share/analysis-scripts/examples/example.c: .ignore
share/analysis-scripts/examples/example.mk: .ignore
share/analysis-scripts/examples/example-multi.mk: .ignore
share/analysis-scripts/examples/example-slevel.mk: .ignore
share/analysis-scripts/examples/Makefile: .ignore
share/analysis-scripts/find_fun.py: .ignore
share/analysis-scripts/flamegraph.pl: CDDL
share/analysis-scripts/git_utils.py: .ignore
share/analysis-scripts/list_files.py: .ignore
share/analysis-scripts/make_template.py: .ignore
share/analysis-scripts/make_wrapper.py: .ignore
share/analysis-scripts/parse-coverage.sh: .ignore
share/analysis-scripts/README.md: .ignore
share/analysis-scripts/results_display.py: .ignore
share/analysis-scripts/summary.py: .ignore
share/analysis-scripts/template.mk: .ignore
share/compliance/c11_functions.json: .ignore
share/compliance/glibc_functions.json: .ignore
share/compliance/nonstandard_identifiers.json: .ignore
share/compliance/posix_identifiers.json: .ignore
share/autocomplete_frama-c: CEA_LGPL
share/Makefile.clean: CEA_LGPL
share/Makefile.common: CEA_LGPL
share/Makefile.config.in: CEA_LGPL
share/Makefile.dynamic: CEA_LGPL
share/Makefile.dynamic_config.external: CEA_LGPL
share/Makefile.dynamic_config.internal: CEA_LGPL
share/Makefile.generic: CEA_LGPL
share/Makefile.plugin.template: CEA_LGPL
share/META.frama-c: .ignore
share/configure.ac: CEA_LGPL
share/emacs/acsl.el: ACSL_EL
share/emacs/frama-c-dev.el: CEA_LGPL
share/emacs/frama-c-init.el: CEA_LGPL
share/emacs/frama-c-recommended.el: CEA_LGPL
share/frama-c-icon.svg: .ignore
share/frama-c.Unix.rc: CEA_LGPL
share/frama-c.WIN32.rc: CEA_LGPL
share/frama-c.ico: .ignore
share/frama-c.png: .ignore
share/framac.vim: .ignore
share/libc.c: CEA_LGPL
share/libc/__fc_alloc_axiomatic.h: CEA_LGPL
share/libc/__fc_builtin.c: CEA_LGPL
share/libc/__fc_builtin.h: CEA_LGPL
share/libc/__fc_define_blkcnt_t.h: CEA_LGPL
share/libc/__fc_define_blksize_t.h: CEA_LGPL
share/libc/__fc_define_clockid_t.h: CEA_LGPL
share/libc/__fc_define_dev_t.h: CEA_LGPL
share/libc/__fc_define_eof.h: CEA_LGPL
share/libc/__fc_define_fd_set_t.h: CEA_LGPL
share/libc/__fc_define_file.h: CEA_LGPL
share/libc/__fc_define_fpos_t.h: CEA_LGPL
share/libc/__fc_define_id_t.h: CEA_LGPL
share/libc/__fc_define_ino_t.h: CEA_LGPL
share/libc/__fc_define_intptr_t.h: CEA_LGPL
share/libc/__fc_define_iovec.h: CEA_LGPL
share/libc/__fc_define_key_t.h: CEA_LGPL
share/libc/__fc_define_mode_t.h: CEA_LGPL
share/libc/__fc_define_nlink_t.h: CEA_LGPL
share/libc/__fc_define_null.h: CEA_LGPL
share/libc/__fc_define_off_t.h: CEA_LGPL
share/libc/__fc_define_pid_t.h: CEA_LGPL
share/libc/__fc_define_pthread_types.h: CEA_LGPL
share/libc/__fc_define_sa_family_t.h: CEA_LGPL
share/libc/__fc_define_seek_macros.h: CEA_LGPL
share/libc/__fc_define_sigset_t.h: CEA_LGPL
share/libc/__fc_define_size_t.h: CEA_LGPL
share/libc/__fc_define_sockaddr.h: CEA_LGPL
share/libc/__fc_define_ssize_t.h: CEA_LGPL
share/libc/__fc_define_stat.h: CEA_LGPL
share/libc/__fc_define_suseconds_t.h: CEA_LGPL
share/libc/__fc_define_time_t.h: CEA_LGPL
share/libc/__fc_define_timer_t.h: CEA_LGPL
share/libc/__fc_define_timespec.h: CEA_LGPL
share/libc/__fc_define_uid_and_gid.h: CEA_LGPL
share/libc/__fc_define_useconds_t.h: CEA_LGPL
share/libc/__fc_define_wchar_t.h: CEA_LGPL
share/libc/__fc_define_wint_t.h: CEA_LGPL
share/libc/__fc_gcc_builtins.h: CEA_LGPL
share/libc/__fc_inet.h: CEA_LGPL
share/libc/__fc_integer.h: CEA_LGPL
share/libc/__fc_machdep.h: CEA_LGPL
share/libc/__fc_machdep_linux_shared.h: CEA_LGPL
share/libc/__fc_runtime.c: CEA_LGPL
share/libc/__fc_select.h: CEA_LGPL
share/libc/__fc_string_axiomatic.h: CEA_LGPL
share/libc/alloca.h: CEA_LGPL
share/libc/arpa/inet.h: CEA_LGPL
share/libc/assert.c: CEA_LGPL
share/libc/assert.h: CEA_LGPL
share/libc/byteswap.h: CEA_LGPL
share/libc/complex.h: CEA_LGPL
share/libc/ctype.c: CEA_LGPL
share/libc/ctype.h: CEA_LGPL
share/libc/dirent.h: CEA_LGPL
share/libc/dlfcn.h: CEA_LGPL
share/libc/endian.h: CEA_LGPL
share/libc/errno.c: CEA_LGPL
share/libc/errno.h: CEA_LGPL
share/libc/fcntl.h: CEA_LGPL
share/libc/features.h: CEA_LGPL
share/libc/fenv.h: CEA_LGPL
share/libc/fenv.c: CEA_LGPL
share/libc/float.h: CEA_LGPL
share/libc/fnmatch.h: CEA_LGPL
share/libc/ftw.h: CEA_LGPL
share/libc/getopt.c: CEA_LGPL
share/libc/getopt.h: CEA_LGPL
share/libc/glob.c: CEA_LGPL
share/libc/glob.h: CEA_LGPL
share/libc/grp.h: CEA_LGPL
share/libc/iconv.h: CEA_LGPL
share/libc/ifaddrs.h: CEA_LGPL
share/libc/inttypes.c: CEA_LGPL
share/libc/inttypes.h: CEA_LGPL
share/libc/iso646.h: CEA_LGPL
share/libc/libgen.h: CEA_LGPL
share/libc/limits.h: CEA_LGPL
share/libc/locale.c: CEA_LGPL
share/libc/locale.h: CEA_LGPL
share/libc/malloc.h: CEA_LGPL
share/libc/math.c: CEA_LGPL
share/libc/math.h: CEA_LGPL
share/libc/memory.h: CEA_LGPL
share/libc/n1336.pdf: .ignore
share/libc/n1362.pdf: .ignore
share/libc/net/if.h: CEA_LGPL
share/libc/netdb.c: CEA_LGPL
share/libc/netdb.h: CEA_LGPL
share/libc/netinet/in.h: CEA_LGPL
share/libc/netinet/tcp.h: CEA_LGPL
share/libc/nl_types.h: CEA_LGPL
share/libc/poll.h: CEA_LGPL
share/libc/pthread.h: CEA_LGPL
share/libc/pwd.h: CEA_LGPL
share/libc/regex.h: CEA_LGPL
share/libc/resolv.h: CEA_LGPL
share/libc/sched.h: CEA_LGPL
share/libc/semaphore.h: CEA_LGPL
share/libc/setjmp.h: CEA_LGPL
share/libc/signal.c: CEA_LGPL
share/libc/signal.h: CEA_LGPL
share/libc/stdarg.h: CEA_LGPL
share/libc/stdbool.h: CEA_LGPL
share/libc/stddef.h: CEA_LGPL
share/libc/stdint.h: CEA_LGPL
share/libc/stdio.c: CEA_LGPL
share/libc/stdio.h: CEA_LGPL
share/libc/stdlib.c: CEA_LGPL
share/libc/stdlib.h: CEA_LGPL
share/libc/string.c: CEA_LGPL
share/libc/string.h: CEA_LGPL
share/libc/strings.h: CEA_LGPL
share/libc/stropts.h: CEA_LGPL
share/libc/sys/file.h: CEA_LGPL
share/libc/sys/ioctl.h: CEA_LGPL
share/libc/sys/ipc.h: CEA_LGPL
share/libc/sys/mman.h: CEA_LGPL
share/libc/sys/random.h: CEA_LGPL
share/libc/sys/resource.h: CEA_LGPL
share/libc/sys/select.h: CEA_LGPL
share/libc/sys/shm.h: CEA_LGPL
share/libc/sys/signal.h: CEA_LGPL
share/libc/sys/socket.h: CEA_LGPL
share/libc/sys/stat.h: CEA_LGPL
share/libc/sys/time.h: CEA_LGPL
share/libc/sys/times.h: CEA_LGPL
share/libc/sys/timex.h: CEA_LGPL
share/libc/sys/types.h: CEA_LGPL
share/libc/sys/uio.h: CEA_LGPL
share/libc/sys/un.h: CEA_LGPL
share/libc/sys/utsname.h: CEA_LGPL
share/libc/sys/wait.h: CEA_LGPL
share/libc/syslog.h: CEA_LGPL
share/libc/termios.h: CEA_LGPL
share/libc/tgmath.h: CEA_LGPL
share/libc/time.c: CEA_LGPL
share/libc/time.h: CEA_LGPL
share/libc/unistd.c: CEA_LGPL
share/libc/unistd.h: CEA_LGPL
share/libc/utime.h: CEA_LGPL
share/libc/utmpx.h: CEA_LGPL
share/libc/wchar.c: CEA_LGPL
share/libc/wchar.h: CEA_LGPL
share/libc/wctype.h: CEA_LGPL
share/machdep.c: CIL
share/switch-off.png: .ignore
share/switch-on.png: .ignore
share/theme/colorblind/considered_valid.png: .ignore
share/theme/colorblind/inconsistent.png: .ignore
share/theme/colorblind/invalid_but_dead.png: .ignore
share/theme/colorblind/invalid_under_hyp.png: .ignore
share/theme/colorblind/never_tried.png: .ignore
share/theme/colorblind/surely_invalid.png: .ignore
share/theme/colorblind/surely_valid.png: .ignore
share/theme/colorblind/unknown.png: .ignore
share/theme/colorblind/unknown_but_dead.png: .ignore
share/theme/colorblind/valid_but_dead.png: .ignore
share/theme/colorblind/valid_under_hyp.png: .ignore
share/theme/colorblind/fold.png: .ignore
share/theme/colorblind/unfold.png: .ignore
share/theme/default/considered_valid.png: .ignore
share/theme/default/inconsistent.png: .ignore
share/theme/default/invalid_but_dead.png: .ignore
share/theme/default/invalid_under_hyp.png: .ignore
share/theme/default/never_tried.png: .ignore
share/theme/default/surely_invalid.png: .ignore
share/theme/default/surely_valid.png: .ignore
share/theme/default/unknown.png: .ignore
share/theme/default/unknown_but_dead.png: .ignore
share/theme/default/valid_but_dead.png: .ignore
share/theme/default/valid_under_hyp.png: .ignore
share/theme/default/fold.png: .ignore
share/theme/default/unfold.png: .ignore
share/theme/flat/considered_valid.png: .ignore
share/theme/flat/inconsistent.png: .ignore
share/theme/flat/invalid_but_dead.png: .ignore
share/theme/flat/invalid_under_hyp.png: .ignore
share/theme/flat/never_tried.png: .ignore
share/theme/flat/surely_invalid.png: .ignore
share/theme/flat/surely_valid.png: .ignore
share/theme/flat/unknown.png: .ignore
share/theme/flat/unknown_but_dead.png: .ignore
share/theme/flat/valid_but_dead.png: .ignore
share/theme/flat/valid_under_hyp.png: .ignore
share/theme/flat/fold.png: .ignore
share/theme/flat/unfold.png: .ignore
share/unmark.png: .ignore
share/win32_installer.iss: .ignore
share/win32_manual_installation_step.txt: .ignore
src/kernel_internals/README.md: .ignore
src/kernel_internals/parsing/README.md: .ignore
src/kernel_internals/parsing/check_logic_parser.ml: CEA_LGPL
src/kernel_internals/parsing/clexer.mli: CIL
src/kernel_internals/parsing/clexer.mll: CIL
src/kernel_internals/parsing/cparser.mly: CIL
src/kernel_internals/parsing/errorloc.ml: CIL
src/kernel_internals/parsing/errorloc.mli: CIL
src/kernel_internals/parsing/lexerhack.ml: CIL
src/kernel_internals/parsing/logic_lexer.mli: CEA_INRIA_LGPL
src/kernel_internals/parsing/logic_lexer.mll: CEA_INRIA_LGPL
src/kernel_internals/parsing/logic_parser.mly: CEA_INRIA_LGPL
src/kernel_internals/parsing/logic_preprocess.mli: CEA_INRIA_LGPL
src/kernel_internals/parsing/logic_preprocess.mll: CEA_INRIA_LGPL
src/kernel_internals/runtime/README.md: .ignore
src/kernel_internals/runtime/boot.ml: CEA_LGPL
src/kernel_internals/runtime/config.ml.in: CEA_LGPL
src/kernel_internals/runtime/config.mli: CEA_LGPL
src/kernel_internals/runtime/frama_c_config.ml.in: CEA_LGPL
src/kernel_internals/runtime/frama_c_init.ml: CEA_LGPL
src/kernel_internals/runtime/frama_c_init.mli: CEA_LGPL
src/kernel_internals/runtime/gui_init.ml: CEA_LGPL
src/kernel_internals/runtime/gui_init.mli: CEA_LGPL
src/kernel_internals/runtime/machdeps.ml: CIL
src/kernel_internals/runtime/machdeps.mli: CIL
src/kernel_internals/runtime/messages.ml: CEA_LGPL
src/kernel_internals/runtime/messages.mli: CEA_LGPL
src/kernel_internals/runtime/special_hooks.ml: CEA_LGPL
src/kernel_internals/runtime/special_hooks.mli: CEA_LGPL
src/kernel_internals/runtime/toplevel_config.ml: CEA_LGPL
src/kernel_internals/typing/README.md: .ignore
src/kernel_internals/typing/allocates.ml: CEA_LGPL
src/kernel_internals/typing/allocates.mli: CEA_LGPL
src/kernel_internals/typing/alpha.ml: CIL
src/kernel_internals/typing/alpha.mli: CIL
src/kernel_internals/typing/asm_contracts.ml: CEA_LGPL
src/kernel_internals/typing/asm_contracts.mli: CEA_LGPL
src/kernel_internals/typing/cabs2cil.ml: CIL
src/kernel_internals/typing/cabs2cil.mli: CIL
src/kernel_internals/typing/cfg.ml: CIL
src/kernel_internals/typing/cfg.mli: CIL
src/kernel_internals/typing/frontc.ml: CIL
src/kernel_internals/typing/frontc.mli: CIL
src/kernel_internals/typing/ghost_cfg.ml: CEA_LGPL
src/kernel_internals/typing/ghost_cfg.mli: CEA_LGPL
src/kernel_internals/typing/infer_annotations.ml: CEA_LGPL
src/kernel_internals/typing/infer_annotations.mli: CEA_LGPL
src/kernel_internals/typing/logic_builtin.ml: CEA_INRIA_LGPL
src/kernel_internals/typing/logic_builtin.mli: CEA_INRIA_LGPL
src/kernel_internals/typing/mergecil.ml: CIL
src/kernel_internals/typing/mergecil.mli: CIL
src/kernel_internals/typing/oneret.ml: CIL
src/kernel_internals/typing/oneret.mli: CIL
src/kernel_internals/typing/rmtmps.ml: CIL
src/kernel_internals/typing/rmtmps.mli: CIL
src/kernel_internals/typing/translate_lightweight.ml: CEA_INRIA_LGPL
src/kernel_internals/typing/translate_lightweight.mli: CEA_INRIA_LGPL
src/kernel_internals/typing/unroll_loops.ml: CEA_LGPL
src/kernel_internals/typing/unroll_loops.mli: CEA_LGPL
src/kernel_internals/typing/substitute_const_globals.ml: CEA_LGPL
src/kernel_internals/typing/substitute_const_globals.mli: CEA_LGPL
src/kernel_services/README.md: .ignore
src/kernel_services/abstract_interp/README.md: .ignore
src/kernel_services/abstract_interp/abstract_interp.ml: CEA_LGPL
src/kernel_services/abstract_interp/abstract_interp.mli: CEA_LGPL
src/kernel_services/abstract_interp/base.ml: CEA_LGPL
src/kernel_services/abstract_interp/base.mli: CEA_LGPL
src/kernel_services/abstract_interp/bottom.ml: CEA_LGPL
src/kernel_services/abstract_interp/bottom.mli: CEA_LGPL
src/kernel_services/abstract_interp/eva_lattice_type.mli: CEA_LGPL
src/kernel_services/abstract_interp/fc_float.ml: CEA_LGPL
src/kernel_services/abstract_interp/fc_float.mli: CEA_LGPL
src/kernel_services/abstract_interp/float_sig.mli: CEA_LGPL
src/kernel_services/abstract_interp/float_interval.ml: CEA_LGPL
src/kernel_services/abstract_interp/float_interval.mli: CEA_LGPL
src/kernel_services/abstract_interp/float_interval_sig.mli: CEA_LGPL
src/kernel_services/abstract_interp/fval.ml: CEA_LGPL
src/kernel_services/abstract_interp/fval.mli: CEA_LGPL
src/kernel_services/abstract_interp/int_Base.ml: CEA_LGPL
src/kernel_services/abstract_interp/int_Base.mli: CEA_LGPL
src/kernel_services/abstract_interp/int_Intervals.ml: CEA_LGPL
src/kernel_services/abstract_interp/int_Intervals.mli: CEA_LGPL
src/kernel_services/abstract_interp/int_Intervals_sig.mli: CEA_LGPL
src/kernel_services/abstract_interp/int_interval.ml: CEA_LGPL
src/kernel_services/abstract_interp/int_interval.mli: CEA_LGPL
src/kernel_services/abstract_interp/int_set.ml: CEA_LGPL
src/kernel_services/abstract_interp/int_set.mli: CEA_LGPL
src/kernel_services/abstract_interp/int_val.ml: CEA_LGPL
src/kernel_services/abstract_interp/int_val.mli: CEA_LGPL
src/kernel_services/abstract_interp/ival.ml: CEA_LGPL
src/kernel_services/abstract_interp/ival.mli: CEA_LGPL
src/kernel_services/abstract_interp/lattice_messages.ml: CEA_LGPL
src/kernel_services/abstract_interp/lattice_messages.mli: CEA_LGPL
src/kernel_services/abstract_interp/lattice_type.mli: CEA_LGPL
src/kernel_services/abstract_interp/lmap.ml: CEA_LGPL
src/kernel_services/abstract_interp/lmap.mli: CEA_LGPL
src/kernel_services/abstract_interp/lmap_bitwise.ml: CEA_LGPL
src/kernel_services/abstract_interp/lmap_bitwise.mli: CEA_LGPL
src/kernel_services/abstract_interp/lmap_sig.mli: CEA_LGPL
src/kernel_services/abstract_interp/locations.ml: CEA_LGPL
src/kernel_services/abstract_interp/locations.mli: CEA_LGPL
src/kernel_services/abstract_interp/map_lattice.ml: CEA_LGPL
src/kernel_services/abstract_interp/map_lattice.mli: CEA_LGPL
src/kernel_services/abstract_interp/offsetmap.ml: CEA_LGPL
src/kernel_services/abstract_interp/offsetmap.mli: CEA_LGPL
src/kernel_services/abstract_interp/offsetmap_bitwise_sig.mli: CEA_LGPL
src/kernel_services/abstract_interp/offsetmap_lattice_with_isotropy.mli: CEA_LGPL
src/kernel_services/abstract_interp/offsetmap_sig.mli: CEA_LGPL
src/kernel_services/abstract_interp/origin.ml: CEA_LGPL
src/kernel_services/abstract_interp/origin.mli: CEA_LGPL
src/kernel_services/abstract_interp/tr_offset.ml: CEA_LGPL
src/kernel_services/abstract_interp/tr_offset.mli: CEA_LGPL
src/kernel_services/analysis/README.md: .ignore
src/kernel_services/analysis/bit_utils.ml: CEA_LGPL
src/kernel_services/analysis/bit_utils.mli: CEA_LGPL
src/kernel_services/analysis/dataflow2.ml: CEA_LGPL
src/kernel_services/analysis/dataflow2.mli: CEA_LGPL
src/kernel_services/analysis/dataflows.ml: CIL
src/kernel_services/analysis/dataflows.mli: CIL
src/kernel_services/analysis/destructors.ml: CEA_LGPL
src/kernel_services/analysis/destructors.mli: CEA_LGPL
src/kernel_services/analysis/dominators.ml: CEA_LGPL
src/kernel_services/analysis/dominators.mli: CEA_LGPL
src/kernel_services/analysis/exn_flow.ml: CEA_LGPL
src/kernel_services/analysis/exn_flow.mli: CEA_LGPL
src/kernel_services/analysis/interpreted_automata.ml: CEA_LGPL
src/kernel_services/analysis/interpreted_automata.mli: CEA_LGPL
src/kernel_services/analysis/logic_interp.ml: CEA_LGPL
src/kernel_services/analysis/logic_interp.mli: CEA_LGPL
src/kernel_services/analysis/loop.ml: CEA_LGPL
src/kernel_services/analysis/loop.mli: CEA_LGPL
src/kernel_services/analysis/ordered_stmt.ml: CEA_LGPL
src/kernel_services/analysis/ordered_stmt.mli: CEA_LGPL
src/kernel_services/analysis/service_graph.ml: CEA_LGPL
src/kernel_services/analysis/service_graph.mli: CEA_LGPL
src/kernel_services/analysis/stmts_graph.ml: CEA_LGPL
src/kernel_services/analysis/stmts_graph.mli: CEA_LGPL
src/kernel_services/analysis/undefined_sequence.ml: CEA_LGPL
src/kernel_services/analysis/undefined_sequence.mli: CEA_LGPL
src/kernel_services/analysis/wto_statement.ml: CEA_LGPL
src/kernel_services/analysis/wto_statement.mli: CEA_LGPL
src/kernel_services/ast_data/README.md: .ignore
src/kernel_services/ast_data/alarms.ml: CEA_LGPL
src/kernel_services/ast_data/alarms.mli: CEA_LGPL
src/kernel_services/ast_data/annotations.ml: CEA_LGPL
src/kernel_services/ast_data/annotations.mli: CEA_LGPL
src/kernel_services/ast_data/ast.ml: CEA_LGPL
src/kernel_services/ast_data/ast.mli: CEA_LGPL
src/kernel_services/ast_data/cil_types.mli: CIL
src/kernel_services/ast_printing/cil_types_debug.ml: CEA_LGPL
src/kernel_services/ast_printing/cil_types_debug.mli: CEA_LGPL
src/kernel_services/ast_data/globals.ml: CEA_LGPL
src/kernel_services/ast_data/globals.mli: CEA_LGPL
src/kernel_services/ast_data/kernel_function.ml: CEA_LGPL
src/kernel_services/ast_data/kernel_function.mli: CEA_LGPL
src/kernel_services/ast_data/property.ml: CEA_LGPL
src/kernel_services/ast_data/property.mli: CEA_LGPL
src/kernel_services/ast_data/property_status.ml: CEA_LGPL
src/kernel_services/ast_data/property_status.mli: CEA_LGPL
src/kernel_services/ast_data/statuses_by_call.ml: CEA_LGPL
src/kernel_services/ast_data/statuses_by_call.mli: CEA_LGPL
src/kernel_services/ast_printing/cabs_debug.ml: CEA_LGPL
src/kernel_services/ast_printing/cabs_debug.mli: CEA_LGPL
src/kernel_services/ast_printing/cil_descriptive_printer.ml: CEA_LGPL
src/kernel_services/ast_printing/cil_descriptive_printer.mli: CEA_LGPL
src/kernel_services/ast_printing/cil_printer.ml: CEA_LGPL
src/kernel_services/ast_printing/cil_printer.mli: CEA_LGPL
src/kernel_services/ast_printing/cprint.ml: CIL
src/kernel_services/ast_printing/cprint.mli: CIL
src/kernel_services/ast_printing/description.ml: CEA_LGPL
src/kernel_services/ast_printing/description.mli: CEA_LGPL
src/kernel_services/ast_printing/logic_print.ml: CEA_INRIA_LGPL
src/kernel_services/ast_printing/logic_print.mli: CEA_INRIA_LGPL
src/kernel_services/ast_printing/printer.ml: CEA_LGPL
src/kernel_services/ast_printing/printer.mli: CEA_LGPL
src/kernel_services/ast_printing/printer_api.mli: CEA_LGPL
src/kernel_services/ast_printing/printer_builder.ml: CEA_LGPL
src/kernel_services/ast_printing/printer_builder.mli: CEA_LGPL
src/kernel_services/ast_printing/printer_tag.ml: CEA_LGPL
src/kernel_services/ast_printing/printer_tag.mli: CEA_LGPL
src/kernel_services/ast_queries/README.md: .ignore
src/kernel_services/ast_queries/acsl_extension.ml: CEA_LGPL
src/kernel_services/ast_queries/acsl_extension.mli: CEA_LGPL
src/kernel_services/ast_queries/ast_info.ml: CEA_LGPL
src/kernel_services/ast_queries/ast_info.mli: CEA_LGPL
src/kernel_services/ast_queries/cil.ml: CIL
src/kernel_services/ast_queries/cil.mli: CIL
src/kernel_services/ast_queries/cil_const.ml: CIL
src/kernel_services/ast_queries/cil_const.mli: CIL
src/kernel_services/ast_queries/cil_datatype.ml: CEA_LGPL
src/kernel_services/ast_queries/cil_datatype.mli: CEA_LGPL
src/kernel_services/ast_queries/cil_state_builder.ml: CEA_LGPL
src/kernel_services/ast_queries/cil_state_builder.mli: CEA_LGPL
src/kernel_services/ast_queries/file.ml: CEA_LGPL
src/kernel_services/ast_queries/file.mli: CEA_LGPL
src/kernel_services/ast_queries/filecheck.ml: CEA_LGPL
src/kernel_services/ast_queries/filecheck.mli: CEA_LGPL
src/kernel_services/ast_queries/json_compilation_database.ml: CEA_LGPL
src/kernel_services/ast_queries/json_compilation_database.mli: CEA_LGPL
src/kernel_services/ast_queries/logic_const.ml: CEA_INRIA_LGPL
src/kernel_services/ast_queries/logic_const.mli: CEA_INRIA_LGPL
src/kernel_services/ast_queries/logic_env.ml: CEA_INRIA_LGPL
src/kernel_services/ast_queries/logic_env.mli: CEA_INRIA_LGPL
src/kernel_services/ast_queries/logic_typing.ml: CEA_INRIA_LGPL
src/kernel_services/ast_queries/logic_typing.mli: CEA_INRIA_LGPL
src/kernel_services/ast_queries/logic_utils.ml: CEA_INRIA_LGPL
src/kernel_services/ast_queries/logic_utils.mli: CEA_INRIA_LGPL
src/kernel_services/ast_transformations/README.md: .ignore
src/kernel_services/ast_transformations/clone.ml: CEA_LGPL
src/kernel_services/ast_transformations/clone.mli: CEA_LGPL
src/kernel_services/ast_transformations/filter.ml: CEA_LGPL
src/kernel_services/ast_transformations/filter.mli: CEA_LGPL
src/kernel_services/ast_transformations/inline.ml: CEA_LGPL
src/kernel_services/ast_transformations/inline.mli: CEA_LGPL
src/kernel_services/cmdline_parameters/README.md: .ignore
src/kernel_services/cmdline_parameters/cmdline.ml: CEA_LGPL
src/kernel_services/cmdline_parameters/cmdline.mli: CEA_LGPL
src/kernel_services/cmdline_parameters/parameter_builder.ml: CEA_LGPL
src/kernel_services/cmdline_parameters/parameter_builder.mli: CEA_LGPL
src/kernel_services/cmdline_parameters/parameter_category.ml: CEA_LGPL
src/kernel_services/cmdline_parameters/parameter_category.mli: CEA_LGPL
src/kernel_services/cmdline_parameters/parameter_customize.ml: CEA_LGPL
src/kernel_services/cmdline_parameters/parameter_customize.mli: CEA_LGPL
src/kernel_services/cmdline_parameters/parameter_sig.mli: CEA_LGPL
src/kernel_services/cmdline_parameters/parameter_state.ml: CEA_LGPL
src/kernel_services/cmdline_parameters/parameter_state.mli: CEA_LGPL
src/kernel_services/cmdline_parameters/typed_parameter.ml: CEA_LGPL
src/kernel_services/cmdline_parameters/typed_parameter.mli: CEA_LGPL
src/kernel_services/parsetree/README.md: .ignore
src/kernel_services/parsetree/cabs.ml: CIL
src/kernel_services/parsetree/cabshelper.ml: CIL
src/kernel_services/parsetree/cabshelper.mli: CIL
src/kernel_services/parsetree/logic_ptree.mli: CEA_INRIA_LGPL
src/kernel_services/plugin_entry_points/README.md: .ignore
src/kernel_services/plugin_entry_points/db.ml: CEA_LGPL
src/kernel_services/plugin_entry_points/db.mli: CEA_LGPL
src/kernel_services/plugin_entry_points/dynamic.ml: CEA_LGPL
src/kernel_services/plugin_entry_points/dynamic.mli: CEA_LGPL
src/kernel_services/plugin_entry_points/emitter.ml: CEA_LGPL
src/kernel_services/plugin_entry_points/emitter.mli: CEA_LGPL
src/kernel_services/plugin_entry_points/journal.ml: CEA_LGPL
src/kernel_services/plugin_entry_points/journal.mli: CEA_LGPL
src/kernel_services/plugin_entry_points/kernel.ml: CEA_LGPL
src/kernel_services/plugin_entry_points/kernel.mli: CEA_LGPL
src/kernel_services/plugin_entry_points/log.ml: CEA_LGPL
src/kernel_services/plugin_entry_points/log.mli: CEA_LGPL
src/kernel_services/plugin_entry_points/plugin.ml: CEA_LGPL
src/kernel_services/plugin_entry_points/plugin.mli: CEA_LGPL
src/kernel_services/visitors/README.md: .ignore
src/kernel_services/visitors/cabsvisit.ml: CIL
src/kernel_services/visitors/cabsvisit.mli: CIL
src/kernel_services/visitors/visitor.ml: CEA_LGPL
src/kernel_services/visitors/visitor.mli: CEA_LGPL
src/kernel_services/visitors/visitor_behavior.ml: CEA_INRIA_LGPL
src/kernel_services/visitors/visitor_behavior.mli: CEA_INRIA_LGPL
src/libraries/README.md: .ignore
src/libraries/datatype/README.md: .ignore
src/libraries/datatype/datatype.ml: CEA_LGPL
src/libraries/datatype/datatype.mli: CEA_LGPL
src/libraries/datatype/descr.ml: CEA_LGPL
src/libraries/datatype/descr.mli: CEA_LGPL
src/libraries/datatype/structural_descr.ml: CEA_LGPL
src/libraries/datatype/structural_descr.mli: CEA_LGPL
src/libraries/datatype/type.ml: CEA_LGPL
src/libraries/datatype/type.mli: CEA_LGPL
src/libraries/datatype/unmarshal.ml: INRIA_BSD
src/libraries/datatype/unmarshal.mli: INRIA_BSD
src/libraries/datatype/unmarshal_hashtbl_test.ml: INRIA_BSD
src/libraries/datatype/unmarshal_test.ml: INRIA_BSD
src/libraries/datatype/unmarshal_z.ml: CEA_LGPL
src/libraries/datatype/unmarshal_z.mli: CEA_LGPL
src/libraries/project/README.md: .ignore
src/libraries/project/project.ml: CEA_LGPL
src/libraries/project/project.mli: CEA_LGPL
src/libraries/project/project_skeleton.ml: CEA_LGPL
src/libraries/project/project_skeleton.mli: CEA_LGPL
src/libraries/project/state.ml: CEA_LGPL
src/libraries/project/state.mli: CEA_LGPL
src/libraries/project/state_builder.ml: CEA_LGPL
src/libraries/project/state_builder.mli: CEA_LGPL
src/libraries/project/state_dependency_graph.ml: CEA_LGPL
src/libraries/project/state_dependency_graph.mli: CEA_LGPL
src/libraries/project/state_selection.ml: CEA_LGPL
src/libraries/project/state_selection.mli: CEA_LGPL
src/libraries/project/state_topological.ml: MODIFIED_OCAMLGRAPH
src/libraries/project/state_topological.mli: MODIFIED_OCAMLGRAPH
src/libraries/stdlib/FCHashtbl.ml: CEA_LGPL
src/libraries/stdlib/FCHashtbl.mli: CEA_LGPL
src/libraries/stdlib/README.md: .ignore
src/libraries/stdlib/extlib.ml: CEA_LGPL
src/libraries/stdlib/extlib.mli: CEA_LGPL
src/libraries/stdlib/integer.ml: CEA_LGPL
src/libraries/stdlib/integer.mli: CEA_LGPL
src/libraries/stdlib/transitioning.ml.in: CEA_LGPL
src/libraries/stdlib/transitioning.mli: CEA_LGPL
src/libraries/utils/README.md: .ignore
src/libraries/utils/bag.ml: CEA_LGPL
src/libraries/utils/bag.mli: CEA_LGPL
src/libraries/utils/json.mll: CEA_LGPL
src/libraries/utils/json.mli: CEA_LGPL
src/libraries/utils/binary_cache.ml: CEA_LGPL
src/libraries/utils/binary_cache.mli: CEA_LGPL
src/libraries/utils/bitvector.ml: CEA_LGPL
src/libraries/utils/bitvector.mli: CEA_LGPL
src/libraries/utils/c_bindings.c: CEA_LGPL
src/libraries/utils/cilconfig.ml: CIL
src/libraries/utils/cilconfig.mli: CIL
src/libraries/utils/command.ml: CEA_LGPL
src/libraries/utils/command.mli: CEA_LGPL
src/libraries/utils/dotgraph.ml: CEA_LGPL
src/libraries/utils/dotgraph.mli: CEA_LGPL
src/libraries/utils/escape.ml: CIL
src/libraries/utils/escape.mli: CIL
src/libraries/utils/filepath.ml: CEA_LGPL
src/libraries/utils/filepath.mli: CEA_LGPL
src/libraries/utils/floating_point.ml: CEA_LGPL
src/libraries/utils/floating_point.mli: CEA_LGPL
src/libraries/utils/hook.ml: CEA_LGPL
src/libraries/utils/hook.mli: CEA_LGPL
src/libraries/utils/hptmap.ml: MODIFIED_MENHIR
src/libraries/utils/hptmap.mli: MODIFIED_MENHIR
src/libraries/utils/hptmap_sig.mli: MODIFIED_MENHIR
src/libraries/utils/hptset.ml: CEA_LGPL
src/libraries/utils/hptset.mli: CEA_LGPL
src/libraries/utils/indexer.ml: CEA_LGPL
src/libraries/utils/indexer.mli: CEA_LGPL
src/libraries/utils/markdown.ml: CEA_LGPL
src/libraries/utils/markdown.mli: CEA_LGPL
src/libraries/utils/pretty_utils.ml: CEA_LGPL
src/libraries/utils/pretty_utils.mli: CEA_LGPL
src/libraries/utils/qstack.ml: CEA_LGPL
src/libraries/utils/qstack.mli: CEA_LGPL
src/libraries/utils/rangemap.ml: OCAML_STDLIB
src/libraries/utils/rangemap.mli: OCAML_STDLIB
src/libraries/utils/rgmap.ml: CEA_LGPL
src/libraries/utils/rgmap.mli: CEA_LGPL
src/libraries/utils/rich_text.ml: CEA_LGPL
src/libraries/utils/rich_text.mli: CEA_LGPL
src/libraries/utils/sanitizer.ml: CEA_LGPL
src/libraries/utils/sanitizer.mli: CEA_LGPL
src/libraries/utils/task.ml: CEA_LGPL
src/libraries/utils/task.mli: CEA_LGPL
src/libraries/utils/unicode.ml: CEA_LGPL
src/libraries/utils/unicode.mli: CEA_LGPL
src/libraries/utils/utf8_logic.ml: CEA_INRIA_LGPL
src/libraries/utils/utf8_logic.mli: CEA_INRIA_LGPL
src/libraries/utils/vector.ml: CEA_LGPL
src/libraries/utils/vector.mli: CEA_LGPL
src/libraries/utils/wto.ml: CEA_LGPL
src/libraries/utils/wto.mli: CEA_LGPL
src/plugins/README.md: .ignore
src/plugins/aorai/.gitignore: .ignore
src/plugins/aorai/Aorai.mli: AORAI_LGPL
src/plugins/aorai/INSTALL: .ignore
src/plugins/aorai/Makefile.in: AORAI_LGPL
src/plugins/aorai/VERSIONS.txt: .ignore
src/plugins/aorai/YA.README: .ignore
src/plugins/aorai/aorai_dataflow.ml: AORAI_LGPL
src/plugins/aorai/aorai_dataflow.mli: AORAI_LGPL
src/plugins/aorai/aorai_option.ml: AORAI_LGPL
src/plugins/aorai/aorai_option.mli: AORAI_LGPL
src/plugins/aorai/aorai_register.ml: AORAI_LGPL
src/plugins/aorai/aorai_utils.ml: AORAI_LGPL
src/plugins/aorai/aorai_utils.mli: AORAI_LGPL
src/plugins/aorai/aorai_visitors.ml: AORAI_LGPL
src/plugins/aorai/bool3.ml: AORAI_LGPL
src/plugins/aorai/bool3.mli: AORAI_LGPL
src/plugins/aorai/configure.ac: AORAI_LGPL
src/plugins/aorai/data_for_aorai.ml: AORAI_LGPL
src/plugins/aorai/data_for_aorai.mli: AORAI_LGPL
src/plugins/aorai/logic_simplification.ml: AORAI_LGPL
src/plugins/aorai/logic_simplification.mli: AORAI_LGPL
src/plugins/aorai/ltl_output.ml: AORAI_LGPL
src/plugins/aorai/ltl_output.mli: AORAI_LGPL
src/plugins/aorai/ltlast.mli: AORAI_LGPL
src/plugins/aorai/ltllexer.mll: AORAI_LGPL
src/plugins/aorai/ltlparser.mly: AORAI_LGPL
src/plugins/aorai/path_analysis.ml: AORAI_LGPL
src/plugins/aorai/promelaast.mli: AORAI_LGPL
src/plugins/aorai/promelalexer.mll: AORAI_LGPL
src/plugins/aorai/promelalexer_withexps.mll: AORAI_LGPL
src/plugins/aorai/promelaoutput.ml: AORAI_LGPL
src/plugins/aorai/promelaoutput.mli: AORAI_LGPL
src/plugins/aorai/promelaparser.mly: AORAI_LGPL
src/plugins/aorai/promelaparser_withexps.mly: AORAI_LGPL
src/plugins/aorai/utils_parser.ml: AORAI_LGPL
src/plugins/aorai/yalexer.mll: AORAI_LGPL
src/plugins/aorai/yaparser.mly: AORAI_LGPL
src/plugins/callgraph/Callgraph.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/callgraph/callgraph_api.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/callgraph/cg.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/callgraph/cg.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/callgraph/cg_viewer.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/callgraph/journalize.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/callgraph/journalize.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/callgraph/options.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/callgraph/options.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/callgraph/register.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/callgraph/services.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/callgraph/services.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/callgraph/subgraph.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/callgraph/subgraph.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/callgraph/uses.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/callgraph/uses.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/constant_propagation/Constant_Propagation.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/constant_propagation/propagationParameters.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/constant_propagation/propagationParameters.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/constant_propagation/api.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/constant_propagation/api.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/from/From.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/from/callwise.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/from/callwise.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/from/from_compute.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/from/from_compute.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/from/from_parameters.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/from/from_parameters.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/from/from_register.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/from/from_register.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/from/from_register_gui.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/from/from_register_gui.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/from/functionwise.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/from/functionwise.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/gui/GSourceView2.ml.in: CEA_LGPL_OR_PROPRIETARY
src/plugins/gui/GSourceView2.mli.in: CEA_LGPL_OR_PROPRIETARY
src/plugins/gui/GSourceView3.ml.in: CEA_LGPL_OR_PROPRIETARY
src/plugins/gui/GSourceView3.mli.in: CEA_LGPL_OR_PROPRIETARY
src/plugins/gui/analyses_manager.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/gui/analyses_manager.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/gui/book_manager.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/gui/book_manager.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/gui/debug_manager.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/gui/debug_manager.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/gui/design.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/gui/design.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/gui/dgraph_helper.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/gui/dgraph_helper.no.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/gui/dgraph_helper.yes.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/gui/file_manager.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/gui/file_manager.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/gui/filetree.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/gui/filetree.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/gui/gtk_compat.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/gui/gtk_compat.2.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/gui/gtk_compat.3.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/gui/gtk_form.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/gui/gtk_form.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/gui/gtk_helper.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/gui/gtk_helper.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/gui/gui_parameters.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/gui/gui_parameters.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/gui/gui_printers.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/gui/gui_printers.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/gui/help_manager.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/gui/help_manager.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/gui/history.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/gui/history.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/gui/launcher.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/gui/launcher.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/gui/menu_manager.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/gui/menu_manager.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/gui/pretty_source.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/gui/pretty_source.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/gui/project_manager.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/gui/project_manager.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/gui/property_navigator.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/gui/property_navigator.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/gui/source_manager.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/gui/source_manager.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/gui/source_viewer.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/gui/source_viewer.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/gui/warning_manager.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/gui/warning_manager.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/gui/wbox.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/gui/wbox.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/gui/wfile.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/gui/wfile.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/gui/widget.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/gui/widget.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/gui/wpane.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/gui/wpane.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/gui/wpalette.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/gui/wpalette.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/gui/wtable.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/gui/wtable.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/gui/wtext.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/gui/wtext.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/gui/wutil.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/gui/wutil.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/gui/wutil_once.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/gui/wutil_once.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/impact/Impact.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/impact/compute_impact.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/impact/compute_impact.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/impact/options.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/impact/options.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/impact/pdg_aux.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/impact/pdg_aux.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/impact/reason_graph.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/impact/register.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/impact/register_gui.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/impact/register_gui.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/inout/Inout.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/inout/context.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/inout/cumulative_analysis.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/inout/cumulative_analysis.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/inout/derefs.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/inout/derefs.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/inout/inout_parameters.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/inout/inout_parameters.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/inout/inputs.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/inout/inputs.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/inout/operational_inputs.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/inout/outputs.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/inout/outputs.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/inout/register.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/loop_analysis/.gitignore: .ignore
src/plugins/loop_analysis/Makefile.in: CEA_LGPL_OR_PROPRIETARY
src/plugins/loop_analysis/LoopAnalysis.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/loop_analysis/README.org: .ignore
src/plugins/loop_analysis/configure.ac: CEA_LGPL_OR_PROPRIETARY
src/plugins/loop_analysis/loop_analysis.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/loop_analysis/loop_analysis.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/loop_analysis/options.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/loop_analysis/options.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/loop_analysis/region_analysis.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/loop_analysis/region_analysis.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/loop_analysis/region_analysis_sig.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/loop_analysis/region_analysis_stmt.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/loop_analysis/region_analysis_stmt.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/loop_analysis/register.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/loop_analysis/slevel_analysis.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/markdown-report/configure.ac: CEA_LGPL
src/plugins/markdown-report/eva_coverage.ml: CEA_LGPL
src/plugins/markdown-report/eva_coverage.mli: CEA_LGPL
src/plugins/markdown-report/Makefile.in: CEA_LGPL
src/plugins/markdown-report/md_gen.ml: CEA_LGPL
src/plugins/markdown-report/md_gen.mli: CEA_LGPL
src/plugins/markdown-report/mdr_params.ml: CEA_LGPL
src/plugins/markdown-report/mdr_params.mli: CEA_LGPL
src/plugins/markdown-report/mdr_register.ml: CEA_LGPL
src/plugins/markdown-report/mdr_register.mli: CEA_LGPL
src/plugins/markdown-report/parse_remarks.ml: CEA_LGPL
src/plugins/markdown-report/parse_remarks.mli: CEA_LGPL
src/plugins/markdown-report/sarif_gen.ml: CEA_LGPL
src/plugins/markdown-report/sarif_gen.mli: CEA_LGPL
src/plugins/markdown-report/sarif.ml: CEA_LGPL
src/plugins/markdown-report/share/acsl.xml: CEA_LGPL
src/plugins/metrics/Metrics.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/metrics/css_html.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/metrics/metrics_acsl.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/metrics/metrics_acsl.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/metrics/metrics_base.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/metrics/metrics_base.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/metrics/metrics_cabs.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/metrics/metrics_cabs.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/metrics/metrics_cilast.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/metrics/metrics_cilast.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/metrics/metrics_coverage.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/metrics/metrics_coverage.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/metrics/metrics_gui.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/metrics/metrics_gui.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/metrics/metrics_parameters.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/metrics/metrics_parameters.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/metrics/register.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/metrics/register_gui.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/nonterm/.gitignore: .ignore
src/plugins/nonterm/Makefile.in: CEA_LGPL_OR_PROPRIETARY
src/plugins/nonterm/Nonterm.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/nonterm/README.md: .ignore
src/plugins/nonterm/configure.ac: CEA_LGPL_OR_PROPRIETARY
src/plugins/nonterm/nonterm_run.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/obfuscator/.gitignore: .ignore
src/plugins/obfuscator/Makefile.in: CEA_LGPL_OR_PROPRIETARY
src/plugins/obfuscator/Obfuscator.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/obfuscator/configure.ac: CEA_LGPL_OR_PROPRIETARY
src/plugins/obfuscator/dictionary.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/obfuscator/dictionary.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/obfuscator/obfuscate.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/obfuscator/obfuscate.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/obfuscator/obfuscator_kind.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/obfuscator/obfuscator_kind.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/obfuscator/obfuscator_register.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/obfuscator/options.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/obfuscator/options.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/occurrence/Occurrence.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/occurrence/options.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/occurrence/options.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/occurrence/register.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/occurrence/register_gui.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/occurrence/register_gui.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/instantiate/basic_blocks.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/instantiate/basic_blocks.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/instantiate/Instantiate.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/instantiate/instantiator_builder.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/instantiate/instantiator_builder.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/instantiate/configure.ac: CEA_LGPL_OR_PROPRIETARY
src/plugins/instantiate/Makefile.in: CEA_LGPL_OR_PROPRIETARY
src/plugins/instantiate/stdlib/basic_alloc.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/instantiate/stdlib/basic_alloc.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/instantiate/stdlib/calloc.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/instantiate/stdlib/calloc.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/instantiate/stdlib/free.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/instantiate/stdlib/free.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/instantiate/stdlib/malloc.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/instantiate/stdlib/malloc.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/instantiate/string/memcmp.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/instantiate/string/memcmp.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/instantiate/string/memcpy.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/instantiate/string/memcpy.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/instantiate/string/memmove.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/instantiate/string/memmove.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/instantiate/string/memset.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/instantiate/string/memset.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/instantiate/options.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/instantiate/options.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/instantiate/register.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/instantiate/transform.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/instantiate/transform.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/pdg/Pdg.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/pdg/annot.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/pdg/annot.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/pdg/build.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/pdg/build.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/pdg/ctrlDpds.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/pdg/ctrlDpds.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/pdg/marks.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/pdg/marks.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/pdg/pdg_parameters.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/pdg/pdg_parameters.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/pdg/pdg_state.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/pdg/pdg_state.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/pdg/register.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/pdg/sets.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/pdg/sets.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/pdg_types/pdgIndex.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/pdg_types/pdgIndex.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/pdg_types/pdgMarks.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/pdg_types/pdgMarks.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/pdg_types/pdgTypes.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/pdg_types/pdgTypes.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/postdominators/Postdominators.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/postdominators/compute.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/postdominators/postdominators_parameters.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/postdominators/postdominators_parameters.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/postdominators/print.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/print_api/.gitignore: .ignore
src/plugins/print_api/Makefile: CEA_LGPL
src/plugins/print_api/Print_api.mli: CEA_LGPL
src/plugins/print_api/grammar.mly: CEA_LGPL
src/plugins/print_api/lexer.mll: CEA_LGPL
src/plugins/print_api/print_interface.ml: CEA_LGPL
src/plugins/qed/.gitignore: .ignore
src/plugins/qed/.ocp-indent: .ignore
src/plugins/qed/Makefile: CEA_WP
src/plugins/qed/QedGui.ml: CEA_WP
src/plugins/qed/bvars.ml: CEA_WP
src/plugins/qed/bvars.mli: CEA_WP
src/plugins/qed/cache.ml: CEA_WP
src/plugins/qed/cache.mli: CEA_WP
src/plugins/qed/collection.ml: CEA_WP
src/plugins/qed/collection.mli: CEA_WP
src/plugins/qed/engine.ml: CEA_WP
src/plugins/qed/export.ml: CEA_WP
src/plugins/qed/export.mli: CEA_WP
src/plugins/qed/export_altergo.ml: CEA_WP
src/plugins/qed/export_altergo.mli: CEA_WP
src/plugins/qed/export_coq.ml: CEA_WP
src/plugins/qed/export_coq.mli: CEA_WP
src/plugins/qed/export_why3.ml: CEA_WP
src/plugins/qed/export_why3.mli: CEA_WP
src/plugins/qed/export_whycore.ml: CEA_WP
src/plugins/qed/export_whycore.mli: CEA_WP
src/plugins/qed/hcons.ml: CEA_WP
src/plugins/qed/hcons.mli: CEA_WP
src/plugins/qed/idxmap.ml: CEA_WP
src/plugins/qed/idxmap.mli: CEA_WP
src/plugins/qed/idxset.ml: CEA_WP
src/plugins/qed/idxset.mli: CEA_WP
src/plugins/qed/intmap.ml: CEA_WP
src/plugins/qed/intmap.mli: CEA_WP
src/plugins/qed/intset.ml: CEA_WP
src/plugins/qed/intset.mli: CEA_WP
src/plugins/qed/kind.ml: CEA_WP
src/plugins/qed/kind.mli: CEA_WP
src/plugins/qed/listmap.ml: CEA_WP
src/plugins/qed/listmap.mli: CEA_WP
src/plugins/qed/listset.ml: CEA_WP
src/plugins/qed/listset.mli: CEA_WP
src/plugins/qed/logic.ml: CEA_WP
src/plugins/qed/mergemap.ml: CEA_WP
src/plugins/qed/mergemap.mli: CEA_WP
src/plugins/qed/mergeset.ml: CEA_WP
src/plugins/qed/mergeset.mli: CEA_WP
src/plugins/qed/partition.ml: CEA_WP
src/plugins/qed/partition.mli: CEA_WP
src/plugins/qed/plib.ml: CEA_WP
src/plugins/qed/plib.mli: CEA_WP
src/plugins/qed/pool.ml: CEA_WP
src/plugins/qed/pool.mli: CEA_WP
src/plugins/qed/pretty.ml: CEA_WP
src/plugins/qed/pretty.mli: CEA_WP
src/plugins/qed/term.ml: CEA_WP
src/plugins/qed/term.mli: CEA_WP
src/plugins/report/.gitignore: .ignore
src/plugins/report/Makefile.in: CEA_LGPL_OR_PROPRIETARY
src/plugins/report/Report.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/report/configure.ac: CEA_LGPL_OR_PROPRIETARY
src/plugins/report/classify.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/report/classify.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/report/csv.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/report/csv.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/report/dump.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/report/dump.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/report/register.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/report/register.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/report/report_parameters.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/report/report_parameters.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/report/scan.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/report/scan.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/rte/RteGen.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/rte/flags.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/rte/flags.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/rte/generator.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/rte/generator.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/rte/options.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/rte/options.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/rte/register.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/rte/rte.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/rte/rte.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/rte/visit.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/rte/visit.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/server/.gitignore: .ignore
src/plugins/server/Makefile.in: CEA_LGPL_OR_PROPRIETARY
src/plugins/server/Server.mli: .ignore
src/plugins/server/configure.ac: CEA_LGPL_OR_PROPRIETARY
src/plugins/server/data.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/server/data.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/server/doc.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/server/doc.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/server/jbuffer.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/server/jbuffer.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/server/kernel_ast.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/server/kernel_ast.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/server/kernel_main.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/server/kernel_main.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/server/kernel_project.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/server/kernel_project.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/server/main.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/server/main.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/server/request.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/server/request.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/server/server_parameters.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/server/server_parameters.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/server/server_batch.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/server/server_zmq.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/server/syntax.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/server/syntax.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/scope/Scope.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/scope/datascope.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/scope/datascope.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/scope/defs.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/scope/defs.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/scope/dpds_gui.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/scope/zones.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/scope/zones.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/security_slicing/.gitignore: .ignore
src/plugins/security_slicing/Makefile.in: CEA_LGPL_OR_PROPRIETARY
src/plugins/security_slicing/Security_slicing.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/security_slicing/components.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/security_slicing/components.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/security_slicing/configure.ac: CEA_LGPL_OR_PROPRIETARY
src/plugins/security_slicing/register_gui.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/security_slicing/register_gui.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/security_slicing/security_slicing_parameters.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/security_slicing/security_slicing_parameters.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/slicing/Slicing.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/slicing/api.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/slicing/bts336.c: .ignore
src/plugins/slicing/fct_slice.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/slicing/fct_slice.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/slicing/printSlice.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/slicing/printSlice.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/slicing/register.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/slicing/register_gui.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/slicing/register_gui.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/slicing/slicingActions.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/slicing/slicingActions.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/slicing/slicingCmds.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/slicing/slicingCmds.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/slicing/slicingInternals.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/slicing/slicingMacros.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/slicing/slicingMacros.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/slicing/slicingMarks.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/slicing/slicingMarks.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/slicing/slicingParameters.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/slicing/slicingParameters.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/slicing/slicingProject.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/slicing/slicingProject.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/slicing/slicingSelect.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/slicing/slicingState.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/slicing/slicingState.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/slicing/slicingTransform.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/slicing/slicingTransform.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/slicing/slicingTypes.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/sparecode/Sparecode.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/sparecode/globs.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/sparecode/register.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/sparecode/spare_marks.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/sparecode/spare_marks.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/sparecode/sparecode_params.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/sparecode/sparecode_params.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/sparecode/transform.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/studia/Makefile.in: CEA_LGPL_OR_PROPRIETARY
src/plugins/studia/configure.ac: CEA_LGPL_OR_PROPRIETARY
src/plugins/studia/options.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/studia/options.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/studia/reads.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/studia/reads.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/studia/studia_gui.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/studia/studia_gui.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/studia/Studia.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/studia/writes.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/studia/writes.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/users/Users.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/users/users_register.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/Changelog_non_free: .ignore
src/plugins/value/Eva.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/alarmset.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/alarmset.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/domains/abstract_domain.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/domains/printer_domain.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/domains/printer_domain.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/domains/simpler_domains.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/domains/apron/apron_domain.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/domains/apron/apron_domain.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/domains/cvalue/builtins.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/domains/cvalue/builtins.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/domains/cvalue/builtins_float.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/domains/cvalue/builtins_float.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/domains/cvalue/builtins_malloc.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/domains/cvalue/builtins_malloc.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/domains/cvalue/builtins_misc.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/domains/cvalue/builtins_misc.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/domains/cvalue/builtins_memory.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/domains/cvalue/builtins_memory.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/domains/cvalue/builtins_print_c.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/domains/cvalue/builtins_print_c.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/domains/cvalue/builtins_watchpoint.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/domains/cvalue/builtins_watchpoint.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/domains/cvalue/builtins_split.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/domains/cvalue/builtins_split.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/domains/cvalue/builtins_string.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/domains/cvalue/builtins_string.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/domains/cvalue/cvalue_domain.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/domains/cvalue/cvalue_domain.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/domains/cvalue/cvalue_init.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/domains/cvalue/cvalue_init.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/domains/cvalue/cvalue_offsetmap.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/domains/cvalue/cvalue_offsetmap.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/domains/cvalue/cvalue_specification.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/domains/cvalue/cvalue_specification.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/domains/cvalue/cvalue_transfer.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/domains/cvalue/cvalue_transfer.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/domains/cvalue/locals_scoping.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/domains/cvalue/locals_scoping.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/domains/cvalue/warn.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/domains/cvalue/warn.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/domains/domain_builder.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/domains/domain_builder.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/domains/domain_lift.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/domains/domain_lift.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/domains/domain_product.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/domains/domain_product.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/domains/domain_store.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/domains/domain_store.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/domains/equality/equality.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/domains/equality/equality.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/domains/equality/equality_domain.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/domains/equality/equality_domain.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/domains/gauges/gauges_domain.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/domains/gauges/gauges_domain.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/domains/traces_domain.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/domains/traces_domain.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/domains/hcexprs.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/domains/hcexprs.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/domains/inout_domain.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/domains/inout_domain.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/domains/octagons.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/domains/octagons.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/domains/offsm_domain.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/domains/offsm_domain.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/domains/powerset.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/domains/powerset.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/domains/sign_domain.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/domains/sign_domain.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/domains/numerors/numerors_domain.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/domains/numerors/numerors_domain.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/domains/simple_memory.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/domains/simple_memory.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/domains/symbolic_locs.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/domains/symbolic_locs.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/domains/unit_domain.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/domains/unit_domain.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/engine/abstractions.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/engine/abstractions.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/engine/analysis.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/engine/analysis.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/engine/compute_functions.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/engine/compute_functions.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/engine/evaluation.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/engine/evaluation.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/engine/initialization.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/engine/initialization.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/engine/iterator.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/engine/iterator.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/engine/mem_exec.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/engine/mem_exec.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/engine/recursion.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/engine/recursion.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/engine/subdivided_evaluation.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/engine/subdivided_evaluation.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/engine/transfer_logic.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/engine/transfer_logic.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/engine/transfer_specification.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/engine/transfer_specification.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/engine/transfer_stmt.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/engine/transfer_stmt.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/eval.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/eval.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/gui_files/gui_callstacks_filters.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/gui_files/gui_callstacks_filters.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/gui_files/gui_callstacks_manager.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/gui_files/gui_callstacks_manager.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/gui_files/gui_eval.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/gui_files/gui_eval.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/gui_files/gui_types.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/gui_files/gui_types.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/gui_files/gui_red.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/gui_files/gui_red.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/gui_files/register_gui.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/gui_files/register_gui.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/legacy/eval_annots.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/legacy/eval_annots.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/legacy/eval_op.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/legacy/eval_op.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/legacy/eval_terms.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/legacy/eval_terms.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/legacy/function_args.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/legacy/function_args.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/register.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/register.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/partitioning/auto_loop_unroll.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/partitioning/auto_loop_unroll.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/partitioning/partition.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/partitioning/partition.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/partitioning/partitioning_index.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/partitioning/partitioning_index.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/partitioning/partitioning_parameters.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/partitioning/partitioning_parameters.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/partitioning/per_stmt_slevel.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/partitioning/per_stmt_slevel.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/partitioning/split_return.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/partitioning/split_return.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/partitioning/split_strategy.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/partitioning/split_strategy.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/partitioning/trace_partitioning.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/partitioning/trace_partitioning.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/test.assert.sh: .ignore
src/plugins/value/test.sh: .ignore
src/plugins/value/utils/abstract.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/utils/abstract.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/utils/backward_formals.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/utils/backward_formals.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/utils/eval_typ.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/utils/eval_typ.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/utils/red_statuses.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/utils/red_statuses.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/utils/library_functions.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/utils/library_functions.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/utils/mark_noresults.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/utils/eva_annotations.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/utils/eva_annotations.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/utils/state_import.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/utils/state_import.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/utils/structure.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/utils/structure.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/utils/value_perf.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/utils/value_perf.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/utils/value_results.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/utils/value_results.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/utils/value_util.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/utils/value_util.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/utils/widen.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/utils/widen.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/utils/widen_hints_ext.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/utils/widen_hints_ext.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/value_parameters.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/value_parameters.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/values/abstract_location.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/values/abstract_value.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/values/cvalue_backward.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/values/cvalue_backward.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/values/cvalue_forward.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/values/cvalue_forward.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/values/location_lift.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/values/location_lift.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/values/main_locations.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/values/main_locations.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/values/main_values.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/values/main_values.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/values/offsm_value.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/values/offsm_value.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/values/sign_value.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/values/sign_value.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/values/numerors/numerors_utils.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/values/numerors/numerors_utils.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/values/numerors/numerors_float.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/values/numerors/numerors_float.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/values/numerors/numerors_interval.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/values/numerors/numerors_interval.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/values/numerors/numerors_arithmetics.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/values/numerors/numerors_arithmetics.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/values/numerors/numerors_value.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/values/numerors/numerors_value.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/values/value_product.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/values/value_product.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value_types/README.md: .ignore
src/plugins/value_types/cilE.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value_types/cilE.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value_types/cvalue.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value_types/cvalue.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value_types/function_Froms.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value_types/function_Froms.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value_types/inout_type.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value_types/inout_type.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value_types/precise_locs.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value_types/precise_locs.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value_types/value_types.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value_types/value_types.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value_types/widen_type.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value_types/widen_type.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/variadic/Makefile.in: CEA_LGPL_OR_PROPRIETARY
src/plugins/variadic/configure.ac: CEA_LGPL_OR_PROPRIETARY
src/plugins/variadic/Variadic.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/variadic/classify.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/variadic/environment.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/variadic/extends.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/variadic/extends.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/variadic/format_parser.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/variadic/format_parser.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/variadic/format_pprint.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/variadic/format_pprint.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/variadic/format_string.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/variadic/format_typer.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/variadic/format_typer.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/variadic/format_types.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/variadic/generic.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/variadic/options.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/variadic/options.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/variadic/register.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/variadic/standard.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/variadic/translate.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/variadic/va_build.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/variadic/va_types.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/wp/.gitignore: .ignore
src/plugins/wp/.ocp-indent: .ignore
src/plugins/wp/Auto.ml: CEA_WP
src/plugins/wp/Auto.mli: CEA_WP
src/plugins/wp/Cfloat.ml: CEA_WP
src/plugins/wp/Cfloat.mli: CEA_WP
src/plugins/wp/Changelog: .ignore
src/plugins/wp/Cint.ml: CEA_WP
src/plugins/wp/Cint.mli: CEA_WP
src/plugins/wp/Cleaning.ml: CEA_WP
src/plugins/wp/Cleaning.mli: CEA_WP
src/plugins/wp/Cmath.ml: CEA_WP
src/plugins/wp/Cmath.mli: CEA_WP
src/plugins/wp/CodeSemantics.ml: CEA_WP
src/plugins/wp/CodeSemantics.mli: CEA_WP
src/plugins/wp/Conditions.ml: CEA_WP
src/plugins/wp/Conditions.mli: CEA_WP
src/plugins/wp/Context.ml: CEA_WP
src/plugins/wp/Context.mli: CEA_WP
src/plugins/wp/Cstring.ml: CEA_WP
src/plugins/wp/Cstring.mli: CEA_WP
src/plugins/wp/Cvalues.ml: CEA_WP
src/plugins/wp/Cvalues.mli: CEA_WP
src/plugins/wp/Definitions.ml: CEA_WP
src/plugins/wp/Definitions.mli: CEA_WP
src/plugins/wp/Factory.ml: CEA_WP
src/plugins/wp/Factory.mli: CEA_WP
src/plugins/wp/Filtering.ml: CEA_WP
src/plugins/wp/Filtering.mli: CEA_WP
src/plugins/wp/Footprint.ml: CEA_WP
src/plugins/wp/Footprint.mli: CEA_WP
src/plugins/wp/Generator.ml: CEA_WP
src/plugins/wp/Generator.mli: CEA_WP
src/plugins/wp/GuiConfig.ml: CEA_WP
src/plugins/wp/GuiConfig.mli: CEA_WP
src/plugins/wp/GuiComposer.ml: CEA_WP
src/plugins/wp/GuiComposer.mli: CEA_WP
src/plugins/wp/GuiGoal.ml: CEA_WP
src/plugins/wp/GuiGoal.mli: CEA_WP
src/plugins/wp/GuiList.ml: CEA_WP
src/plugins/wp/GuiList.mli: CEA_WP
src/plugins/wp/GuiNavigator.ml: CEA_WP
src/plugins/wp/GuiNavigator.mli: CEA_WP
src/plugins/wp/GuiPanel.ml: CEA_WP
src/plugins/wp/GuiPanel.mli: CEA_WP
src/plugins/wp/GuiProver.ml: CEA_WP
src/plugins/wp/GuiProver.mli: CEA_WP
src/plugins/wp/GuiProof.ml: CEA_WP
src/plugins/wp/GuiProof.mli: CEA_WP
src/plugins/wp/GuiSequent.ml: CEA_WP
src/plugins/wp/GuiSequent.mli: CEA_WP
src/plugins/wp/GuiSource.ml: CEA_WP
src/plugins/wp/GuiSource.mli: CEA_WP
src/plugins/wp/GuiTactic.ml: CEA_WP
src/plugins/wp/GuiTactic.mli: CEA_WP
src/plugins/wp/Layout.ml: CEA_WP
src/plugins/wp/Layout.mli: CEA_WP
src/plugins/wp/Lang.ml: CEA_WP
src/plugins/wp/Lang.mli: CEA_WP
src/plugins/wp/Letify.ml: CEA_WP
src/plugins/wp/Letify.mli: CEA_WP
src/plugins/wp/LogicAssigns.ml: CEA_WP
src/plugins/wp/LogicAssigns.mli: CEA_WP
src/plugins/wp/LogicBuiltins.ml: CEA_WP
src/plugins/wp/LogicBuiltins.mli: CEA_WP
src/plugins/wp/LogicCompiler.ml: CEA_WP
src/plugins/wp/LogicCompiler.mli: CEA_WP
src/plugins/wp/LogicSemantics.ml: CEA_WP
src/plugins/wp/LogicSemantics.mli: CEA_WP
src/plugins/wp/LogicUsage.ml: CEA_WP
src/plugins/wp/LogicUsage.mli: CEA_WP
src/plugins/wp/MakeDistrib: .ignore
src/plugins/wp/Makefile.in: CEA_WP
src/plugins/wp/Matrix.ml: CEA_WP
src/plugins/wp/Matrix.mli: CEA_WP
src/plugins/wp/MemoryContext.ml: CEA_WP
src/plugins/wp/MemoryContext.mli: CEA_WP
src/plugins/wp/MemEmpty.ml: CEA_WP
src/plugins/wp/MemEmpty.mli: CEA_WP
src/plugins/wp/MemLoader.ml: CEA_WP
src/plugins/wp/MemLoader.mli: CEA_WP
src/plugins/wp/MemMemory.ml: CEA_WP
src/plugins/wp/MemMemory.mli: CEA_WP
src/plugins/wp/MemRegion.ml: CEA_WP
src/plugins/wp/MemRegion.mli: CEA_WP
src/plugins/wp/MemTyped.ml: CEA_WP
src/plugins/wp/MemTyped.mli: CEA_WP
src/plugins/wp/MemVar.ml: CEA_WP
src/plugins/wp/MemVar.mli: CEA_WP
src/plugins/wp/MemZeroAlias.ml: CEA_WP
src/plugins/wp/MemZeroAlias.mli: CEA_WP
src/plugins/wp/Sigs.ml: CEA_WP
src/plugins/wp/Mstate.ml: CEA_WP
src/plugins/wp/Mstate.mli: CEA_WP
src/plugins/wp/Partitioning.ml: CEA_WP
src/plugins/wp/Partitioning.mli: CEA_WP
src/plugins/wp/Passive.ml: CEA_WP
src/plugins/wp/Passive.mli: CEA_WP
src/plugins/wp/Pcfg.ml: CEA_WP
src/plugins/wp/Pcfg.mli: CEA_WP
src/plugins/wp/Pcond.ml: CEA_WP
src/plugins/wp/Pcond.mli: CEA_WP
src/plugins/wp/Plang.ml: CEA_WP
src/plugins/wp/Plang.mli: CEA_WP
src/plugins/wp/PrecisionLoss.mli: CEA_WP
src/plugins/wp/ProofEngine.ml: CEA_WP
src/plugins/wp/ProofEngine.mli: CEA_WP
src/plugins/wp/ProofSession.ml: CEA_WP
src/plugins/wp/ProofSession.mli: CEA_WP
src/plugins/wp/ProofScript.ml: CEA_WP
src/plugins/wp/ProofScript.mli: CEA_WP
src/plugins/wp/ProverCoq.ml: CEA_WP
src/plugins/wp/ProverCoq.mli: CEA_WP
src/plugins/wp/ProverErgo.ml: CEA_WP
src/plugins/wp/ProverErgo.mli: CEA_WP
src/plugins/wp/ProverScript.ml: CEA_WP
src/plugins/wp/ProverScript.mli: CEA_WP
src/plugins/wp/ProverSearch.ml: CEA_WP
src/plugins/wp/ProverSearch.mli: CEA_WP
src/plugins/wp/ProverTask.ml: CEA_WP
src/plugins/wp/ProverTask.mli: CEA_WP
src/plugins/wp/ProverWhy3.mli: CEA_WP
src/plugins/wp/ProverWhy3.ml: CEA_WP
src/plugins/wp/REVISION: .ignore
src/plugins/wp/RefUsage.ml: CEA_WP
src/plugins/wp/RefUsage.mli: CEA_WP
src/plugins/wp/Region.ml: CEA_WP
src/plugins/wp/Region.mli: CEA_WP
src/plugins/wp/RegionAccess.ml: CEA_WP
src/plugins/wp/RegionAccess.mli: CEA_WP
src/plugins/wp/RegionAnalysis.ml: CEA_WP
src/plugins/wp/RegionAnalysis.mli: CEA_WP
src/plugins/wp/RegionAnnot.ml: CEA_WP
src/plugins/wp/RegionAnnot.mli: CEA_WP
src/plugins/wp/RegionDump.ml: CEA_WP
src/plugins/wp/RegionDump.mli: CEA_WP
src/plugins/wp/Repr.ml: CEA_WP
src/plugins/wp/Repr.mli: CEA_WP
src/plugins/wp/Sigma.ml: CEA_WP
src/plugins/wp/Sigma.mli: CEA_WP
src/plugins/wp/Splitter.ml: CEA_WP
src/plugins/wp/Splitter.mli: CEA_WP
src/plugins/wp/CfgCompiler.ml: CEA_WP
src/plugins/wp/CfgCompiler.mli: CEA_WP
src/plugins/wp/StmtSemantics.ml: CEA_WP
src/plugins/wp/StmtSemantics.mli: CEA_WP
src/plugins/wp/Strategy.ml: CEA_WP
src/plugins/wp/Strategy.mli: CEA_WP
src/plugins/wp/Tactical.ml: CEA_WP
src/plugins/wp/Tactical.mli: CEA_WP
src/plugins/wp/TacArray.ml: CEA_WP
src/plugins/wp/TacArray.mli: CEA_WP
src/plugins/wp/TacBitwised.ml: CEA_WP
src/plugins/wp/TacBitwised.mli: CEA_WP
src/plugins/wp/TacBitrange.ml: CEA_WP
src/plugins/wp/TacBitrange.mli: CEA_WP
src/plugins/wp/TacChoice.ml: CEA_WP
src/plugins/wp/TacChoice.mli: CEA_WP
src/plugins/wp/TacCongruence.ml: CEA_WP
src/plugins/wp/TacCongruence.mli: CEA_WP
src/plugins/wp/TacCompound.ml: CEA_WP
src/plugins/wp/TacCompound.mli: CEA_WP
src/plugins/wp/TacCut.ml: CEA_WP
src/plugins/wp/TacCut.mli: CEA_WP
src/plugins/wp/TacFilter.ml: CEA_WP
src/plugins/wp/TacFilter.mli: CEA_WP
src/plugins/wp/TacHavoc.ml: CEA_WP
src/plugins/wp/TacHavoc.mli: CEA_WP
src/plugins/wp/TacInstance.ml: CEA_WP
src/plugins/wp/TacInstance.mli: CEA_WP
src/plugins/wp/TacLemma.ml: CEA_WP
src/plugins/wp/TacLemma.mli: CEA_WP
src/plugins/wp/TacNormalForm.ml: CEA_WP
src/plugins/wp/TacNormalForm.mli: CEA_WP
src/plugins/wp/TacOverflow.ml: CEA_WP
src/plugins/wp/TacOverflow.mli: CEA_WP
src/plugins/wp/TacRange.ml: CEA_WP
src/plugins/wp/TacRange.mli: CEA_WP
src/plugins/wp/TacRewrite.ml: CEA_WP
src/plugins/wp/TacRewrite.mli: CEA_WP
src/plugins/wp/TacShift.ml: CEA_WP
src/plugins/wp/TacShift.mli: CEA_WP
src/plugins/wp/TacSplit.ml: CEA_WP
src/plugins/wp/TacSplit.mli: CEA_WP
src/plugins/wp/TacUnfold.ml: CEA_WP
src/plugins/wp/TacUnfold.mli: CEA_WP
src/plugins/wp/VC.ml: CEA_WP
src/plugins/wp/VC.mli: CEA_WP
src/plugins/wp/VCS.ml: CEA_WP
src/plugins/wp/VCS.mli: CEA_WP
src/plugins/wp/Vlist.ml: CEA_WP
src/plugins/wp/Vlist.mli: CEA_WP
src/plugins/wp/Vset.ml: CEA_WP
src/plugins/wp/Vset.mli: CEA_WP
src/plugins/wp/Warning.ml: CEA_WP
src/plugins/wp/Warning.mli: CEA_WP
src/plugins/wp/Why3Provers.ml: CEA_WP
src/plugins/wp/Why3Provers.mli: CEA_WP
src/plugins/wp/Wp.mli: .ignore
src/plugins/wp/WpTac.ml: CEA_WP
src/plugins/wp/WpTac.mli: CEA_WP
src/plugins/wp/calculus.ml: CEA_WP
src/plugins/wp/calculus.mli: CEA_WP
src/plugins/wp/cfgDump.ml: CEA_WP
src/plugins/wp/cfgDump.mli: CEA_WP
src/plugins/wp/cfgWP.ml: CEA_WP
src/plugins/wp/cfgWP.mli: CEA_WP
src/plugins/wp/cil2cfg.ml: CEA_WP
src/plugins/wp/cil2cfg.mli: CEA_WP
src/plugins/wp/clabels.ml: CEA_WP
src/plugins/wp/clabels.mli: CEA_WP
src/plugins/wp/configure.ac: CEA_WP
src/plugins/wp/ctypes.ml: CEA_WP
src/plugins/wp/ctypes.mli: CEA_WP
src/plugins/wp/filter_axioms.ml: CEA_WP
src/plugins/wp/filter_axioms.mli: CEA_WP
src/plugins/wp/doc/MakeDoc: .ignore
src/plugins/wp/doc/coqdoc/Makefile: .ignore
src/plugins/wp/doc/coqdoc/coqdoc.sty: .ignore
src/plugins/wp/doc/coqdoc/qed_generated.tex: .ignore
src/plugins/wp/doc/coqdoc/typed_generated.tex: .ignore
src/plugins/wp/doc/coqdoc/wpcoq.tex: .ignore
src/plugins/wp/doc/manual/.gitignore: .ignore
src/plugins/wp/doc/manual/Makefile: .ignore
src/plugins/wp/doc/manual/cealistlogo.jpg: .ignore
src/plugins/wp/doc/manual/mem.pdf: .ignore
src/plugins/wp/doc/manual/size_base.pdf: .ignore
src/plugins/wp/doc/manual/size_compl.pdf: .ignore
src/plugins/wp/doc/manual/wp-complete.png: .ignore
src/plugins/wp/doc/manual/wp-gui-main.png: .ignore
src/plugins/wp/doc/manual/wp-gui-run.png: .ignore
src/plugins/wp/doc/manual/wp-invalid.png: .ignore
src/plugins/wp/doc/manual/wp-unknown.png: .ignore
src/plugins/wp/doc/manual/wp-valid.png: .ignore
src/plugins/wp/doc/manual/wp.bib: .ignore
src/plugins/wp/doc/manual/wp.tex: .ignore
src/plugins/wp/doc/manual/wp_acsl.tex: .ignore
src/plugins/wp/doc/manual/wp_calculus.tex: .ignore
src/plugins/wp/doc/manual/wp_caveat.tex: .ignore
src/plugins/wp/doc/manual/wp_hoare.tex: .ignore
src/plugins/wp/doc/manual/wp_implementation.tex: .ignore
src/plugins/wp/doc/manual/wp_intro.tex: .ignore
src/plugins/wp/doc/manual/wp_logic.tex: .ignore
src/plugins/wp/doc/manual/wp_logicvar.tex: .ignore
src/plugins/wp/doc/manual/wp_models.tex: .ignore
src/plugins/wp/doc/manual/wp_plugin.tex: .ignore
src/plugins/wp/doc/manual/wp_runtime.tex: .ignore
src/plugins/wp/doc/manual/wp_simplifier.tex: .ignore
src/plugins/wp/doc/manual/wp_store.tex: .ignore
src/plugins/wp/doc/manual/wp_typed.tex: .ignore
src/plugins/wp/doc/tutorial/.gitignore: .ignore
src/plugins/wp/doc/tutorial/Makefile: .ignore
src/plugins/wp/doc/tutorial/README: .ignore
src/plugins/wp/doc/tutorial/adjacent/adjacent.c: .ignore
src/plugins/wp/doc/tutorial/adjacent/adjacent.h: .ignore
src/plugins/wp/doc/tutorial/adjacent/adjacent.impl: .ignore
src/plugins/wp/doc/tutorial/adjacent/adjacent.spec: .ignore
src/plugins/wp/doc/tutorial/adjacent/adjacent.tex: .ignore
src/plugins/wp/doc/tutorial/adjacent/adjacent_report.tex: .ignore
src/plugins/wp/doc/tutorial/adjacent/neighbors.spec: .ignore
src/plugins/wp/doc/tutorial/binary/binary.h: .ignore
src/plugins/wp/doc/tutorial/binary/division.spec: .ignore
src/plugins/wp/doc/tutorial/binary/sorted.spec: .ignore
src/plugins/wp/doc/tutorial/binarysearch/binarysearch.c: .ignore
src/plugins/wp/doc/tutorial/binarysearch/binarysearch.h: .ignore
src/plugins/wp/doc/tutorial/binarysearch/binarysearch.impl: .ignore
src/plugins/wp/doc/tutorial/binarysearch/binarysearch.spec: .ignore
src/plugins/wp/doc/tutorial/binarysearch/binarysearch.tex: .ignore
src/plugins/wp/doc/tutorial/binarysearch/binarysearch_report.tex: .ignore
src/plugins/wp/doc/tutorial/compare/compare.c: .ignore
src/plugins/wp/doc/tutorial/compare/compare.report: .ignore
src/plugins/wp/doc/tutorial/compare/compare.spec: .ignore
src/plugins/wp/doc/tutorial/compare/compare.tex: .ignore
src/plugins/wp/doc/tutorial/compare/compare_report.tex: .ignore
src/plugins/wp/doc/tutorial/compare/greater.c: .ignore
src/plugins/wp/doc/tutorial/compare/greater.spec: .ignore
src/plugins/wp/doc/tutorial/compare/less.c: .ignore
src/plugins/wp/doc/tutorial/compare/less.spec: .ignore
src/plugins/wp/doc/tutorial/console.report: .ignore
src/plugins/wp/doc/tutorial/copy/copy.c: .ignore
src/plugins/wp/doc/tutorial/copy/copy.h: .ignore
src/plugins/wp/doc/tutorial/copy/copy.impl: .ignore
src/plugins/wp/doc/tutorial/copy/copy.spec: .ignore
src/plugins/wp/doc/tutorial/copy/copy.tex: .ignore
src/plugins/wp/doc/tutorial/copy/copy_report.tex: .ignore
src/plugins/wp/doc/tutorial/count/count.axioms: .ignore
src/plugins/wp/doc/tutorial/count/count.c: .ignore
src/plugins/wp/doc/tutorial/count/count.h: .ignore
src/plugins/wp/doc/tutorial/count/count.impl: .ignore
src/plugins/wp/doc/tutorial/count/count.lemma: .ignore
src/plugins/wp/doc/tutorial/count/count.spec: .ignore
src/plugins/wp/doc/tutorial/count/count.tex: .ignore
src/plugins/wp/doc/tutorial/count/count_report.tex: .ignore
src/plugins/wp/doc/tutorial/count/original.axioms: .ignore
src/plugins/wp/doc/tutorial/equal/equal.c: .ignore
src/plugins/wp/doc/tutorial/equal/equal.h: .ignore
src/plugins/wp/doc/tutorial/equal/equal.impl: .ignore
src/plugins/wp/doc/tutorial/equal/equal.spec: .ignore
src/plugins/wp/doc/tutorial/equal/equal.tex: .ignore
src/plugins/wp/doc/tutorial/equal/equal_report.tex: .ignore
src/plugins/wp/doc/tutorial/equal/equal_rte_report.tex: .ignore
src/plugins/wp/doc/tutorial/fill/fill.c: .ignore
src/plugins/wp/doc/tutorial/fill/fill.h: .ignore
src/plugins/wp/doc/tutorial/fill/fill.impl: .ignore
src/plugins/wp/doc/tutorial/fill/fill.spec: .ignore
src/plugins/wp/doc/tutorial/fill/fill.tex: .ignore
src/plugins/wp/doc/tutorial/fill/fill_report.tex: .ignore
src/plugins/wp/doc/tutorial/find/find.c: .ignore
src/plugins/wp/doc/tutorial/find/find.h: .ignore
src/plugins/wp/doc/tutorial/find/find.impl: .ignore
src/plugins/wp/doc/tutorial/find/find.spec: .ignore
src/plugins/wp/doc/tutorial/find/find.tex: .ignore
src/plugins/wp/doc/tutorial/find/find_report.tex: .ignore
src/plugins/wp/doc/tutorial/find/hasvalue.spec: .ignore
src/plugins/wp/doc/tutorial/findfirst/findfirst.c: .ignore
src/plugins/wp/doc/tutorial/findfirst/findfirst.h: .ignore
src/plugins/wp/doc/tutorial/findfirst/findfirst.impl: .ignore
src/plugins/wp/doc/tutorial/findfirst/findfirst.spec: .ignore
src/plugins/wp/doc/tutorial/findfirst/findfirst.tex: .ignore
src/plugins/wp/doc/tutorial/findfirst/findfirst_report.tex: .ignore
src/plugins/wp/doc/tutorial/findfirst/hasvalueof.spec: .ignore
src/plugins/wp/doc/tutorial/iota/iota.c: .ignore
src/plugins/wp/doc/tutorial/iota/iota.h: .ignore
src/plugins/wp/doc/tutorial/iota/iota.impl: .ignore
src/plugins/wp/doc/tutorial/iota/iota.spec: .ignore
src/plugins/wp/doc/tutorial/iota/iota.tex: .ignore
src/plugins/wp/doc/tutorial/iota/iota_report.tex: .ignore
src/plugins/wp/doc/tutorial/library.h: .ignore
src/plugins/wp/doc/tutorial/library.spec: .ignore
src/plugins/wp/doc/tutorial/lowerbound/lowerbound.c: .ignore
src/plugins/wp/doc/tutorial/lowerbound/lowerbound.h: .ignore
src/plugins/wp/doc/tutorial/lowerbound/lowerbound.impl: .ignore
src/plugins/wp/doc/tutorial/lowerbound/lowerbound.spec: .ignore
src/plugins/wp/doc/tutorial/lowerbound/lowerbound.tex: .ignore
src/plugins/wp/doc/tutorial/lowerbound/lowerbound_report.tex: .ignore
src/plugins/wp/doc/tutorial/maxelt/maxelt.c: .ignore
src/plugins/wp/doc/tutorial/maxelt/maxelt.h: .ignore
src/plugins/wp/doc/tutorial/maxelt/maxelt.impl: .ignore
src/plugins/wp/doc/tutorial/maxelt/maxelt.spec: .ignore
src/plugins/wp/doc/tutorial/maxelt/maxelt.tex: .ignore
src/plugins/wp/doc/tutorial/maxelt/maxelt_report.tex: .ignore
src/plugins/wp/doc/tutorial/maxeltp/maxelt.c: .ignore
src/plugins/wp/doc/tutorial/maxeltp/maxelt.h: .ignore
src/plugins/wp/doc/tutorial/maxeltp/maxelt.impl: .ignore
src/plugins/wp/doc/tutorial/maxeltp/maxelt.report: .ignore
src/plugins/wp/doc/tutorial/maxeltp/maxelt.spec: .ignore
src/plugins/wp/doc/tutorial/maxeltp/maxelt.tex: .ignore
src/plugins/wp/doc/tutorial/maxeltp/maxelt_report.tex: .ignore
src/plugins/wp/doc/tutorial/maxeltp/maximum.spec: .ignore
src/plugins/wp/doc/tutorial/maxseq/maxseq.c: .ignore
src/plugins/wp/doc/tutorial/maxseq/maxseq.h: .ignore
src/plugins/wp/doc/tutorial/maxseq/maxseq.impl: .ignore
src/plugins/wp/doc/tutorial/maxseq/maxseq.spec: .ignore
src/plugins/wp/doc/tutorial/maxseq/maxseq.tex: .ignore
src/plugins/wp/doc/tutorial/maxseq/maxseq_report.tex: .ignore
src/plugins/wp/doc/tutorial/minelt/minelt.c: .ignore
src/plugins/wp/doc/tutorial/minelt/minelt.h: .ignore
src/plugins/wp/doc/tutorial/minelt/minelt.impl: .ignore
src/plugins/wp/doc/tutorial/minelt/minelt.spec: .ignore
src/plugins/wp/doc/tutorial/minelt/minelt.tex: .ignore
src/plugins/wp/doc/tutorial/minelt/minelt_report.tex: .ignore
src/plugins/wp/doc/tutorial/mismatch/eqmismatch.report: .ignore
src/plugins/wp/doc/tutorial/mismatch/eqmismatch_report.tex: .ignore
src/plugins/wp/doc/tutorial/mismatch/equal.c: .ignore
src/plugins/wp/doc/tutorial/mismatch/mismatch.c: .ignore
src/plugins/wp/doc/tutorial/mismatch/mismatch.h: .ignore
src/plugins/wp/doc/tutorial/mismatch/mismatch.impl: .ignore
src/plugins/wp/doc/tutorial/mismatch/mismatch.spec: .ignore
src/plugins/wp/doc/tutorial/mismatch/mismatch.tex: .ignore
src/plugins/wp/doc/tutorial/mismatch/mismatch_report.tex: .ignore
src/plugins/wp/doc/tutorial/ptests_local_config.in: .ignore
src/plugins/wp/doc/tutorial/removecopy/original.axioms: .ignore
src/plugins/wp/doc/tutorial/removecopy/removecopy.axioms: .ignore
src/plugins/wp/doc/tutorial/removecopy/removecopy.c: .ignore
src/plugins/wp/doc/tutorial/removecopy/removecopy.h: .ignore
src/plugins/wp/doc/tutorial/removecopy/removecopy.impl: .ignore
src/plugins/wp/doc/tutorial/removecopy/removecopy.spec: .ignore
src/plugins/wp/doc/tutorial/removecopy/removecopy.tex: .ignore
src/plugins/wp/doc/tutorial/removecopy/removecopy_report.tex: .ignore
src/plugins/wp/doc/tutorial/replacecopy/replacecopy.c: .ignore
src/plugins/wp/doc/tutorial/replacecopy/replacecopy.h: .ignore
src/plugins/wp/doc/tutorial/replacecopy/replacecopy.impl: .ignore
src/plugins/wp/doc/tutorial/replacecopy/replacecopy.spec: .ignore
src/plugins/wp/doc/tutorial/replacecopy/replacecopy.tex: .ignore
src/plugins/wp/doc/tutorial/replacecopy/replacecopy_report.tex: .ignore
src/plugins/wp/doc/tutorial/reversecopy/reverse.c: .ignore
src/plugins/wp/doc/tutorial/reversecopy/reverse.h: .ignore
src/plugins/wp/doc/tutorial/reversecopy/reverse.impl: .ignore
src/plugins/wp/doc/tutorial/reversecopy/reverse.spec: .ignore
src/plugins/wp/doc/tutorial/reversecopy/reverse_report.tex: .ignore
src/plugins/wp/doc/tutorial/reversecopy/reversecopy.c: .ignore
src/plugins/wp/doc/tutorial/reversecopy/reversecopy.h: .ignore
src/plugins/wp/doc/tutorial/reversecopy/reversecopy.impl: .ignore
src/plugins/wp/doc/tutorial/reversecopy/reversecopy.spec: .ignore
src/plugins/wp/doc/tutorial/reversecopy/reversecopy.tex: .ignore
src/plugins/wp/doc/tutorial/reversecopy/reversecopy_report.tex: .ignore
src/plugins/wp/doc/tutorial/rotatecopy/rotatecopy.c: .ignore
src/plugins/wp/doc/tutorial/rotatecopy/rotatecopy.h: .ignore
src/plugins/wp/doc/tutorial/rotatecopy/rotatecopy.impl: .ignore
src/plugins/wp/doc/tutorial/rotatecopy/rotatecopy.spec: .ignore
src/plugins/wp/doc/tutorial/rotatecopy/rotatecopy.tex: .ignore
src/plugins/wp/doc/tutorial/rotatecopy/rotatecopy_report.tex: .ignore
src/plugins/wp/doc/tutorial/search/hasrange.spec: .ignore
src/plugins/wp/doc/tutorial/search/search.c: .ignore
src/plugins/wp/doc/tutorial/search/search.h: .ignore
src/plugins/wp/doc/tutorial/search/search.impl: .ignore
src/plugins/wp/doc/tutorial/search/search.spec: .ignore
src/plugins/wp/doc/tutorial/search/search.tex: .ignore
src/plugins/wp/doc/tutorial/search/search_report.tex: .ignore
src/plugins/wp/doc/tutorial/summary.report: .ignore
src/plugins/wp/doc/tutorial/swap/swap.c: .ignore
src/plugins/wp/doc/tutorial/swap/swap.h: .ignore
src/plugins/wp/doc/tutorial/swap/swap.impl: .ignore
src/plugins/wp/doc/tutorial/swap/swap.spec: .ignore
src/plugins/wp/doc/tutorial/swap/swap.tex: .ignore
src/plugins/wp/doc/tutorial/swap/swap_report.tex: .ignore
src/plugins/wp/doc/tutorial/swapranges/swapranges.c: .ignore
src/plugins/wp/doc/tutorial/swapranges/swapranges.h: .ignore
src/plugins/wp/doc/tutorial/swapranges/swapranges.impl: .ignore
src/plugins/wp/doc/tutorial/swapranges/swapranges.spec: .ignore
src/plugins/wp/doc/tutorial/swapranges/swapranges.tex: .ignore
src/plugins/wp/doc/tutorial/swapranges/swapranges_report.tex: .ignore
src/plugins/wp/doc/tutorial/swapvalues/swapvalues-withassert.c: .ignore
src/plugins/wp/doc/tutorial/swapvalues/swapvalues-withassert.impl: .ignore
src/plugins/wp/doc/tutorial/swapvalues/swapvalues.c: .ignore
src/plugins/wp/doc/tutorial/swapvalues/swapvalues.h: .ignore
src/plugins/wp/doc/tutorial/swapvalues/swapvalues.impl: .ignore
src/plugins/wp/doc/tutorial/swapvalues/swapvalues.spec: .ignore
src/plugins/wp/doc/tutorial/swapvalues/swapvalues.tex: .ignore
src/plugins/wp/doc/tutorial/swapvalues/swapvalues_report.tex: .ignore
src/plugins/wp/doc/tutorial/tut_binary.tex: .ignore
src/plugins/wp/doc/tutorial/tut_function.tex: .ignore
src/plugins/wp/doc/tutorial/tut_intro.tex: .ignore
src/plugins/wp/doc/tutorial/tut_maxmin.tex: .ignore
src/plugins/wp/doc/tutorial/tut_mutating.tex: .ignore
src/plugins/wp/doc/tutorial/tut_rationale.tex: .ignore
src/plugins/wp/doc/tutorial/tutorial.tex: .ignore
src/plugins/wp/doc/tutorial/tutorial.tgz: .ignore
src/plugins/wp/doc/tutorial/uniquecopy/original.axioms: .ignore
src/plugins/wp/doc/tutorial/uniquecopy/uniquecopy.axioms: .ignore
src/plugins/wp/doc/tutorial/uniquecopy/uniquecopy.c: .ignore
src/plugins/wp/doc/tutorial/uniquecopy/uniquecopy.h: .ignore
src/plugins/wp/doc/tutorial/uniquecopy/uniquecopy.impl: .ignore
src/plugins/wp/doc/tutorial/uniquecopy/uniquecopy.spec: .ignore
src/plugins/wp/doc/tutorial/uniquecopy/uniquecopy.tex: .ignore
src/plugins/wp/doc/tutorial/uniquecopy/uniquecopy_report.tex: .ignore
src/plugins/wp/doc/tutorial/upperbound/upperbound.c: .ignore
src/plugins/wp/doc/tutorial/upperbound/upperbound.h: .ignore
src/plugins/wp/doc/tutorial/upperbound/upperbound.impl: .ignore
src/plugins/wp/doc/tutorial/upperbound/upperbound.spec: .ignore
src/plugins/wp/doc/tutorial/upperbound/upperbound.tex: .ignore
src/plugins/wp/doc/tutorial/upperbound/upperbound_report.tex: .ignore
src/plugins/wp/driver.mli: CEA_WP
src/plugins/wp/driver.mll: CEA_WP
src/plugins/wp/dyncall.ml: CEA_WP
src/plugins/wp/dyncall.mli: CEA_WP
src/plugins/wp/intro_wp.txt: CEA_WP
src/plugins/wp/mcfg.ml: CEA_WP
src/plugins/wp/normAtLabels.ml: CEA_WP
src/plugins/wp/normAtLabels.mli: CEA_WP
src/plugins/wp/proof.ml: CEA_WP
src/plugins/wp/proof.mli: CEA_WP
src/plugins/wp/prover.ml: CEA_WP
src/plugins/wp/prover.mli: CEA_WP
src/plugins/wp/register.ml: CEA_WP
src/plugins/wp/rformat.mli: CEA_WP
src/plugins/wp/rformat.mll: CEA_WP
src/plugins/wp/script.mli: CEA_WP
src/plugins/wp/script.mll: CEA_WP
src/plugins/wp/semantics/Cil.v: .ignore
src/plugins/wp/semantics/Datatype.v: .ignore
src/plugins/wp/semantics/Layout.v: .ignore
src/plugins/wp/semantics/Machine.v: .ignore
src/plugins/wp/semantics/Makefile: .ignore
src/plugins/wp/semantics/Pointer.v: .ignore
src/plugins/wp/semantics/Primitive.v: .ignore
src/plugins/wp/semantics/Semantics.v: .ignore
src/plugins/wp/semantics/Typing.v: .ignore
src/plugins/wp/semantics/Values.v: .ignore
src/plugins/wp/semantics/coqide.sh: .ignore
src/plugins/wp/share/.gitignore: .ignore
src/plugins/wp/share/Makefile.coqwp: CEA_WP
src/plugins/wp/share/Makefile.resources: CEA_WP
src/plugins/wp/share/coqwp/ArcTrigo.v: CEA_WP
src/plugins/wp/share/coqwp/Bits.v: CEA_WP
src/plugins/wp/share/coqwp/BuiltIn.v: UNMODIFIED_WHY3
src/plugins/wp/share/coqwp/Cbits.v: CEA_WP
src/plugins/wp/share/coqwp/Cfloat.v: CEA_WP
src/plugins/wp/share/coqwp/Cint.v: CEA_WP
src/plugins/wp/share/coqwp/Cmath.v: CEA_WP
src/plugins/wp/share/coqwp/ExpLog.v: CEA_WP
src/plugins/wp/share/coqwp/HighOrd.v: UNMODIFIED_WHY3
src/plugins/wp/share/coqwp/Memory.v: CEA_WP
src/plugins/wp/share/coqwp/Qed.v: CEA_WP
src/plugins/wp/share/coqwp/Qedlib.v: CEA_WP
src/plugins/wp/share/coqwp/Square.v: CEA_WP
src/plugins/wp/share/coqwp/Vlist.v: CEA_WP
src/plugins/wp/share/coqwp/Vset.v: CEA_WP
src/plugins/wp/share/coqwp/Zbits.v: CEA_WP
src/plugins/wp/share/coqwp/bool/Bool.v: UNMODIFIED_WHY3
src/plugins/wp/share/coqwp/int/Abs.v: UNMODIFIED_WHY3
src/plugins/wp/share/coqwp/int/ComputerDivision.v: UNMODIFIED_WHY3
src/plugins/wp/share/coqwp/int/EuclideanDivision.v: UNMODIFIED_WHY3
src/plugins/wp/share/coqwp/int/Exponentiation.v: UNMODIFIED_WHY3
src/plugins/wp/share/coqwp/int/Int.v: UNMODIFIED_WHY3
src/plugins/wp/share/coqwp/int/MinMax.v: UNMODIFIED_WHY3
src/plugins/wp/share/coqwp/int/Power.v: UNMODIFIED_WHY3
src/plugins/wp/share/coqwp/int/ComputerOfEuclideanDivision.v: UNMODIFIED_WHY3
src/plugins/wp/share/coqwp/map/Map.v: UNMODIFIED_WHY3
src/plugins/wp/share/coqwp/map/Const.v: UNMODIFIED_WHY3
src/plugins/wp/share/coqwp/real/Abs.v: UNMODIFIED_WHY3
src/plugins/wp/share/coqwp/real/FromInt.v: UNMODIFIED_WHY3
src/plugins/wp/share/coqwp/real/ExpLog.v: UNMODIFIED_WHY3
src/plugins/wp/share/coqwp/real/MinMax.v: UNMODIFIED_WHY3
src/plugins/wp/share/coqwp/real/PowerReal.v: UNMODIFIED_WHY3
src/plugins/wp/share/coqwp/real/Real.v: UNMODIFIED_WHY3
src/plugins/wp/share/coqwp/real/RealInfix.v: UNMODIFIED_WHY3
src/plugins/wp/share/coqwp/real/Square.v: UNMODIFIED_WHY3
src/plugins/wp/share/coqwp/real/Trigonometry.v: UNMODIFIED_WHY3
src/plugins/wp/share/doc/.gitignore: .ignore
src/plugins/wp/share/doc/coq2html.css: .ignore
src/plugins/wp/share/doc/coq2html.js: .ignore
src/plugins/wp/share/doc/coq2html.mll: .ignore
src/plugins/wp/share/doc/coq2latex.mll: .ignore
src/plugins/wp/share/doc/coq2latex.sty: .ignore
src/plugins/wp/share/doc/foot.html: .ignore
src/plugins/wp/share/doc/frama-c.png: .ignore
src/plugins/wp/share/doc/head.html: .ignore
src/plugins/wp/share/doc/index.png: .ignore
src/plugins/wp/share/ergo/ArcTrigo.mlw: CEA_WP
src/plugins/wp/share/ergo/Cbits.mlw: CEA_WP
src/plugins/wp/share/ergo/Cfloat.mlw: CEA_WP
src/plugins/wp/share/ergo/Cint.mlw: CEA_WP
src/plugins/wp/share/ergo/Cmath.mlw: CEA_WP
src/plugins/wp/share/ergo/ExpLog.mlw: CEA_WP
src/plugins/wp/share/ergo/Memory.mlw: CEA_WP
src/plugins/wp/share/ergo/Qed.mlw: CEA_WP
src/plugins/wp/share/ergo/Square.mlw: CEA_WP
src/plugins/wp/share/ergo/Vlist.mlw: CEA_WP
src/plugins/wp/share/ergo/Vset.mlw: CEA_WP
src/plugins/wp/share/ergo/bool.Bool.mlw: MODIFIED_WHY3
src/plugins/wp/share/ergo/int.Abs.mlw: MODIFIED_WHY3
src/plugins/wp/share/ergo/int.ComputerDivision.mlw: MODIFIED_WHY3
src/plugins/wp/share/ergo/int.ComputerOfEuclideanDivision.mlw: MODIFIED_WHY3
src/plugins/wp/share/ergo/int.Int.mlw: MODIFIED_WHY3
src/plugins/wp/share/ergo/int.MinMax.mlw: MODIFIED_WHY3
src/plugins/wp/share/ergo/map.Map.mlw: MODIFIED_WHY3
src/plugins/wp/share/ergo/map.Const.mlw: MODIFIED_WHY3
src/plugins/wp/share/ergo/real.Abs.mlw: MODIFIED_WHY3
src/plugins/wp/share/ergo/real.ExpLog.mlw: MODIFIED_WHY3
src/plugins/wp/share/ergo/real.Hyperbolic.mlw: MODIFIED_WHY3
src/plugins/wp/share/ergo/real.FromInt.mlw: MODIFIED_WHY3
src/plugins/wp/share/ergo/real.MinMax.mlw: MODIFIED_WHY3
src/plugins/wp/share/ergo/real.Polar.mlw: MODIFIED_WHY3
src/plugins/wp/share/ergo/real.PowerReal.mlw: MODIFIED_WHY3
src/plugins/wp/share/ergo/real.Real.mlw: MODIFIED_WHY3
src/plugins/wp/share/ergo/real.RealInfix.mlw: MODIFIED_WHY3
src/plugins/wp/share/ergo/real.Square.mlw: MODIFIED_WHY3
src/plugins/wp/share/ergo/real.Trigonometry.mlw: MODIFIED_WHY3
src/plugins/wp/share/ergo/real.Truncate.mlw: MODIFIED_WHY3
src/plugins/wp/share/install.ml: CEA_WP
src/plugins/wp/share/why3/frama_c_wp/cbits.mlw: CEA_WP
src/plugins/wp/share/why3/frama_c_wp/cfloat.mlw: CEA_WP
src/plugins/wp/share/why3/frama_c_wp/cint.mlw: CEA_WP
src/plugins/wp/share/why3/frama_c_wp/cmath.mlw: CEA_WP
src/plugins/wp/share/why3/frama_c_wp/memory.mlw: CEA_WP
src/plugins/wp/share/why3/frama_c_wp/qed.mlw: CEA_WP
src/plugins/wp/share/why3/frama_c_wp/vlist.mlw: CEA_WP
src/plugins/wp/share/why3/frama_c_wp/vset.mlw: CEA_WP
src/plugins/wp/share/wp.driver: CEA_WP
src/plugins/wp/wpAnnot.ml: CEA_WP
src/plugins/wp/wpAnnot.mli: CEA_WP
src/plugins/wp/wpContext.ml: CEA_WP
src/plugins/wp/wpContext.mli: CEA_WP
src/plugins/wp/wpPropId.ml: CEA_WP
src/plugins/wp/wpPropId.mli: CEA_WP
src/plugins/wp/wpReport.ml: CEA_WP
src/plugins/wp/wpReport.mli: CEA_WP
src/plugins/wp/wpRTE.ml: CEA_WP
src/plugins/wp/wpRTE.mli: CEA_WP
src/plugins/wp/wpStrategy.ml: CEA_WP
src/plugins/wp/wpStrategy.mli: CEA_WP
src/plugins/wp/wp_error.ml: CEA_WP
src/plugins/wp/wp_error.mli: CEA_WP
src/plugins/wp/wp_parameters.ml: CEA_WP
src/plugins/wp/wp_parameters.mli: CEA_WP
src/plugins/wp/wpo.ml: CEA_WP
src/plugins/wp/wpo.mli: CEA_WP
src/plugins/wp/wprop.ml: CEA_WP
src/plugins/wp/wprop.mli: CEA_WP
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment