Skip to content
Snippets Groups Projects
Commit 41cf212f authored by Allan Blanchard's avatar Allan Blanchard
Browse files

[Instantiate] Adds files to header-check

parent daeed27e
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 4 additions and 0 deletions
headers/header_spec.txt
+ 4
− 0
View file @ 41cf212f
...@@ -945,6 +945,8 @@ src/plugins/occurrence/register_gui.ml: CEA_LGPL_OR_PROPRIETARY ...@@ -945,6 +945,8 @@ src/plugins/occurrence/register_gui.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/occurrence/register_gui.mli: 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.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/instantiate/basic_blocks.mli: CEA_LGPL_OR_PROPRIETARY src/plugins/instantiate/basic_blocks.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/instantiate/global_vars.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/instantiate/global_vars.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/instantiate/Instantiate.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.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/instantiate/instantiator_builder.mli: CEA_LGPL_OR_PROPRIETARY src/plugins/instantiate/instantiator_builder.mli: CEA_LGPL_OR_PROPRIETARY
...@@ -958,6 +960,8 @@ src/plugins/instantiate/stdlib/free.ml: CEA_LGPL_OR_PROPRIETARY ...@@ -958,6 +960,8 @@ src/plugins/instantiate/stdlib/free.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/instantiate/stdlib/free.mli: 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.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/instantiate/stdlib/malloc.mli: CEA_LGPL_OR_PROPRIETARY src/plugins/instantiate/stdlib/malloc.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/instantiate/string/mem_utils.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/instantiate/string/mem_utils.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/instantiate/string/memcmp.ml: 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/memcmp.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/instantiate/string/memcpy.ml: CEA_LGPL_OR_PROPRIETARY src/plugins/instantiate/string/memcpy.ml: CEA_LGPL_OR_PROPRIETARY
......
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