[Makefile] ensure GUI files are distributed even when GUI is disabled
Showing
with
175303 additions
and
0 deletions
+175303
-0
- .Makefile.lint .Makefile.lint +444 -0
- .for_devel .for_devel +6 -0
- .force-reconfigure .force-reconfigure +1 -0
- .gitattributes .gitattributes +3 -0
- .gitignore .gitignore +199 -0
- .gitlab-ci.yml .gitlab-ci.yml +225 -0
- .mailmap .mailmap +16 -0
- .make-clean .make-clean +0 -0
- .make-clean-stamp .make-clean-stamp +1 -0
- .ocp-indent .ocp-indent +1 -0
- ALL_VERSIONS ALL_VERSIONS +48 -0
- Changelog Changelog +3769 -0
- Changelog_detailed.md Changelog_detailed.md +111 -0
- INSTALL.md INSTALL.md +388 -0
- Makefile Makefile +2374 -0
- Makefile.generating Makefile.generating +211 -0
- README.md README.md +120 -0
- VERSION VERSION +1 -0
- VERSION_CODENAME VERSION_CODENAME +1 -0
- bin/.gitignore bin/.gitignore +9 -0
- bin/build-src-distrib.sh bin/build-src-distrib.sh +392 -0
- bin/developers-by-files.sh bin/developers-by-files.sh +27 -0
- bin/frama-c bin/frama-c +27 -0
- bin/frama-c-config bin/frama-c-config +27 -0
- bin/frama-c-gui bin/frama-c-gui +27 -0
- bin/frama-c-gui.byte bin/frama-c-gui.byte +27 -0
- bin/frama-c-script bin/frama-c-script +197 -0
- bin/frama-c.byte bin/frama-c.byte +27 -0
- bin/frama-c.top bin/frama-c.top +27 -0
- bin/indent.sh bin/indent.sh +35 -0
- bin/lint.sh bin/lint.sh +84 -0
- bin/local_export.sh bin/local_export.sh +30 -0
- bin/merge-master.sh bin/merge-master.sh +19 -0
- bin/migration_scripts/aluminium2silicon.sh bin/migration_scripts/aluminium2silicon.sh +164 -0
- bin/migration_scripts/boron2carbon.sh bin/migration_scripts/boron2carbon.sh +351 -0
- bin/migration_scripts/carbon2nitrogen.sh bin/migration_scripts/carbon2nitrogen.sh +181 -0
- bin/migration_scripts/chlorine2argon.sh bin/migration_scripts/chlorine2argon.sh +156 -0
- bin/migration_scripts/fluorine2neon.sh bin/migration_scripts/fluorine2neon.sh +213 -0
- bin/migration_scripts/lithium2beryllium.sh bin/migration_scripts/lithium2beryllium.sh +172 -0
- bin/migration_scripts/magnesium2aluminium.sh bin/migration_scripts/magnesium2aluminium.sh +154 -0
- bin/migration_scripts/neon2sodium.sh bin/migration_scripts/neon2sodium.sh +165 -0
- bin/migration_scripts/nitrogen2oxygen.sh bin/migration_scripts/nitrogen2oxygen.sh +169 -0
- bin/migration_scripts/oxygen2fluorine.sh bin/migration_scripts/oxygen2fluorine.sh +276 -0
- bin/migration_scripts/phosphorus2sulfur.sh bin/migration_scripts/phosphorus2sulfur.sh +180 -0
- bin/migration_scripts/silicon2phosphorus.sh bin/migration_scripts/silicon2phosphorus.sh +157 -0
- bin/migration_scripts/sodium2magnesium.sh bin/migration_scripts/sodium2magnesium.sh +181 -0
- bin/migration_scripts/sulfur2chlorine.sh bin/migration_scripts/sulfur2chlorine.sh +163 -0
- bin/rebuild.sh bin/rebuild.sh +8 -0
- bin/sed_get_binutils_version bin/sed_get_binutils_version +1 -0
- bin/sed_get_make_major bin/sed_get_make_major +1 -0
- bin/sed_get_make_minor bin/sed_get_make_minor +1 -0
- bin/shift_oracles.sh bin/shift_oracles.sh +156 -0
- bin/test_all_plugins.sh bin/test_all_plugins.sh +85 -0
- bin/update_api_doc.sh bin/update_api_doc.sh +11 -0
- config.h.in config.h.in +57 -0
- configure.in configure.in +1061 -0
- devel_tools/git-hooks/pre-commit devel_tools/git-hooks/pre-commit +22 -0
- devel_tools/ocamldep_transitive_closure.ml devel_tools/ocamldep_transitive_closure.ml +80 -0
- devel_tools/size.ml devel_tools/size.ml +95 -0
- devel_tools/size.mli devel_tools/size.mli +26 -0
- devel_tools/size_states.ml devel_tools/size_states.ml +112 -0
- doc/CHANGES.obfuscator doc/CHANGES.obfuscator +8 -0
- doc/MakeLaTeXModern doc/MakeLaTeXModern +25 -0
- doc/Makefile doc/Makefile +83 -0
- doc/README doc/README +12 -0
- doc/acsl_predicates/rot13.c doc/acsl_predicates/rot13.c +50 -0
- doc/acsl_tutorial_slides/1max.c doc/acsl_tutorial_slides/1max.c +52 -0
- doc/acsl_tutorial_slides/1max.sh doc/acsl_tutorial_slides/1max.sh +2 -0
- doc/acsl_tutorial_slides/2maxp.c doc/acsl_tutorial_slides/2maxp.c +41 -0
- doc/acsl_tutorial_slides/3valid.c doc/acsl_tutorial_slides/3valid.c +19 -0
- doc/acsl_tutorial_slides/4comp_part.c doc/acsl_tutorial_slides/4comp_part.c +53 -0
- doc/acsl_tutorial_slides/5assigns_term.c doc/acsl_tutorial_slides/5assigns_term.c +17 -0
- doc/acsl_tutorial_slides/6pred.c doc/acsl_tutorial_slides/6pred.c +21 -0
- doc/acsl_tutorial_slides/7pred.c doc/acsl_tutorial_slides/7pred.c +25 -0
- doc/acsl_tutorial_slides/script doc/acsl_tutorial_slides/script +51 -0
- doc/aorai/.gitignore doc/aorai/.gitignore +1 -0
- doc/aorai/Makefile doc/aorai/Makefile +56 -0
- doc/aorai/Schemas/GeneralView.eps doc/aorai/Schemas/GeneralView.eps +356 -0
- doc/aorai/Schemas/GeneralView.pdf doc/aorai/Schemas/GeneralView.pdf +0 -0
- doc/aorai/Schemas/example.eps doc/aorai/Schemas/example.eps +327 -0
- doc/aorai/Schemas/example.pdf doc/aorai/Schemas/example.pdf +0 -0
- doc/aorai/Schemas/example.ps doc/aorai/Schemas/example.ps +450 -0
- doc/aorai/Schemas/synchro.eps doc/aorai/Schemas/synchro.eps +368 -0
- doc/aorai/Schemas/synchro.pdf doc/aorai/Schemas/synchro.pdf +0 -0
- doc/aorai/SrcSchemas/GeneralView.fig doc/aorai/SrcSchemas/GeneralView.fig +82 -0
- doc/aorai/SrcSchemas/example.dot doc/aorai/SrcSchemas/example.dot +31 -0
- doc/aorai/SrcSchemas/example.fig doc/aorai/SrcSchemas/example.fig +120 -0
- doc/aorai/SrcSchemas/synchro.fig doc/aorai/SrcSchemas/synchro.fig +82 -0
- doc/aorai/basic_ya.bnf doc/aorai/basic_ya.bnf +22 -0
- doc/aorai/example/.gitignore doc/aorai/example/.gitignore +1 -0
- doc/aorai/example/README doc/aorai/example/README +55 -0
- doc/aorai/example/example.c doc/aorai/example/example.c +33 -0
- doc/aorai/example/example.ltl doc/aorai/example/example.ltl +6 -0
- doc/aorai/example/example.ya doc/aorai/example/example.ya +17 -0
- doc/aorai/example/example_loop.c doc/aorai/example/example_loop.c +45 -0
- doc/aorai/example/example_loop.ltl doc/aorai/example/example_loop.ltl +13 -0
- doc/aorai/example/example_loop2.c doc/aorai/example/example_loop2.c +15 -0
- doc/aorai/example/example_loop2.ya doc/aorai/example/example_loop2.ya +5 -0
- doc/aorai/extended_ya.bnf doc/aorai/extended_ya.bnf +20 -0
- doc/aorai/macros.tex doc/aorai/macros.tex +127 -0
- doc/aorai/main.tex doc/aorai/main.tex +1278 -0
- doc/aorai/transf.mll doc/aorai/transf.mll +150 -0
- doc/build-manuals.sh doc/build-manuals.sh +42 -0
- doc/code/.gitignore doc/code/.gitignore +35 -0
- doc/code/docgen.ml doc/code/docgen.ml +421 -0
- doc/code/frama-c.png doc/code/frama-c.png +0 -0
- doc/code/intro_kernel_plugin.txt doc/code/intro_kernel_plugin.txt +36 -0
- doc/code/intro_occurrence.txt doc/code/intro_occurrence.txt +36 -0
- doc/code/intro_pdg.txt doc/code/intro_pdg.txt +116 -0
- doc/code/intro_plugin.txt doc/code/intro_plugin.txt +40 -0
- doc/code/intro_plugin_D_and_S.txt doc/code/intro_plugin_D_and_S.txt +41 -0
- doc/code/intro_plugin_default.txt doc/code/intro_plugin_default.txt +38 -0
- doc/code/intro_scope.txt doc/code/intro_scope.txt +37 -0
- doc/code/intro_slicing.txt doc/code/intro_slicing.txt +106 -0
- doc/code/intro_sparecode.txt doc/code/intro_sparecode.txt +47 -0
- doc/code/style.css doc/code/style.css +164 -0
- doc/code/toc_head.htm doc/code/toc_head.htm +33 -0
- doc/code/toc_tail.htm doc/code/toc_tail.htm +29 -0
- doc/developer/.gitignore doc/developer/.gitignore +35 -0
- doc/developer/METADOC.txt doc/developer/METADOC.txt +36 -0
- doc/developer/Makefile doc/developer/Makefile +115 -0
- doc/developer/Makefile.config doc/developer/Makefile.config +4 -0
- doc/developer/README doc/developer/README +8 -0
- doc/developer/TODO doc/developer/TODO +43 -0
- doc/developer/advance.tex doc/developer/advance.tex +4271 -0
- doc/developer/architecture.tex doc/developer/architecture.tex +318 -0
- doc/developer/changes.tex doc/developer/changes.tex +298 -0
- doc/developer/check_api/.gitignore doc/developer/check_api/.gitignore +8 -0
- doc/developer/check_api/Makefile doc/developer/check_api/Makefile +47 -0
- doc/developer/check_api/check_and_compare.ml doc/developer/check_api/check_and_compare.ml +218 -0
- doc/developer/check_api/check_code.ml doc/developer/check_api/check_code.ml +341 -0
- doc/developer/check_api/check_index_grammar.mly doc/developer/check_api/check_index_grammar.mly +68 -0
- doc/developer/check_api/check_index_lexer.mll doc/developer/check_api/check_index_lexer.mll +40 -0
- doc/developer/check_api/run.oracle doc/developer/check_api/run.oracle +244 -0
- doc/developer/developer.bib doc/developer/developer.bib +293 -0
- doc/developer/developer.tex doc/developer/developer.tex +157 -0
- doc/developer/dynamic.fig doc/developer/dynamic.fig +98 -0
- doc/developer/examples/acsl_extension.ml doc/developer/examples/acsl_extension.ml +17 -0
- doc/developer/examples/callstack.ml doc/developer/examples/callstack.ml +59 -0
- doc/developer/examples/syntactic_check.ml doc/developer/examples/syntactic_check.ml +73 -0
- doc/developer/examples/use_callstack.ml doc/developer/examples/use_callstack.ml +43 -0
- doc/developer/framed.sty doc/developer/framed.sty +357 -0
- doc/developer/hello_world/Makefile doc/developer/hello_world/Makefile +24 -0
- doc/developer/hello_world/hello_world.ml doc/developer/hello_world/hello_world.ml +60 -0
- doc/developer/introduction.tex doc/developer/introduction.tex +94 -0
- doc/developer/macros.sty doc/developer/macros.sty +261 -0
- doc/developer/mecanism.fig doc/developer/mecanism.fig +107 -0
- doc/developer/mecanism.pdf doc/developer/mecanism.pdf +0 -0
- doc/developer/overview.fig doc/developer/overview.fig +129 -0
- doc/developer/refman.tex doc/developer/refman.tex +875 -0
- doc/developer/tutorial.tex doc/developer/tutorial.tex +1325 -0
- doc/developer/tutorial/hello/Makefile doc/developer/tutorial/hello/Makefile +182 -0
- doc/developer/tutorial/hello/src/Hello.mli doc/developer/tutorial/hello/src/Hello.mli +3 -0
- doc/developer/tutorial/hello/src/Makefile.multiple-files doc/developer/tutorial/hello/src/Makefile.multiple-files +5 -0
- doc/developer/tutorial/hello/src/Makefile.single-file doc/developer/tutorial/hello/src/Makefile.single-file +5 -0
- doc/developer/tutorial/hello/src/Makefile.test doc/developer/tutorial/hello/src/Makefile.test +6 -0
- doc/developer/tutorial/hello/src/extend_run.doc.ml doc/developer/tutorial/hello/src/extend_run.doc.ml +1 -0
- doc/developer/tutorial/hello/src/extend_run.ml doc/developer/tutorial/hello/src/extend_run.ml +1 -0
- doc/developer/tutorial/hello/src/hello_options.doc.ml doc/developer/tutorial/hello/src/hello_options.doc.ml +7 -0
- doc/developer/tutorial/hello/src/hello_print.doc.ml doc/developer/tutorial/hello/src/hello_print.doc.ml +6 -0
- doc/developer/tutorial/hello/src/hello_run.doc.ml doc/developer/tutorial/hello/src/hello_run.doc.ml +6 -0
- doc/developer/tutorial/hello/src/hello_test.c doc/developer/tutorial/hello/src/hello_test.c +3 -0
- doc/developer/tutorial/hello/src/hello_test.err.oracle doc/developer/tutorial/hello/src/hello_test.err.oracle +0 -0
- doc/developer/tutorial/hello/src/hello_test.res.oracle doc/developer/tutorial/hello/src/hello_test.res.oracle +2 -0
- doc/developer/tutorial/hello/src/help_msg.doc.ml doc/developer/tutorial/hello/src/help_msg.doc.ml +1 -0
- doc/developer/tutorial/hello/src/help_msg.ml doc/developer/tutorial/hello/src/help_msg.ml +1 -0
- doc/developer/tutorial/hello/src/options_enabled.doc.ml doc/developer/tutorial/hello/src/options_enabled.doc.ml +1 -0
- doc/developer/tutorial/hello/src/options_enabled.ml doc/developer/tutorial/hello/src/options_enabled.ml +5 -0
- doc/developer/tutorial/hello/src/options_output_file.doc.ml doc/developer/tutorial/hello/src/options_output_file.doc.ml +1 -0
- doc/developer/tutorial/hello/src/options_output_file.ml doc/developer/tutorial/hello/src/options_output_file.ml +8 -0
- doc/developer/tutorial/hello/src/print.doc.ml doc/developer/tutorial/hello/src/print.doc.ml +5 -0
- doc/developer/tutorial/hello/src/print.ml doc/developer/tutorial/hello/src/print.ml +13 -0
- doc/developer/tutorial/hello/src/register.doc.ml doc/developer/tutorial/hello/src/register.doc.ml +1 -0
- doc/developer/tutorial/hello/src/register.ml doc/developer/tutorial/hello/src/register.ml +6 -0
- doc/developer/tutorial/hello/src/run_call_print.doc.ml doc/developer/tutorial/hello/src/run_call_print.doc.ml +4 -0
- doc/developer/tutorial/hello/src/run_call_print.ml doc/developer/tutorial/hello/src/run_call_print.ml +3 -0
- doc/developer/tutorial/hello/src/run_call_print_bug.ml doc/developer/tutorial/hello/src/run_call_print_bug.ml +3 -0
- doc/developer/tutorial/hello/src/run_log.ml doc/developer/tutorial/hello/src/run_log.ml +7 -0
- doc/developer/tutorial/hello/src/run_print_to_file.ml doc/developer/tutorial/hello/src/run_print_to_file.ml +9 -0
- doc/developer/tutorial/hello/src/run_with_options.ml doc/developer/tutorial/hello/src/run_with_options.ml +17 -0
- doc/developer/tutorial/viewcfg/Makefile doc/developer/tutorial/viewcfg/Makefile +169 -0
- doc/developer/tutorial/viewcfg/pdfs/cfg.pdf doc/developer/tutorial/viewcfg/pdfs/cfg.pdf +0 -0
- doc/developer/tutorial/viewcfg/pdfs/cfg_colored.pdf doc/developer/tutorial/viewcfg/pdfs/cfg_colored.pdf +0 -0
- doc/developer/tutorial/viewcfg/pdfs/modules.pdf doc/developer/tutorial/viewcfg/pdfs/modules.pdf +0 -0
- doc/developer/tutorial/viewcfg/src/Makefile.split doc/developer/tutorial/viewcfg/src/Makefile.split +6 -0
- doc/developer/tutorial/viewcfg/src/ViewCfg.mli doc/developer/tutorial/viewcfg/src/ViewCfg.mli +3 -0
- doc/developer/tutorial/viewcfg/src/dump_function.ml doc/developer/tutorial/viewcfg/src/dump_function.ml +4 -0
- doc/developer/tutorial/viewcfg/src/dump_function_memo_clear_cache.ml ...er/tutorial/viewcfg/src/dump_function_memo_clear_cache.ml +7 -0
- doc/developer/tutorial/viewcfg/src/dump_function_memo_no_clear_cache.ml ...tutorial/viewcfg/src/dump_function_memo_no_clear_cache.ml +3 -0
- doc/developer/tutorial/viewcfg/src/dump_to_string_memoized.ml ...developer/tutorial/viewcfg/src/dump_to_string_memoized.ml +7 -0
- doc/developer/tutorial/viewcfg/src/extend_with_run_with_options.ml ...oper/tutorial/viewcfg/src/extend_with_run_with_options.ml +9 -0
- doc/developer/tutorial/viewcfg/src/extend_with_simple_run.ml doc/developer/tutorial/viewcfg/src/extend_with_simple_run.ml +7 -0
- doc/developer/tutorial/viewcfg/src/gui.ml doc/developer/tutorial/viewcfg/src/gui.ml +19 -0
- doc/developer/tutorial/viewcfg/src/print_cfg_begin.ml doc/developer/tutorial/viewcfg/src/print_cfg_begin.ml +2 -0
- doc/developer/tutorial/viewcfg/src/print_cfg_end.ml doc/developer/tutorial/viewcfg/src/print_cfg_end.ml +1 -0
- doc/developer/tutorial/viewcfg/src/print_cfg_vfile.ml doc/developer/tutorial/viewcfg/src/print_cfg_vfile.ml +3 -0
- doc/developer/tutorial/viewcfg/src/print_cfg_vglob.ml doc/developer/tutorial/viewcfg/src/print_cfg_vglob.ml +9 -0
- doc/developer/tutorial/viewcfg/src/print_cfg_vstmt_aux_novalue.ml ...loper/tutorial/viewcfg/src/print_cfg_vstmt_aux_novalue.ml +8 -0
- doc/developer/tutorial/viewcfg/src/print_cfg_vstmt_aux_value.ml ...veloper/tutorial/viewcfg/src/print_cfg_vstmt_aux_value.ml +15 -0
- doc/developer/tutorial/viewcfg/src/print_stmt.ml doc/developer/tutorial/viewcfg/src/print_stmt.ml +16 -0
- doc/developer/tutorial/viewcfg/src/register_and_options.ml doc/developer/tutorial/viewcfg/src/register_and_options.ml +18 -0
- doc/developer/tutorial/viewcfg/src/register_cfg_graph_state.ml ...eveloper/tutorial/viewcfg/src/register_cfg_graph_state.ml +8 -0
- doc/developer/tutorial/viewcfg/src/register_value_computed_state.ml ...per/tutorial/viewcfg/src/register_value_computed_state.ml +7 -0
- doc/developer/tutorial/viewcfg/tests/test.c doc/developer/tutorial/viewcfg/tests/test.c +22 -0
- doc/frama-c-book.cls doc/frama-c-book.cls +345 -0
- doc/frama-c-book.hva doc/frama-c-book.hva +13 -0
- doc/frama-c-cover.pdf doc/frama-c-cover.pdf +0 -0
- doc/frama-c-left.pdf doc/frama-c-left.pdf +0 -0
- doc/frama-c-right.pdf doc/frama-c-right.pdf +0 -0
- doc/hevea.css doc/hevea.css +65 -0
- doc/images/cealistlogo.jpg doc/images/cealistlogo.jpg +0 -0
- doc/images/logo-frama-c.jpg doc/images/logo-frama-c.jpg +0 -0
- doc/images/logo-inria-sophia.eps doc/images/logo-inria-sophia.eps +10381 -0
- doc/images/logo.png doc/images/logo.png +0 -0
- doc/images/logo_8bits.png doc/images/logo_8bits.png +0 -0
- doc/index.html doc/index.html +152 -0
- doc/macros.hva doc/macros.hva +17 -0
- doc/makeLatex doc/makeLatex +265 -0
- doc/metrics.html doc/metrics.html +995 -0
- doc/metrics/.gitignore doc/metrics/.gitignore +5 -0
- doc/metrics/Makefile doc/metrics/Makefile +47 -0
- doc/metrics/biblio.bib doc/metrics/biblio.bib +27 -0
- doc/metrics/img/cealistlogo.jpg doc/metrics/img/cealistlogo.jpg +0 -0
- doc/metrics/img/metrics_gui_function.png doc/metrics/img/metrics_gui_function.png +0 -0
- doc/metrics/img/metrics_gui_global.png doc/metrics/img/metrics_gui_global.png +0 -0
- doc/metrics/metrics.tex doc/metrics/metrics.tex +422 -0
- doc/qualification/testing doc/qualification/testing +258 -0
- doc/release/.gitignore doc/release/.gitignore +5 -0
- doc/release/Makefile doc/release/Makefile +23 -0
- doc/release/branch.tex doc/release/branch.tex +82 -0
- doc/release/build.tex doc/release/build.tex +287 -0
- doc/release/checktar.sh doc/release/checktar.sh +15 -0
- doc/release/intro.tex doc/release/intro.tex +58 -0
- doc/release/periodic-elements.txt doc/release/periodic-elements.txt +109 -0
- doc/release/release.tex doc/release/release.tex +24 -0
- doc/release/standalone-src.tex doc/release/standalone-src.tex +90 -0
- doc/release/website.tex doc/release/website.tex +229 -0
- doc/rte/.gitignore doc/rte/.gitignore +6 -0
- doc/rte/Makefile doc/rte/Makefile +33 -0
- doc/rte/biblio.bib doc/rte/biblio.bib +38 -0
- doc/rte/cealistlogo.jpg doc/rte/cealistlogo.jpg +0 -0
- doc/rte/fcontract.c doc/rte/fcontract.c +17 -0
- doc/rte/macros_modern.tex doc/rte/macros_modern.tex +174 -0
- doc/rte/main.tex doc/rte/main.tex +73 -0
- doc/rte/rte.tex doc/rte/rte.tex +896 -0
- doc/rte/stmtannot.c doc/rte/stmtannot.c +24 -0
- doc/scope/.gitignore doc/scope/.gitignore +11 -0
- doc/scope/M.v doc/scope/M.v +233 -0
- doc/scope/Makefile doc/scope/Makefile +23 -0
- doc/scope/scope.tex doc/scope/scope.tex +432 -0
- doc/services_graph/algo.tex doc/services_graph/algo.tex +114 -0
- doc/styles/beamer-frama-c/background.png doc/styles/beamer-frama-c/background.png +0 -0
- doc/styles/beamer-frama-c/beamercolorthemeframa-c.sty doc/styles/beamer-frama-c/beamercolorthemeframa-c.sty +20 -0
- doc/styles/beamer-frama-c/beamerinnerthemeframa-c.sty doc/styles/beamer-frama-c/beamerinnerthemeframa-c.sty +11 -0
- doc/styles/beamer-frama-c/beamerouterthemeframa-c.sty doc/styles/beamer-frama-c/beamerouterthemeframa-c.sty +53 -0
- doc/styles/beamer-frama-c/beamerthemeframa-c.sty doc/styles/beamer-frama-c/beamerthemeframa-c.sty +9 -0
- doc/styles/beamer-frama-c/logo.gif doc/styles/beamer-frama-c/logo.gif +0 -0
- doc/styles/beamer-frama-c/logo.png doc/styles/beamer-frama-c/logo.png +0 -0
- doc/styles/beamer-frama-c/slide.tex doc/styles/beamer-frama-c/slide.tex +27 -0
- doc/training/CoqSummerSchool/4bad1.c doc/training/CoqSummerSchool/4bad1.c +2 -0
- doc/training/CoqSummerSchool/4bad2.c doc/training/CoqSummerSchool/4bad2.c +3 -0
- doc/training/CoqSummerSchool/4good.c doc/training/CoqSummerSchool/4good.c +5 -0
- doc/training/CoqSummerSchool/5terminates.c doc/training/CoqSummerSchool/5terminates.c +10 -0
- doc/training/CoqSummerSchool/6pred.c doc/training/CoqSummerSchool/6pred.c +10 -0
- doc/training/CoqSummerSchool/Makefile doc/training/CoqSummerSchool/Makefile +54 -0
- doc/training/CoqSummerSchool/alias.c doc/training/CoqSummerSchool/alias.c +4 -0
- doc/training/CoqSummerSchool/array.c doc/training/CoqSummerSchool/array.c +211 -0
- doc/training/CoqSummerSchool/course_11.pdf doc/training/CoqSummerSchool/course_11.pdf +0 -0
- doc/training/CoqSummerSchool/course_11.pretex doc/training/CoqSummerSchool/course_11.pretex +690 -0
- doc/training/CoqSummerSchool/course_12.pdf doc/training/CoqSummerSchool/course_12.pdf +0 -0
- doc/training/CoqSummerSchool/course_12.pretex doc/training/CoqSummerSchool/course_12.pretex +701 -0
- doc/training/CoqSummerSchool/course_13.pdf doc/training/CoqSummerSchool/course_13.pdf +0 -0
- doc/training/CoqSummerSchool/course_13.pretex doc/training/CoqSummerSchool/course_13.pretex +349 -0
- doc/training/CoqSummerSchool/dutch.sh doc/training/CoqSummerSchool/dutch.sh +2 -0
- doc/training/CoqSummerSchool/find_array.c doc/training/CoqSummerSchool/find_array.c +42 -0
- doc/training/CoqSummerSchool/find_array_assertions.c doc/training/CoqSummerSchool/find_array_assertions.c +4 -0
- doc/training/CoqSummerSchool/find_array_contract.c doc/training/CoqSummerSchool/find_array_contract.c +11 -0
- doc/training/CoqSummerSchool/find_array_invariant.c doc/training/CoqSummerSchool/find_array_invariant.c +8 -0
- doc/training/CoqSummerSchool/find_array_orig.c doc/training/CoqSummerSchool/find_array_orig.c +28 -0
- doc/training/CoqSummerSchool/find_array_variant.c doc/training/CoqSummerSchool/find_array_variant.c +3 -0
- doc/training/CoqSummerSchool/find_array_why.v doc/training/CoqSummerSchool/find_array_why.v +3415 -0
- doc/training/CoqSummerSchool/gwhy.odg doc/training/CoqSummerSchool/gwhy.odg +0 -0
- doc/training/CoqSummerSchool/gwhy.pdf doc/training/CoqSummerSchool/gwhy.pdf +0 -0
- doc/training/CoqSummerSchool/handout_11.pdf doc/training/CoqSummerSchool/handout_11.pdf +0 -0
- doc/training/CoqSummerSchool/handout_12.pdf doc/training/CoqSummerSchool/handout_12.pdf +0 -0
- doc/training/CoqSummerSchool/handout_13.pdf doc/training/CoqSummerSchool/handout_13.pdf +0 -0
- doc/training/CoqSummerSchool/insert_sort_jessie_why.v doc/training/CoqSummerSchool/insert_sort_jessie_why.v +1038 -0
- doc/training/CoqSummerSchool/insert_sort_orig.c doc/training/CoqSummerSchool/insert_sort_orig.c +22 -0
- doc/training/CoqSummerSchool/insert_sort_proved.c doc/training/CoqSummerSchool/insert_sort_proved.c +195 -0
- doc/training/CoqSummerSchool/insert_sort_proved_why.v doc/training/CoqSummerSchool/insert_sort_proved_why.v +9401 -0
- doc/training/CoqSummerSchool/mean.c doc/training/CoqSummerSchool/mean.c +16 -0
- doc/training/CoqSummerSchool/mean.sh doc/training/CoqSummerSchool/mean.sh +2 -0
- doc/training/CoqSummerSchool/mean_orig.c doc/training/CoqSummerSchool/mean_orig.c +13 -0
- doc/training/CoqSummerSchool/mean_res.c doc/training/CoqSummerSchool/mean_res.c +19 -0
- doc/training/CoqSummerSchool/mean_spec.c doc/training/CoqSummerSchool/mean_spec.c +23 -0
- doc/training/CoqSummerSchool/mean_spec_orig.c doc/training/CoqSummerSchool/mean_spec_orig.c +23 -0
- doc/training/CoqSummerSchool/mean_spec_result.c doc/training/CoqSummerSchool/mean_spec_result.c +13 -0
- doc/training/CoqSummerSchool/mean_terminates.c doc/training/CoqSummerSchool/mean_terminates.c +11 -0
- doc/training/CoqSummerSchool/meansig.c doc/training/CoqSummerSchool/meansig.c +6 -0
- doc/training/CoqSummerSchool/pointer.sh doc/training/CoqSummerSchool/pointer.sh +2 -0
- doc/training/CoqSummerSchool/pointers.sh doc/training/CoqSummerSchool/pointers.sh +2 -0
- doc/training/CoqSummerSchool/pp.mll doc/training/CoqSummerSchool/pp.mll +412 -0
- doc/training/CoqSummerSchool/predicate.c doc/training/CoqSummerSchool/predicate.c +4 -0
- doc/training/CoqSummerSchool/preuves_coq.v doc/training/CoqSummerSchool/preuves_coq.v +95 -0
- doc/training/CoqSummerSchool/proof_of_div_le.v doc/training/CoqSummerSchool/proof_of_div_le.v +8 -0
- doc/training/CoqSummerSchool/slides.pdf doc/training/CoqSummerSchool/slides.pdf +0 -0
- doc/training/CoqSummerSchool/slides.pretex doc/training/CoqSummerSchool/slides.pretex +424 -0
- doc/training/CoqSummerSchool/slides.tex doc/training/CoqSummerSchool/slides.tex +424 -0
- doc/training/CoqSummerSchool/sort_array.c doc/training/CoqSummerSchool/sort_array.c +86 -0
- doc/training/CoqSummerSchool/sort_array_orig.c doc/training/CoqSummerSchool/sort_array_orig.c +42 -0
- doc/training/CoqSummerSchool/sort_array_proved.c doc/training/CoqSummerSchool/sort_array_proved.c +88 -0
- doc/training/CoqSummerSchool/sort_array_why.v doc/training/CoqSummerSchool/sort_array_why.v +3878 -0
- doc/training/CoqSummerSchool/sort_inductive.c doc/training/CoqSummerSchool/sort_inductive.c +10 -0
- doc/training/CoqSummerSchool/sqrt.c doc/training/CoqSummerSchool/sqrt.c +20 -0
- doc/training/CoqSummerSchool/string.c doc/training/CoqSummerSchool/string.c +67 -0
- doc/training/CoqSummerSchool/string_why_proved.v doc/training/CoqSummerSchool/string_why_proved.v +2885 -0
- doc/training/CoqSummerSchool/td-frama-c-string.pretex doc/training/CoqSummerSchool/td-frama-c-string.pretex +49 -0
- doc/training/CoqSummerSchool/td-frama-c-string.tex doc/training/CoqSummerSchool/td-frama-c-string.tex +49 -0
- doc/training/CoqSummerSchool/td-frama-c.pdf doc/training/CoqSummerSchool/td-frama-c.pdf +0 -0
- doc/training/CoqSummerSchool/td-frama-c.pretex doc/training/CoqSummerSchool/td-frama-c.pretex +173 -0
- doc/training/acsl_exercise/print.c doc/training/acsl_exercise/print.c +47 -0
- doc/training/developer/annotations.tex doc/training/developer/annotations.tex +185 -0
- doc/training/developer/api.tex doc/training/developer/api.tex +280 -0
- doc/training/developer/background.png doc/training/developer/background.png +0 -0
- doc/training/developer/basic_ocaml.tex doc/training/developer/basic_ocaml.tex +134 -0
- doc/training/developer/basic_plugin.tex doc/training/developer/basic_plugin.tex +32 -0
- doc/training/developer/beamercolorthemeframa-c.sty doc/training/developer/beamercolorthemeframa-c.sty +27 -0
- doc/training/developer/beamerfontthemeframa-c.sty doc/training/developer/beamerfontthemeframa-c.sty +1 -0
- doc/training/developer/beamerinnerthemeframa-c.sty doc/training/developer/beamerinnerthemeframa-c.sty +16 -0
- doc/training/developer/beamerouterthemeframa-c.sty doc/training/developer/beamerouterthemeframa-c.sty +98 -0
- doc/training/developer/beamerthemeframa-c.sty doc/training/developer/beamerthemeframa-c.sty +10 -0
- doc/training/developer/bibliography.tex doc/training/developer/bibliography.tex +28 -0
- doc/training/developer/cealist.pdf doc/training/developer/cealist.pdf +0 -0
- doc/training/developer/kernel.tex doc/training/developer/kernel.tex +29 -0
- doc/training/developer/logo.png doc/training/developer/logo.png +0 -0
- doc/training/developer/macros.tex doc/training/developer/macros.tex +58 -0
- doc/training/developer/mecanisme.fig doc/training/developer/mecanisme.fig +107 -0
- doc/training/developer/mecanisme.pdf doc/training/developer/mecanisme.pdf +0 -0
- doc/training/developer/module.tex doc/training/developer/module.tex +200 -0
- doc/training/developer/objects.tex doc/training/developer/objects.tex +163 -0
- doc/training/developer/project.tex doc/training/developer/project.tex +224 -0
- doc/training/developer/script.tex doc/training/developer/script.tex +92 -0
- doc/training/developer/slides.pdf doc/training/developer/slides.pdf +0 -0
- doc/training/developer/slides.tex doc/training/developer/slides.tex +125 -0
- doc/training/developer/sources/basic_script.ml doc/training/developer/sources/basic_script.ml +49 -0
- doc/training/developer/sources/bcl/huffman.c doc/training/developer/sources/bcl/huffman.c +501 -0
- doc/training/developer/sources/bcl/huffman.h doc/training/developer/sources/bcl/huffman.h +54 -0
- doc/training/developer/sources/bcl/lz.c doc/training/developer/sources/bcl/lz.c +540 -0
- doc/training/developer/sources/bcl/lz.h doc/training/developer/sources/bcl/lz.h +56 -0
- doc/training/developer/sources/bcl/rice.c doc/training/developer/sources/bcl/rice.c +582 -0
- doc/training/developer/sources/bcl/rice.h doc/training/developer/sources/bcl/rice.h +67 -0
- doc/training/developer/sources/bcl/rle.c doc/training/developer/sources/bcl/rle.c +323 -0
- doc/training/developer/sources/bcl/rle.h doc/training/developer/sources/bcl/rle.h +54 -0
- doc/training/developer/sources/bcl/shannonfano.c doc/training/developer/sources/bcl/shannonfano.c +494 -0
- doc/training/developer/sources/bcl/shannonfano.h doc/training/developer/sources/bcl/shannonfano.h +54 -0
- doc/training/developer/sources/bcl/systimer.c doc/training/developer/sources/bcl/systimer.c +151 -0
- doc/training/developer/sources/bcl/systimer.h doc/training/developer/sources/bcl/systimer.h +52 -0
- doc/training/developer/sources/const_violation.c doc/training/developer/sources/const_violation.c +23 -0
- doc/training/developer/sources/const_violation.ml doc/training/developer/sources/const_violation.ml +29 -0
- doc/training/developer/sources/object.ml doc/training/developer/sources/object.ml +26 -0
- doc/training/jessie/4bad1.c doc/training/jessie/4bad1.c +2 -0
- doc/training/jessie/4bad2.c doc/training/jessie/4bad2.c +3 -0
- doc/training/jessie/4good.c doc/training/jessie/4good.c +5 -0
- doc/training/jessie/5terminates.c doc/training/jessie/5terminates.c +10 -0
- doc/training/jessie/6pred.c doc/training/jessie/6pred.c +10 -0
- doc/training/jessie/Makefile doc/training/jessie/Makefile +49 -0
- doc/training/jessie/alias.c doc/training/jessie/alias.c +4 -0
- doc/training/jessie/array.c doc/training/jessie/array.c +211 -0
- doc/training/jessie/find_array_assertions.c doc/training/jessie/find_array_assertions.c +4 -0
- doc/training/jessie/find_array_contract.c doc/training/jessie/find_array_contract.c +11 -0
- doc/training/jessie/find_array_invariant.c doc/training/jessie/find_array_invariant.c +8 -0
- doc/training/jessie/find_array_orig.c doc/training/jessie/find_array_orig.c +11 -0
- doc/training/jessie/find_array_variant.c doc/training/jessie/find_array_variant.c +3 -0
- doc/training/jessie/find_array_why.v doc/training/jessie/find_array_why.v +3415 -0
- doc/training/jessie/gwhy.odg doc/training/jessie/gwhy.odg +0 -0
- doc/training/jessie/gwhy.pdf doc/training/jessie/gwhy.pdf +0 -0
- doc/training/jessie/insert_sort_orig.c doc/training/jessie/insert_sort_orig.c +22 -0
- doc/training/jessie/insert_sort_proved.c doc/training/jessie/insert_sort_proved.c +104 -0
- doc/training/jessie/insert_sort_why.v doc/training/jessie/insert_sort_why.v +4951 -0
- doc/training/jessie/mean_orig.c doc/training/jessie/mean_orig.c +13 -0
- doc/training/jessie/mean_res.c doc/training/jessie/mean_res.c +19 -0
- doc/training/jessie/mean_spec_orig.c doc/training/jessie/mean_spec_orig.c +20 -0
- doc/training/jessie/mean_spec_result.c doc/training/jessie/mean_spec_result.c +13 -0
- doc/training/jessie/mean_terminates.c doc/training/jessie/mean_terminates.c +11 -0
- doc/training/jessie/meansig.c doc/training/jessie/meansig.c +6 -0
- doc/training/jessie/pp.mll doc/training/jessie/pp.mll +337 -0
- doc/training/jessie/predicate.c doc/training/jessie/predicate.c +4 -0
- doc/training/jessie/preuves_coq.v doc/training/jessie/preuves_coq.v +95 -0
- doc/training/jessie/slides.pretex doc/training/jessie/slides.pretex +424 -0
- doc/training/jessie/sort_array_orig.c doc/training/jessie/sort_array_orig.c +42 -0
- doc/training/jessie/sort_array_proved.c doc/training/jessie/sort_array_proved.c +101 -0
- doc/training/jessie/sort_array_why.v doc/training/jessie/sort_array_why.v +3878 -0
- doc/training/jessie/sort_inductive.c doc/training/jessie/sort_inductive.c +10 -0
- doc/training/jessie/sqrt.c doc/training/jessie/sqrt.c +20 -0
- doc/training/semantic_browsing/background.png doc/training/semantic_browsing/background.png +0 -0
- doc/training/semantic_browsing/beamercolorthemeframa-c.sty doc/training/semantic_browsing/beamercolorthemeframa-c.sty +20 -0
- doc/training/semantic_browsing/beamerinnerthemeframa-c.sty doc/training/semantic_browsing/beamerinnerthemeframa-c.sty +11 -0
- doc/training/semantic_browsing/beamerouterthemeframa-c.sty doc/training/semantic_browsing/beamerouterthemeframa-c.sty +47 -0
- doc/training/semantic_browsing/beamerthemeframa-c.sty doc/training/semantic_browsing/beamerthemeframa-c.sty +4 -0
- doc/training/semantic_browsing/cealist.pdf doc/training/semantic_browsing/cealist.pdf +0 -0
- doc/training/semantic_browsing/demos/adpcm/adpcm.c doc/training/semantic_browsing/demos/adpcm/adpcm.c +610 -0
- doc/training/semantic_browsing/demos/constfold/const_propagate.c ...ining/semantic_browsing/demos/constfold/const_propagate.c +79 -0
- doc/training/semantic_browsing/demos/cruise_control/CruiseControl.c ...ng/semantic_browsing/demos/cruise_control/CruiseControl.c +587 -0
- doc/training/semantic_browsing/demos/cruise_control/CruiseControl.h ...ng/semantic_browsing/demos/cruise_control/CruiseControl.h +313 -0
- doc/training/semantic_browsing/demos/cruise_control/CruiseControl_const.c ...antic_browsing/demos/cruise_control/CruiseControl_const.c +41 -0
- doc/training/semantic_browsing/demos/cruise_control/CruiseControl_extern.h ...ntic_browsing/demos/cruise_control/CruiseControl_extern.h +32 -0
- doc/training/semantic_browsing/demos/cruise_control/config_types.h ...ing/semantic_browsing/demos/cruise_control/config_types.h +7 -0
- doc/training/semantic_browsing/demos/cruise_control/definitions.h ...ning/semantic_browsing/demos/cruise_control/definitions.h +28 -0
- doc/training/semantic_browsing/demos/cruise_control/scade_types.h ...ning/semantic_browsing/demos/cruise_control/scade_types.h +34 -0
- doc/training/semantic_browsing/demos/deps/deps.c doc/training/semantic_browsing/demos/deps/deps.c +20 -0
- doc/training/semantic_browsing/demos/gzip-1.2.4/COPYING doc/training/semantic_browsing/demos/gzip-1.2.4/COPYING +339 -0
- doc/training/semantic_browsing/demos/gzip-1.2.4/ChangeLog doc/training/semantic_browsing/demos/gzip-1.2.4/ChangeLog +587 -0
- doc/training/semantic_browsing/demos/gzip-1.2.4/INSTALL doc/training/semantic_browsing/demos/gzip-1.2.4/INSTALL +273 -0
- doc/training/semantic_browsing/demos/gzip-1.2.4/Makefile.in doc/training/semantic_browsing/demos/gzip-1.2.4/Makefile.in +386 -0
- doc/training/semantic_browsing/demos/gzip-1.2.4/NEWS doc/training/semantic_browsing/demos/gzip-1.2.4/NEWS +221 -0
- doc/training/semantic_browsing/demos/gzip-1.2.4/README doc/training/semantic_browsing/demos/gzip-1.2.4/README +144 -0
- doc/training/semantic_browsing/demos/gzip-1.2.4/THANKS doc/training/semantic_browsing/demos/gzip-1.2.4/THANKS +276 -0
- doc/training/semantic_browsing/demos/gzip-1.2.4/TODO doc/training/semantic_browsing/demos/gzip-1.2.4/TODO +58 -0
- doc/training/semantic_browsing/demos/gzip-1.2.4/algorithm.doc ...training/semantic_browsing/demos/gzip-1.2.4/algorithm.doc +164 -0
- doc/training/semantic_browsing/demos/gzip-1.2.4/amiga/Makefile.gcc ...ing/semantic_browsing/demos/gzip-1.2.4/amiga/Makefile.gcc +62 -0
- doc/training/semantic_browsing/demos/gzip-1.2.4/amiga/Makefile.sasc ...ng/semantic_browsing/demos/gzip-1.2.4/amiga/Makefile.sasc +59 -0
- doc/training/semantic_browsing/demos/gzip-1.2.4/amiga/tailor.c ...raining/semantic_browsing/demos/gzip-1.2.4/amiga/tailor.c +183 -0
- doc/training/semantic_browsing/demos/gzip-1.2.4/amiga/utime.h ...training/semantic_browsing/demos/gzip-1.2.4/amiga/utime.h +15 -0
- doc/training/semantic_browsing/demos/gzip-1.2.4/atari/Makefile.st ...ning/semantic_browsing/demos/gzip-1.2.4/atari/Makefile.st +48 -0
- doc/training/semantic_browsing/demos/gzip-1.2.4/bits.c doc/training/semantic_browsing/demos/gzip-1.2.4/bits.c +205 -0
- doc/training/semantic_browsing/demos/gzip-1.2.4/configure doc/training/semantic_browsing/demos/gzip-1.2.4/configure +826 -0
- doc/training/semantic_browsing/demos/gzip-1.2.4/configure.in doc/training/semantic_browsing/demos/gzip-1.2.4/configure.in +98 -0
- doc/training/semantic_browsing/demos/gzip-1.2.4/crypt.c doc/training/semantic_browsing/demos/gzip-1.2.4/crypt.c +6 -0
- doc/training/semantic_browsing/demos/gzip-1.2.4/crypt.h doc/training/semantic_browsing/demos/gzip-1.2.4/crypt.h +12 -0
- doc/training/semantic_browsing/demos/gzip-1.2.4/ctype.h doc/training/semantic_browsing/demos/gzip-1.2.4/ctype.h +11 -0
- doc/training/semantic_browsing/demos/gzip-1.2.4/deflate.c doc/training/semantic_browsing/demos/gzip-1.2.4/deflate.c +763 -0
- doc/training/semantic_browsing/demos/gzip-1.2.4/getopt.c doc/training/semantic_browsing/demos/gzip-1.2.4/getopt.c +755 -0
- doc/training/semantic_browsing/demos/gzip-1.2.4/getopt.h doc/training/semantic_browsing/demos/gzip-1.2.4/getopt.h +127 -0
- doc/training/semantic_browsing/demos/gzip-1.2.4/gpl.texinfo doc/training/semantic_browsing/demos/gzip-1.2.4/gpl.texinfo +394 -0
- doc/training/semantic_browsing/demos/gzip-1.2.4/gzexe.1 doc/training/semantic_browsing/demos/gzip-1.2.4/gzexe.1 +43 -0
- doc/training/semantic_browsing/demos/gzip-1.2.4/gzexe.in doc/training/semantic_browsing/demos/gzip-1.2.4/gzexe.in +151 -0
- doc/training/semantic_browsing/demos/gzip-1.2.4/gzip.1 doc/training/semantic_browsing/demos/gzip-1.2.4/gzip.1 +478 -0
- doc/training/semantic_browsing/demos/gzip-1.2.4/gzip.c doc/training/semantic_browsing/demos/gzip-1.2.4/gzip.c +1744 -0
- doc/training/semantic_browsing/demos/gzip-1.2.4/gzip.doc doc/training/semantic_browsing/demos/gzip-1.2.4/gzip.doc +350 -0
- doc/training/semantic_browsing/demos/gzip-1.2.4/gzip.h doc/training/semantic_browsing/demos/gzip-1.2.4/gzip.h +315 -0
- doc/training/semantic_browsing/demos/gzip-1.2.4/gzip.info doc/training/semantic_browsing/demos/gzip-1.2.4/gzip.info +809 -0
- doc/training/semantic_browsing/demos/gzip-1.2.4/gzip.texi doc/training/semantic_browsing/demos/gzip-1.2.4/gzip.texi +479 -0
- doc/training/semantic_browsing/demos/gzip-1.2.4/inflate.c doc/training/semantic_browsing/demos/gzip-1.2.4/inflate.c +954 -0
- doc/training/semantic_browsing/demos/gzip-1.2.4/lzw.c doc/training/semantic_browsing/demos/gzip-1.2.4/lzw.c +26 -0
- doc/training/semantic_browsing/demos/gzip-1.2.4/lzw.h doc/training/semantic_browsing/demos/gzip-1.2.4/lzw.h +42 -0
- doc/training/semantic_browsing/demos/gzip-1.2.4/match.S doc/training/semantic_browsing/demos/gzip-1.2.4/match.S +379 -0
- doc/training/semantic_browsing/demos/gzip-1.2.4/msdos/Makefile.bor ...ing/semantic_browsing/demos/gzip-1.2.4/msdos/Makefile.bor +118 -0
- doc/training/semantic_browsing/demos/gzip-1.2.4/msdos/Makefile.djg ...ing/semantic_browsing/demos/gzip-1.2.4/msdos/Makefile.djg +224 -0
- doc/training/semantic_browsing/demos/gzip-1.2.4/msdos/Makefile.msc ...ing/semantic_browsing/demos/gzip-1.2.4/msdos/Makefile.msc +108 -0
- doc/training/semantic_browsing/demos/gzip-1.2.4/msdos/doturboc.bat ...ing/semantic_browsing/demos/gzip-1.2.4/msdos/doturboc.bat +18 -0
- doc/training/semantic_browsing/demos/gzip-1.2.4/msdos/gzip.prj ...raining/semantic_browsing/demos/gzip-1.2.4/msdos/gzip.prj +17 -0
- doc/training/semantic_browsing/demos/gzip-1.2.4/msdos/match.asm ...aining/semantic_browsing/demos/gzip-1.2.4/msdos/match.asm +240 -0
- doc/training/semantic_browsing/demos/gzip-1.2.4/msdos/tailor.c ...raining/semantic_browsing/demos/gzip-1.2.4/msdos/tailor.c +58 -0
- doc/training/semantic_browsing/demos/gzip-1.2.4/nt/Makefile.nt ...raining/semantic_browsing/demos/gzip-1.2.4/nt/Makefile.nt +66 -0
- doc/training/semantic_browsing/demos/gzip-1.2.4/os2/Makefile.os2 ...ining/semantic_browsing/demos/gzip-1.2.4/os2/Makefile.os2 +81 -0
- doc/training/semantic_browsing/demos/gzip-1.2.4/os2/gzip.def doc/training/semantic_browsing/demos/gzip-1.2.4/os2/gzip.def +3 -0
- doc/training/semantic_browsing/demos/gzip-1.2.4/os2/gzip16.def ...raining/semantic_browsing/demos/gzip-1.2.4/os2/gzip16.def +2 -0
- doc/training/semantic_browsing/demos/gzip-1.2.4/primos/build.cpl ...ining/semantic_browsing/demos/gzip-1.2.4/primos/build.cpl +76 -0
- doc/training/semantic_browsing/demos/gzip-1.2.4/primos/ci.opts ...raining/semantic_browsing/demos/gzip-1.2.4/primos/ci.opts +6 -0
- doc/training/semantic_browsing/demos/gzip-1.2.4/primos/include/errno.h ...semantic_browsing/demos/gzip-1.2.4/primos/include/errno.h +17 -0
- doc/training/semantic_browsing/demos/gzip-1.2.4/primos/include/fcntl.h ...semantic_browsing/demos/gzip-1.2.4/primos/include/fcntl.h +22 -0
- doc/training/semantic_browsing/demos/gzip-1.2.4/primos/include/stdlib.h ...emantic_browsing/demos/gzip-1.2.4/primos/include/stdlib.h +16 -0
- doc/training/semantic_browsing/demos/gzip-1.2.4/primos/include/sysStat.h ...mantic_browsing/demos/gzip-1.2.4/primos/include/sysStat.h +92 -0
- doc/training/semantic_browsing/demos/gzip-1.2.4/primos/include/sysTypes.h ...antic_browsing/demos/gzip-1.2.4/primos/include/sysTypes.h +25 -0
- doc/training/semantic_browsing/demos/gzip-1.2.4/primos/primos.c ...aining/semantic_browsing/demos/gzip-1.2.4/primos/primos.c +122 -0
- doc/training/semantic_browsing/demos/gzip-1.2.4/primos/readme ...training/semantic_browsing/demos/gzip-1.2.4/primos/readme +27 -0
- doc/training/semantic_browsing/demos/gzip-1.2.4/revision.h doc/training/semantic_browsing/demos/gzip-1.2.4/revision.h +16 -0
- doc/training/semantic_browsing/demos/gzip-1.2.4/sample/add.c doc/training/semantic_browsing/demos/gzip-1.2.4/sample/add.c +57 -0
- doc/training/semantic_browsing/demos/gzip-1.2.4/sample/makecrc.c ...ining/semantic_browsing/demos/gzip-1.2.4/sample/makecrc.c +63 -0
- doc/training/semantic_browsing/demos/gzip-1.2.4/sample/sub.c doc/training/semantic_browsing/demos/gzip-1.2.4/sample/sub.c +88 -0
- doc/training/semantic_browsing/demos/gzip-1.2.4/sample/zfile doc/training/semantic_browsing/demos/gzip-1.2.4/sample/zfile +28 -0
- doc/training/semantic_browsing/demos/gzip-1.2.4/sample/zread.c ...raining/semantic_browsing/demos/gzip-1.2.4/sample/zread.c +53 -0
- doc/training/semantic_browsing/demos/gzip-1.2.4/sample/ztouch ...training/semantic_browsing/demos/gzip-1.2.4/sample/ztouch +15 -0
- doc/training/semantic_browsing/demos/gzip-1.2.4/tailor.h doc/training/semantic_browsing/demos/gzip-1.2.4/tailor.h +328 -0
- doc/training/semantic_browsing/demos/gzip-1.2.4/texinfo.tex doc/training/semantic_browsing/demos/gzip-1.2.4/texinfo.tex +3350 -0
- doc/training/semantic_browsing/demos/gzip-1.2.4/trees.c doc/training/semantic_browsing/demos/gzip-1.2.4/trees.c +1075 -0
- doc/training/semantic_browsing/demos/gzip-1.2.4/unlzh.c doc/training/semantic_browsing/demos/gzip-1.2.4/unlzh.c +401 -0
- doc/training/semantic_browsing/demos/gzip-1.2.4/unlzw.c doc/training/semantic_browsing/demos/gzip-1.2.4/unlzw.c +377 -0
- doc/training/semantic_browsing/demos/gzip-1.2.4/unpack.c doc/training/semantic_browsing/demos/gzip-1.2.4/unpack.c +239 -0
- doc/training/semantic_browsing/demos/gzip-1.2.4/unzip.c doc/training/semantic_browsing/demos/gzip-1.2.4/unzip.c +199 -0
- doc/training/semantic_browsing/demos/gzip-1.2.4/util.c doc/training/semantic_browsing/demos/gzip-1.2.4/util.c +462 -0
- doc/training/semantic_browsing/demos/gzip-1.2.4/vms/Makefile.gcc ...ining/semantic_browsing/demos/gzip-1.2.4/vms/Makefile.gcc +131 -0
- doc/training/semantic_browsing/demos/gzip-1.2.4/vms/Makefile.mms ...ining/semantic_browsing/demos/gzip-1.2.4/vms/Makefile.mms +122 -0
- doc/training/semantic_browsing/demos/gzip-1.2.4/vms/Makefile.vms ...ining/semantic_browsing/demos/gzip-1.2.4/vms/Makefile.vms +133 -0
- doc/training/semantic_browsing/demos/gzip-1.2.4/vms/Readme.vms ...raining/semantic_browsing/demos/gzip-1.2.4/vms/Readme.vms +87 -0
- doc/training/semantic_browsing/demos/gzip-1.2.4/vms/gzip.hlp doc/training/semantic_browsing/demos/gzip-1.2.4/vms/gzip.hlp +297 -0
- doc/training/semantic_browsing/demos/gzip-1.2.4/vms/makegzip.com ...ining/semantic_browsing/demos/gzip-1.2.4/vms/makegzip.com +71 -0
- doc/training/semantic_browsing/demos/gzip-1.2.4/vms/vms.c doc/training/semantic_browsing/demos/gzip-1.2.4/vms/vms.c +102 -0
- doc/training/semantic_browsing/demos/gzip-1.2.4/zdiff.1 doc/training/semantic_browsing/demos/gzip-1.2.4/zdiff.1 +44 -0
- doc/training/semantic_browsing/demos/gzip-1.2.4/zdiff.in doc/training/semantic_browsing/demos/gzip-1.2.4/zdiff.in +70 -0
- doc/training/semantic_browsing/demos/gzip-1.2.4/zforce.1 doc/training/semantic_browsing/demos/gzip-1.2.4/zforce.1 +20 -0
- doc/training/semantic_browsing/demos/gzip-1.2.4/zforce.in doc/training/semantic_browsing/demos/gzip-1.2.4/zforce.in +42 -0
- doc/training/semantic_browsing/demos/gzip-1.2.4/zgrep.1 doc/training/semantic_browsing/demos/gzip-1.2.4/zgrep.1 +44 -0
- doc/training/semantic_browsing/demos/gzip-1.2.4/zgrep.in doc/training/semantic_browsing/demos/gzip-1.2.4/zgrep.in +67 -0
- doc/training/semantic_browsing/demos/gzip-1.2.4/zip.c doc/training/semantic_browsing/demos/gzip-1.2.4/zip.c +117 -0
- doc/training/semantic_browsing/demos/gzip-1.2.4/zmore.1 doc/training/semantic_browsing/demos/gzip-1.2.4/zmore.1 +145 -0
- doc/training/semantic_browsing/demos/gzip-1.2.4/zmore.in doc/training/semantic_browsing/demos/gzip-1.2.4/zmore.in +52 -0
- doc/training/semantic_browsing/demos/gzip-1.2.4/znew.1 doc/training/semantic_browsing/demos/gzip-1.2.4/znew.1 +39 -0
- doc/training/semantic_browsing/demos/gzip-1.2.4/znew.in doc/training/semantic_browsing/demos/gzip-1.2.4/znew.in +146 -0
- doc/training/semantic_browsing/demos/occurrence/occurrence.c doc/training/semantic_browsing/demos/occurrence/occurrence.c +14 -0
- doc/training/semantic_browsing/demos/sparecode/sparecode.c doc/training/semantic_browsing/demos/sparecode/sparecode.c +85 -0
- doc/training/semantic_browsing/logo.png doc/training/semantic_browsing/logo.png +0 -0
- doc/training/semantic_browsing/main.pdf doc/training/semantic_browsing/main.pdf +0 -0
- doc/training/semantic_browsing/main.tex doc/training/semantic_browsing/main.tex +1012 -0
- doc/training/semantic_browsing/scripts/from.sh doc/training/semantic_browsing/scripts/from.sh +4 -0
- doc/training/semantic_browsing/scripts/impact.sh doc/training/semantic_browsing/scripts/impact.sh +4 -0
- doc/training/semantic_browsing/scripts/inout.sh doc/training/semantic_browsing/scripts/inout.sh +4 -0
- doc/training/semantic_browsing/scripts/metrics.sh doc/training/semantic_browsing/scripts/metrics.sh +3 -0
- doc/training/semantic_browsing/scripts/occurrence.sh doc/training/semantic_browsing/scripts/occurrence.sh +3 -0
- doc/training/semantic_browsing/scripts/run.sh doc/training/semantic_browsing/scripts/run.sh +10 -0
- doc/training/semantic_browsing/scripts/scope.sh doc/training/semantic_browsing/scripts/scope.sh +3 -0
- doc/training/semantic_browsing/scripts/semantic_constfolding.sh ...aining/semantic_browsing/scripts/semantic_constfolding.sh +3 -0
- doc/training/semantic_browsing/scripts/slicing.sh doc/training/semantic_browsing/scripts/slicing.sh +4 -0
- doc/training/semantic_browsing/scripts/syntactic_callgraph.sh ...training/semantic_browsing/scripts/syntactic_callgraph.sh +7 -0
- doc/training/semantic_browsing/scripts/syntactic_constfolding.sh ...ining/semantic_browsing/scripts/syntactic_constfolding.sh +3 -0
- doc/userman/.gitignore doc/userman/.gitignore +7 -0
- doc/userman/Makefile doc/userman/Makefile +29 -0
- doc/userman/Makefile.config doc/userman/Makefile.config +3 -0
- doc/userman/analysis-window.jpg doc/userman/analysis-window.jpg +0 -0
- doc/userman/analysis1.pdf doc/userman/analysis1.pdf +0 -0
- doc/userman/bts.pdf doc/userman/bts.pdf +0 -0
- doc/userman/cealistlogo.jpg doc/userman/cealistlogo.jpg +0 -0
- doc/userman/error.pdf doc/userman/error.pdf +0 -0
- doc/userman/gui-main-window.jpg doc/userman/gui-main-window.jpg +0 -0
- doc/userman/gui-main-window.png doc/userman/gui-main-window.png +0 -0
- doc/userman/gui2.pdf doc/userman/gui2.pdf +0 -0
- doc/userman/macros.tex doc/userman/macros.tex +62 -0
- doc/userman/splash.pdf doc/userman/splash.pdf +0 -0
- doc/userman/user-analysis.tex doc/userman/user-analysis.tex +256 -0
- doc/userman/user-changes.tex doc/userman/user-changes.tex +228 -0
- doc/userman/user-errors.tex doc/userman/user-errors.tex +97 -0
- doc/userman/user-gui.tex doc/userman/user-gui.tex +193 -0
- doc/userman/user-intro.tex doc/userman/user-intro.tex +58 -0
- doc/userman/user-overview.tex doc/userman/user-overview.tex +206 -0
- doc/userman/user-plugins.tex doc/userman/user-plugins.tex +95 -0
- doc/userman/user-properties.tex doc/userman/user-properties.tex +204 -0
- doc/userman/user-report.tex doc/userman/user-report.tex +247 -0
- doc/userman/user-services.tex doc/userman/user-services.tex +189 -0
- doc/userman/user-sources.tex doc/userman/user-sources.tex +428 -0
- doc/userman/user-start.tex doc/userman/user-start.tex +542 -0
- doc/userman/user-variadic.tex doc/userman/user-variadic.tex +197 -0
- doc/userman/userman.bib doc/userman/userman.bib +113 -0
- doc/userman/userman.tex doc/userman/userman.tex +97 -0
- doc/value/.gitignore doc/value/.gitignore +6 -0
- doc/value/README doc/value/README +38 -0
- doc/value/annotations_2.c doc/value/annotations_2.c +14 -0
- doc/value/ari.c doc/value/ari.c +5 -0
- doc/value/array.c doc/value/array.c +12 -0
- doc/value/array_array_2.c doc/value/array_array_2.c +6 -0
- doc/value/bases.c doc/value/bases.c +11 -0
- doc/value/biblio.bib doc/value/biblio.bib +109 -0
- doc/value/boucles.c doc/value/boucles.c +10 -0
- doc/value/boucles1.c doc/value/boucles1.c +9 -0
- doc/value/boucles_run.c doc/value/boucles_run.c +7 -0
- doc/value/case.c doc/value/case.c +15 -0
- doc/value/cealistlogo.jpg doc/value/cealistlogo.jpg +0 -0
- doc/value/default.c doc/value/default.c +9 -0
- doc/value/deps.c doc/value/deps.c +22 -0
- doc/value/depth.c doc/value/depth.c +6 -0
- doc/value/div.c doc/value/div.c +6 -0
- doc/value/double_assign.c doc/value/double_assign.c +7 -0
- doc/value/double_op_arg.c doc/value/double_op_arg.c +10 -0
- doc/value/double_op_res.c doc/value/double_op_res.c +4 -0
- doc/value/duplicates.pl doc/value/duplicates.pl +55 -0
- doc/value/eva/function-call.pdf doc/value/eva/function-call.pdf +0 -0
- doc/value/eva/function-call.tex doc/value/eva/function-call.tex +114 -0
- doc/value/eva/tikz_call.tex doc/value/eva/tikz_call.tex +106 -0
- doc/value/eval-acsl.png doc/value/eval-acsl.png +0 -0
- doc/value/examples/parametrizing/context-depth.1.log doc/value/examples/parametrizing/context-depth.1.log +79 -0
- doc/value/examples/parametrizing/context-depth.2.log doc/value/examples/parametrizing/context-depth.2.log +20 -0
- doc/value/examples/parametrizing/context-depth.3.log doc/value/examples/parametrizing/context-depth.3.log +15 -0
- doc/value/examples/parametrizing/context-depth.c doc/value/examples/parametrizing/context-depth.c +5 -0
- doc/value/examples/parametrizing/context-depth2.c doc/value/examples/parametrizing/context-depth2.c +5 -0
- doc/value/examples/parametrizing/context-depth3.c doc/value/examples/parametrizing/context-depth3.c +5 -0
- doc/value/examples/parametrizing/context-width.c doc/value/examples/parametrizing/context-width.c +4 -0
- doc/value/examples/parametrizing/context-width.log doc/value/examples/parametrizing/context-width.log +20 -0
- doc/value/examples/parametrizing/global-initial-values.c doc/value/examples/parametrizing/global-initial-values.c +7 -0
- doc/value/examples/parametrizing/global-initial-values.log doc/value/examples/parametrizing/global-initial-values.log +13 -0
- doc/value/examples/parametrizing/ilevel.1.log doc/value/examples/parametrizing/ilevel.1.log +23 -0
- doc/value/examples/parametrizing/ilevel.2.log doc/value/examples/parametrizing/ilevel.2.log +23 -0
- doc/value/examples/parametrizing/ilevel.c doc/value/examples/parametrizing/ilevel.c +8 -0
- doc/value/examples/parametrizing/makefile doc/value/examples/parametrizing/makefile +42 -0
- doc/value/examples/parametrizing/nor.1.log doc/value/examples/parametrizing/nor.1.log +4036 -0
- doc/value/examples/parametrizing/nor.2.log doc/value/examples/parametrizing/nor.2.log +2035 -0
- doc/value/examples/parametrizing/nor.c doc/value/examples/parametrizing/nor.c +15 -0
- doc/value/examples/parametrizing/out-of-bound.c doc/value/examples/parametrizing/out-of-bound.c +5 -0
- doc/value/examples/parametrizing/out-of-bound.log doc/value/examples/parametrizing/out-of-bound.log +13 -0
- doc/value/examples/parametrizing/pragma-widen-hints.c doc/value/examples/parametrizing/pragma-widen-hints.c +9 -0
- doc/value/examples/parametrizing/simple-main.c doc/value/examples/parametrizing/simple-main.c +5 -0
- doc/value/examples/parametrizing/simple-main.log doc/value/examples/parametrizing/simple-main.log +21 -0
- doc/value/examples/parametrizing/slevel.1.log doc/value/examples/parametrizing/slevel.1.log +14 -0
- doc/value/examples/parametrizing/slevel.2.log doc/value/examples/parametrizing/slevel.2.log +16 -0
- doc/value/examples/parametrizing/slevel.c doc/value/examples/parametrizing/slevel.c +8 -0
- doc/value/examples/parametrizing/widen-hints.c doc/value/examples/parametrizing/widen-hints.c +9 -0
- doc/value/examples/parametrizing/widen-hints.log doc/value/examples/parametrizing/widen-hints.log +14 -0
- doc/value/exemple_origin_arithmetic.c doc/value/exemple_origin_arithmetic.c +20 -0
- doc/value/false_al.c doc/value/false_al.c +10 -0
- doc/value/fonctions.c doc/value/fonctions.c +18 -0
- doc/value/gui-callstacks-annotated.png doc/value/gui-callstacks-annotated.png +0 -0
- doc/value/gui-images-raw/RMB_click.svg doc/value/gui-images-raw/RMB_click.svg +42 -0
- doc/value/gui-images-raw/gui-callstacks.png doc/value/gui-images-raw/gui-callstacks.png +0 -0
- doc/value/gui-images-raw/gui-callstacks.svg doc/value/gui-images-raw/gui-callstacks.svg +154 -0
- doc/value/gui-images-raw/gui-values.png doc/value/gui-images-raw/gui-values.png +0 -0
- doc/value/gui-images-raw/gui-values.svg doc/value/gui-images-raw/gui-values.svg +316 -0
- doc/value/gui-images-raw/gui1-annotated.svg doc/value/gui-images-raw/gui1-annotated.svg +384 -0
- doc/value/gui-images-raw/gui1.png doc/value/gui-images-raw/gui1.png +0 -0
- doc/value/gui-red-alarms-panel.png doc/value/gui-red-alarms-panel.png +0 -0
- doc/value/gui-red-values.png doc/value/gui-red-values.png +0 -0
- doc/value/gui-side-panel.png doc/value/gui-side-panel.png +0 -0
- doc/value/gui-values-annotated.png doc/value/gui-values-annotated.png +0 -0
- doc/value/gui.tex doc/value/gui.tex +348 -0
- doc/value/gui1-annotated.pdf doc/value/gui1-annotated.pdf +0 -0
- doc/value/gui2.png doc/value/gui2.png +0 -0
- doc/value/gui3.png doc/value/gui3.png +0 -0
- doc/value/gui4.png doc/value/gui4.png +0 -0
- doc/value/gui5.png doc/value/gui5.png +0 -0
- doc/value/introduction.c doc/value/introduction.c +10 -0
- doc/value/invalid.c doc/value/invalid.c +9 -0
- doc/value/invalid_bool.c doc/value/invalid_bool.c +6 -0
- doc/value/leaf.c doc/value/leaf.c +20 -0
- doc/value/loopanalysis.tex doc/value/loopanalysis.tex +54 -0
- doc/value/lshift.c doc/value/lshift.c +5 -0
- doc/value/main.c doc/value/main.c +4 -0
- doc/value/main.idx doc/value/main.idx +0 -0
- doc/value/main.tex doc/value/main.tex +5267 -0
- doc/value/makefile doc/value/makefile +27 -0
- doc/value/merge.c doc/value/merge.c +12 -0
- doc/value/misa.c doc/value/misa.c +7 -0
- doc/value/no_propagation.c doc/value/no_propagation.c +9 -0
- doc/value/nondet.c doc/value/nondet.c +9 -0
- doc/value/nonterm.tex doc/value/nonterm.tex +93 -0
- doc/value/op_inputs.c doc/value/op_inputs.c +11 -0
- doc/value/ov_float_int.c doc/value/ov_float_int.c +8 -0
- doc/value/overlap.c doc/value/overlap.c +16 -0
- doc/value/pad.c doc/value/pad.c +5 -0
- doc/value/perf.c doc/value/perf.c +92 -0
- doc/value/pointer_comparison.c doc/value/pointer_comparison.c +5 -0
- doc/value/posix.c doc/value/posix.c +5 -0
- doc/value/reduction.c doc/value/reduction.c +11 -0
- doc/value/revert_preview.scpt doc/value/revert_preview.scpt +26 -0
- doc/value/rte.c doc/value/rte.c +6 -0
- doc/value/s_t.c doc/value/s_t.c +5 -0
- doc/value/se.c doc/value/se.c +10 -0
- doc/value/shift.c doc/value/shift.c +5 -0
- doc/value/slicing.tex doc/value/slicing.tex +113 -0
- doc/value/sq.c doc/value/sq.c +8 -0
- doc/value/studia.png doc/value/studia.png +0 -0
- doc/value/termination.c doc/value/termination.c +7 -0
- doc/value/tutorial/README doc/value/tutorial/README +1 -0
- doc/value/tutorial/Reference_Implementation/SHA3api_ref.c doc/value/tutorial/Reference_Implementation/SHA3api_ref.c +115 -0
- doc/value/tutorial/Reference_Implementation/SHA3api_ref.h doc/value/tutorial/Reference_Implementation/SHA3api_ref.h +66 -0
- doc/value/tutorial/Reference_Implementation/brg_endian.h doc/value/tutorial/Reference_Implementation/brg_endian.h +148 -0
- doc/value/tutorial/Reference_Implementation/brg_types.h doc/value/tutorial/Reference_Implementation/brg_types.h +188 -0
- doc/value/tutorial/Reference_Implementation/skein.c doc/value/tutorial/Reference_Implementation/skein.c +747 -0
- doc/value/tutorial/Reference_Implementation/skein.h doc/value/tutorial/Reference_Implementation/skein.h +327 -0
- doc/value/tutorial/Reference_Implementation/skein_block.c doc/value/tutorial/Reference_Implementation/skein_block.c +369 -0
- doc/value/tutorial/Reference_Implementation/skein_debug.c doc/value/tutorial/Reference_Implementation/skein_debug.c +247 -0
- doc/value/tutorial/Reference_Implementation/skein_debug.h doc/value/tutorial/Reference_Implementation/skein_debug.h +48 -0
- doc/value/tutorial/Reference_Implementation/skein_port.h doc/value/tutorial/Reference_Implementation/skein_port.h +44 -0
- doc/value/tutorial/lib.c doc/value/tutorial/lib.c +20 -0
- doc/value/tutorial/main_1.c doc/value/tutorial/main_1.c +20 -0
- doc/value/tutorial/main_2.c doc/value/tutorial/main_2.c +21 -0
- doc/value/tutorial/own_string.h doc/value/tutorial/own_string.h +5 -0
- doc/value/uninitialized.c doc/value/uninitialized.c +14 -0
- doc/value/valid_function.c doc/value/valid_function.c +13 -0
- doc/value/vraie_al.c doc/value/vraie_al.c +7 -0
- doc/value/watchpoints doc/value/watchpoints +57 -0
- headers/check-headers.sh headers/check-headers.sh +265 -0
- headers/close-source/ACSL_EL headers/close-source/ACSL_EL +21 -0
- headers/close-source/AORAI_LGPL headers/close-source/AORAI_LGPL +22 -0
- headers/close-source/CDDL headers/close-source/CDDL +10 -0
- headers/close-source/CEA_INRIA_LGPL headers/close-source/CEA_INRIA_LGPL +21 -0
- headers/close-source/CEA_LGPL headers/close-source/CEA_LGPL +19 -0
- headers/close-source/CEA_LGPL_OR_PROPRIETARY headers/close-source/CEA_LGPL_OR_PROPRIETARY +10 -0
- headers/close-source/CEA_PROPRIETARY headers/close-source/CEA_PROPRIETARY +10 -0
- headers/close-source/CEA_WP headers/close-source/CEA_WP +9 -0
- headers/close-source/CIL headers/close-source/CIL +40 -0
- headers/close-source/INRIA_BSD headers/close-source/INRIA_BSD +33 -0
- headers/close-source/INRIA_LGPL headers/close-source/INRIA_LGPL +19 -0
- headers/close-source/INSA_INRIA_LGPL headers/close-source/INSA_INRIA_LGPL +20 -0
- headers/close-source/JCF_LGPL headers/close-source/JCF_LGPL +12 -0
- headers/close-source/MODIFIED_MENHIR headers/close-source/MODIFIED_MENHIR +13 -0
- headers/close-source/MODIFIED_OCAMLGRAPH headers/close-source/MODIFIED_OCAMLGRAPH +19 -0
- headers/close-source/MODIFIED_WHY3 headers/close-source/MODIFIED_WHY3 +11 -0
- headers/close-source/OCAML_STDLIB headers/close-source/OCAML_STDLIB +33 -0
- headers/close-source/UNMODIFIED_WHY3 headers/close-source/UNMODIFIED_WHY3 +7 -0
- headers/hdrck.ml headers/hdrck.ml +552 -0
- headers/headache.sh headers/headache.sh +55 -0
- headers/headache_config.txt headers/headache_config.txt +136 -0
- headers/header_spec.txt headers/header_spec.txt +1926 -0
- headers/open-source/ACSL_EL headers/open-source/ACSL_EL +21 -0
- headers/open-source/AORAI_LGPL headers/open-source/AORAI_LGPL +22 -0
- headers/open-source/CDDL headers/open-source/CDDL +10 -0
- headers/open-source/CEA_INRIA_LGPL headers/open-source/CEA_INRIA_LGPL +21 -0
- headers/open-source/CEA_LGPL headers/open-source/CEA_LGPL +19 -0
- headers/open-source/CEA_LGPL_OR_PROPRIETARY headers/open-source/CEA_LGPL_OR_PROPRIETARY +19 -0
- headers/open-source/CEA_PROPRIETARY headers/open-source/CEA_PROPRIETARY +10 -0
- headers/open-source/CEA_WP headers/open-source/CEA_WP +19 -0
- headers/open-source/CIL headers/open-source/CIL +40 -0
- headers/open-source/INRIA_BSD headers/open-source/INRIA_BSD +33 -0
- headers/open-source/INRIA_LGPL headers/open-source/INRIA_LGPL +19 -0
- headers/open-source/INSA_INRIA_LGPL headers/open-source/INSA_INRIA_LGPL +20 -0
- headers/open-source/JCF_LGPL headers/open-source/JCF_LGPL +15 -0
- headers/open-source/MODIFIED_MENHIR headers/open-source/MODIFIED_MENHIR +13 -0
- headers/open-source/MODIFIED_OCAMLGRAPH headers/open-source/MODIFIED_OCAMLGRAPH +19 -0
- headers/open-source/MODIFIED_WHY3 headers/open-source/MODIFIED_WHY3 +11 -0
- headers/open-source/OCAML_STDLIB headers/open-source/OCAML_STDLIB +34 -0
- headers/open-source/UNMODIFIED_WHY3 headers/open-source/UNMODIFIED_WHY3 +7 -0
- headers/updates-headers.sh headers/updates-headers.sh +152 -0
- lib/plugins/PLUGINS.README lib/plugins/PLUGINS.README +2 -0
- licenses/CDDL-1.0 licenses/CDDL-1.0 +241 -0
- licenses/GPLv3 licenses/GPLv3 +674 -0
- licenses/LGPLv2 licenses/LGPLv2 +481 -0
- licenses/LGPLv2.1 licenses/LGPLv2.1 +458 -0
- licenses/LGPLv3 licenses/LGPLv3 +165 -0
- licenses/Q_MODIFIED_LICENSE licenses/Q_MODIFIED_LICENSE +622 -0
- man/frama-c.1 man/frama-c.1 +838 -0
- man/frama-c.1.header man/frama-c.1.header +28 -0
- man/frama-c.1.md man/frama-c.1.md +519 -0
- opam/descr opam/descr +15 -0
- opam/opam opam/opam +129 -0
- opam/url opam/url +2 -0
- ptests/.gitignore ptests/.gitignore +1 -0
- ptests/.merlin ptests/.merlin +2 -0
- ptests/check_oracles.sh ptests/check_oracles.sh +88 -0
- ptests/ptests.ml ptests/ptests.ml +1700 -0
- share/Makefile.clean share/Makefile.clean +78 -0
- share/Makefile.common share/Makefile.common +281 -0
- share/Makefile.config.in share/Makefile.config.in +219 -0
- share/Makefile.dynamic share/Makefile.dynamic +278 -0
- share/Makefile.dynamic_config.external share/Makefile.dynamic_config.external +46 -0
- share/Makefile.dynamic_config.internal share/Makefile.dynamic_config.internal +42 -0
- share/Makefile.generic share/Makefile.generic +138 -0
- share/Makefile.plugin.template share/Makefile.plugin.template +1063 -0
- share/_frama-c share/_frama-c +148 -0
- share/_frama-c.zsh share/_frama-c.zsh +231 -0
- share/analysis-scripts/README.md share/analysis-scripts/README.md +209 -0
- share/analysis-scripts/bench-sqlite.sh share/analysis-scripts/bench-sqlite.sh +124 -0
- share/analysis-scripts/benchmark.sh share/analysis-scripts/benchmark.sh +199 -0
- share/analysis-scripts/cmd-dep.sh share/analysis-scripts/cmd-dep.sh +27 -0
- share/analysis-scripts/concat-csv.sh share/analysis-scripts/concat-csv.sh +103 -0
- share/analysis-scripts/examples/Makefile share/analysis-scripts/examples/Makefile +18 -0
- share/analysis-scripts/examples/example-multi.mk share/analysis-scripts/examples/example-multi.mk +23 -0
- share/analysis-scripts/examples/example-slevel.mk share/analysis-scripts/examples/example-slevel.mk +37 -0
- share/analysis-scripts/examples/example.c share/analysis-scripts/examples/example.c +25 -0
- share/analysis-scripts/examples/example.mk share/analysis-scripts/examples/example.mk +26 -0
- share/analysis-scripts/flamegraph.pl share/analysis-scripts/flamegraph.pl +1137 -0
- share/analysis-scripts/frama-c.mk share/analysis-scripts/frama-c.mk +247 -0
- share/analysis-scripts/list_files.py share/analysis-scripts/list_files.py +86 -0
- share/analysis-scripts/parse-coverage.sh share/analysis-scripts/parse-coverage.sh +22 -0
- share/analysis-scripts/plot.sh share/analysis-scripts/plot.sh +16 -0
- share/analysis-scripts/readme-graph.graphml share/analysis-scripts/readme-graph.graphml +1115 -0
- share/analysis-scripts/readme-graph.svg share/analysis-scripts/readme-graph.svg +457 -0
- share/analysis-scripts/slevel-tweaker.sh share/analysis-scripts/slevel-tweaker.sh +118 -0
- share/analysis-scripts/summary.sh share/analysis-scripts/summary.sh +155 -0
- share/analysis-scripts/template.mk share/analysis-scripts/template.mk +70 -0
- share/autocomplete_frama-c share/autocomplete_frama-c +78 -0
- share/builtin.h share/builtin.h +23 -0
- share/configure.ac share/configure.ac +620 -0
- share/emacs/acsl.el share/emacs/acsl.el +245 -0
- share/emacs/frama-c-dev.el share/emacs/frama-c-dev.el +83 -0
- share/emacs/frama-c-init.el share/emacs/frama-c-init.el +60 -0
- share/emacs/frama-c-recommended.el share/emacs/frama-c-recommended.el +120 -0
- share/frama-c-icon.svg share/frama-c-icon.svg +308 -0
- share/frama-c.Unix.rc share/frama-c.Unix.rc +61 -0
- share/frama-c.WIN32.rc share/frama-c.WIN32.rc +36 -0
- share/frama-c.ico share/frama-c.ico +0 -0
- share/frama-c.png share/frama-c.png +0 -0
- share/framac.vim share/framac.vim +90 -0
- share/libc.c share/libc.c +22 -0
- share/libc/__fc_alloc_axiomatic.h share/libc/__fc_alloc_axiomatic.h +48 -0
- share/libc/__fc_builtin.c share/libc/__fc_builtin.c +72 -0
- share/libc/__fc_builtin.h share/libc/__fc_builtin.h +197 -0
- share/libc/__fc_define_blkcnt_t.h share/libc/__fc_define_blkcnt_t.h +35 -0
- share/libc/__fc_define_blksize_t.h share/libc/__fc_define_blksize_t.h +35 -0
- share/libc/__fc_define_clockid_t.h share/libc/__fc_define_clockid_t.h +31 -0
- share/libc/__fc_define_dev_t.h share/libc/__fc_define_dev_t.h +35 -0
- share/libc/__fc_define_eof.h share/libc/__fc_define_eof.h +32 -0
- share/libc/__fc_define_fd_set_t.h share/libc/__fc_define_fd_set_t.h +67 -0
- share/libc/__fc_define_file.h share/libc/__fc_define_file.h +43 -0
- share/libc/__fc_define_fpos_t.h share/libc/__fc_define_fpos_t.h +35 -0
- share/libc/__fc_define_id_t.h share/libc/__fc_define_id_t.h +35 -0
- share/libc/__fc_define_ino_t.h share/libc/__fc_define_ino_t.h +35 -0
- share/libc/__fc_define_intptr_t.h share/libc/__fc_define_intptr_t.h +43 -0
- share/libc/__fc_define_iovec.h share/libc/__fc_define_iovec.h +36 -0
- share/libc/__fc_define_key_t.h share/libc/__fc_define_key_t.h +34 -0
- share/libc/__fc_define_mode_t.h share/libc/__fc_define_mode_t.h +79 -0
- share/libc/__fc_define_nlink_t.h share/libc/__fc_define_nlink_t.h +35 -0
- share/libc/__fc_define_null.h share/libc/__fc_define_null.h +32 -0
- share/libc/__fc_define_off_t.h share/libc/__fc_define_off_t.h +40 -0
- share/libc/__fc_define_pid_t.h share/libc/__fc_define_pid_t.h +35 -0
- share/libc/__fc_define_pthread_types.h share/libc/__fc_define_pthread_types.h +50 -0
- share/libc/__fc_define_sa_family_t.h share/libc/__fc_define_sa_family_t.h +32 -0
- share/libc/__fc_define_seek_macros.h share/libc/__fc_define_seek_macros.h +30 -0
- share/libc/__fc_define_sigset_t.h share/libc/__fc_define_sigset_t.h +35 -0
- share/libc/__fc_define_size_t.h share/libc/__fc_define_size_t.h +32 -0
- share/libc/__fc_define_sockaddr.h share/libc/__fc_define_sockaddr.h +36 -0
- share/libc/__fc_define_ssize_t.h share/libc/__fc_define_ssize_t.h +37 -0
- share/libc/__fc_define_stat.h share/libc/__fc_define_stat.h +77 -0
- share/libc/__fc_define_suseconds_t.h share/libc/__fc_define_suseconds_t.h +34 -0
- share/libc/__fc_define_time_t.h share/libc/__fc_define_time_t.h +35 -0
- share/libc/__fc_define_timer_t.h share/libc/__fc_define_timer_t.h +31 -0
- share/libc/__fc_define_timespec.h share/libc/__fc_define_timespec.h +34 -0
- share/libc/__fc_define_uid_and_gid.h share/libc/__fc_define_uid_and_gid.h +39 -0
- share/libc/__fc_define_useconds_t.h share/libc/__fc_define_useconds_t.h +35 -0
- share/libc/__fc_define_wchar_t.h share/libc/__fc_define_wchar_t.h +37 -0
- share/libc/__fc_define_wint_t.h share/libc/__fc_define_wint_t.h +32 -0
- share/libc/__fc_inet.h share/libc/__fc_inet.h +389 -0
- share/libc/__fc_machdep.h share/libc/__fc_machdep.h +618 -0
- share/libc/__fc_machdep_linux_gcc_shared.h share/libc/__fc_machdep_linux_gcc_shared.h +273 -0
- share/libc/__fc_select.h share/libc/__fc_select.h +85 -0
- share/libc/__fc_string_axiomatic.h share/libc/__fc_string_axiomatic.h +299 -0
- share/libc/alloca.h share/libc/alloca.h +47 -0
- share/libc/arpa/inet.h share/libc/arpa/inet.h +26 -0
- share/libc/assert.c share/libc/assert.c +37 -0
- share/libc/assert.h share/libc/assert.h +46 -0
- share/libc/byteswap.h share/libc/byteswap.h +112 -0
- share/libc/complex.h share/libc/complex.h +29 -0
- share/libc/ctype.c share/libc/ctype.c +129 -0
- share/libc/ctype.h share/libc/ctype.h +248 -0
- share/libc/dirent.h share/libc/dirent.h +132 -0
- share/libc/dlfcn.h share/libc/dlfcn.h +39 -0
- share/libc/endian.h share/libc/endian.h +50 -0
- share/libc/errno.c share/libc/errno.c +28 -0
- share/libc/errno.h share/libc/errno.h +167 -0
- share/libc/fc_runtime.c share/libc/fc_runtime.c +38 -0
- share/libc/fcntl.h share/libc/fcntl.h +191 -0
- share/libc/features.h share/libc/features.h +129 -0
- share/libc/fenv.c share/libc/fenv.c +71 -0
- share/libc/fenv.h share/libc/fenv.h +109 -0
- share/libc/float.h share/libc/float.h +88 -0
- share/libc/fnmatch.h share/libc/fnmatch.h +42 -0
- share/libc/getopt.c share/libc/getopt.c +28 -0
- share/libc/getopt.h share/libc/getopt.h +72 -0
- share/libc/glob.c share/libc/glob.c +96 -0
- share/libc/glob.h share/libc/glob.h +79 -0
- share/libc/grp.h share/libc/grp.h +55 -0
- share/libc/iconv.h share/libc/iconv.h +50 -0
- share/libc/ifaddrs.h share/libc/ifaddrs.h +68 -0
- share/libc/inttypes.c share/libc/inttypes.c +38 -0
- share/libc/inttypes.h share/libc/inttypes.h +289 -0
- share/libc/iso646.h share/libc/iso646.h +40 -0
- share/libc/libgen.h share/libc/libgen.h +34 -0
- share/libc/libintl.h share/libc/libintl.h +26 -0
- share/libc/limits.h share/libc/limits.h +95 -0
- share/libc/linux/fs.h share/libc/linux/fs.h +28 -0
- share/libc/linux/if_addr.h share/libc/linux/if_addr.h +26 -0
- share/libc/linux/if_netlink.h share/libc/linux/if_netlink.h +27 -0
- share/libc/linux/netlink.h share/libc/linux/netlink.h +28 -0
- share/libc/linux/rtnetlink.h share/libc/linux/rtnetlink.h +28 -0
- share/libc/locale.c share/libc/locale.c +43 -0
- share/libc/locale.h share/libc/locale.h +154 -0
- share/libc/malloc.h share/libc/malloc.h +24 -0
- share/libc/math.c share/libc/math.c +71 -0
- share/libc/math.h share/libc/math.h +763 -0
- share/libc/memory.h share/libc/memory.h +24 -0
- share/libc/n1336.pdf share/libc/n1336.pdf +0 -0
- share/libc/n1362.pdf share/libc/n1362.pdf +0 -0
- share/libc/naming-conventions.md share/libc/naming-conventions.md +70 -0
- share/libc/net/if.h share/libc/net/if.h +169 -0
- share/libc/netdb.c share/libc/netdb.c +79 -0
- share/libc/netdb.h share/libc/netdb.h +196 -0
- share/libc/netinet/in.h share/libc/netinet/in.h +26 -0
- share/libc/netinet/in_systm.h share/libc/netinet/in_systm.h +26 -0
- share/libc/netinet/ip.h share/libc/netinet/ip.h +26 -0
- share/libc/netinet/ip_icmp.h share/libc/netinet/ip_icmp.h +27 -0
- share/libc/netinet/tcp.h share/libc/netinet/tcp.h +347 -0
- share/libc/nl_types.h share/libc/nl_types.h +40 -0
- share/libc/poll.h share/libc/poll.h +71 -0
- share/libc/pthread.h share/libc/pthread.h +373 -0
- share/libc/pwd.h share/libc/pwd.h +57 -0
- share/libc/regex.h share/libc/regex.h +83 -0
- share/libc/resolv.h share/libc/resolv.h +75 -0
- share/libc/sched.h share/libc/sched.h +53 -0
- share/libc/semaphore.h share/libc/semaphore.h +52 -0
- share/libc/setjmp.h share/libc/setjmp.h +59 -0
- share/libc/signal.h share/libc/signal.h +232 -0
- share/libc/stdarg.h share/libc/stdarg.h +37 -0
- share/libc/stdbool.h share/libc/stdbool.h +29 -0
- share/libc/stddef.h share/libc/stddef.h +43 -0
- share/libc/stdint.h share/libc/stdint.h +182 -0
- share/libc/stdio.c share/libc/stdio.c +95 -0
- share/libc/stdio.h share/libc/stdio.h +412 -0
- share/libc/stdlib.c share/libc/stdlib.c +190 -0
- share/libc/stdlib.h share/libc/stdlib.h +600 -0
- share/libc/string.c share/libc/string.c +302 -0
- share/libc/string.h share/libc/string.h +499 -0
- share/libc/strings.h share/libc/strings.h +61 -0
- share/libc/stropts.h share/libc/stropts.h +186 -0
- share/libc/sys/file.h share/libc/sys/file.h +50 -0
- share/libc/sys/ioctl.h share/libc/sys/ioctl.h +120 -0
- share/libc/sys/ipc.h share/libc/sys/ipc.h +58 -0
- share/libc/sys/mman.h share/libc/sys/mman.h +91 -0
- share/libc/sys/param.h share/libc/sys/param.h +28 -0
- share/libc/sys/random.h share/libc/sys/random.h +40 -0
- share/libc/sys/resource.h share/libc/sys/resource.h +86 -0
- share/libc/sys/select.h share/libc/sys/select.h +33 -0
- share/libc/sys/shm.h share/libc/sys/shm.h +66 -0
- share/libc/sys/signal.h share/libc/sys/signal.h +23 -0
- share/libc/sys/socket.h share/libc/sys/socket.h +518 -0
- share/libc/sys/stat.h share/libc/sys/stat.h +68 -0
- share/libc/sys/sysctl.h share/libc/sys/sysctl.h +22 -0
- share/libc/sys/time.h share/libc/sys/time.h +210 -0
- share/libc/sys/times.h share/libc/sys/times.h +42 -0
- share/libc/sys/timex.h share/libc/sys/timex.h +110 -0
- share/libc/sys/types.h share/libc/sys/types.h +58 -0
- share/libc/sys/uio.h share/libc/sys/uio.h +44 -0
- share/libc/sys/un.h share/libc/sys/un.h +40 -0
- share/libc/sys/utsname.h share/libc/sys/utsname.h +44 -0
- share/libc/sys/wait.h share/libc/sys/wait.h +104 -0
- share/libc/syslog.h share/libc/syslog.h +151 -0
- share/libc/termios.h share/libc/termios.h +215 -0
- share/libc/tgmath.h share/libc/tgmath.h +26 -0
- share/libc/time.h share/libc/time.h +296 -0
- share/libc/uchar.h share/libc/uchar.h +27 -0
- share/libc/unistd.h share/libc/unistd.h +978 -0
- share/libc/utime.h share/libc/utime.h +40 -0
- share/libc/utmpx.h share/libc/utmpx.h +64 -0
- share/libc/wchar.c share/libc/wchar.c +94 -0
- share/libc/wchar.h share/libc/wchar.h +216 -0
- share/libc/wctype.h share/libc/wctype.h +74 -0
- share/machdep.c share/machdep.c +373 -0
- share/switch-off.png share/switch-off.png +0 -0
- share/switch-on.png share/switch-on.png +0 -0
- share/theme/colorblind/considered_valid.png share/theme/colorblind/considered_valid.png +0 -0
- share/theme/colorblind/fold.png share/theme/colorblind/fold.png +0 -0
- share/theme/colorblind/inconsistent.png share/theme/colorblind/inconsistent.png +0 -0
- share/theme/colorblind/invalid_but_dead.png share/theme/colorblind/invalid_but_dead.png +0 -0
- share/theme/colorblind/invalid_under_hyp.png share/theme/colorblind/invalid_under_hyp.png +0 -0
- share/theme/colorblind/never_tried.png share/theme/colorblind/never_tried.png +0 -0
- share/theme/colorblind/surely_invalid.png share/theme/colorblind/surely_invalid.png +0 -0
- share/theme/colorblind/surely_valid.png share/theme/colorblind/surely_valid.png +0 -0
- share/theme/colorblind/unfold.png share/theme/colorblind/unfold.png +0 -0
- share/theme/colorblind/unknown.png share/theme/colorblind/unknown.png +0 -0
- share/theme/colorblind/unknown_but_dead.png share/theme/colorblind/unknown_but_dead.png +0 -0
- share/theme/colorblind/valid_but_dead.png share/theme/colorblind/valid_but_dead.png +0 -0
- share/theme/colorblind/valid_under_hyp.png share/theme/colorblind/valid_under_hyp.png +0 -0
- share/theme/default/considered_valid.png share/theme/default/considered_valid.png +0 -0
- share/theme/default/fold.png share/theme/default/fold.png +0 -0
- share/theme/default/inconsistent.png share/theme/default/inconsistent.png +0 -0
- share/theme/default/invalid_but_dead.png share/theme/default/invalid_but_dead.png +0 -0
- share/theme/default/invalid_under_hyp.png share/theme/default/invalid_under_hyp.png +0 -0
- share/theme/default/never_tried.png share/theme/default/never_tried.png +0 -0
- share/theme/default/surely_invalid.png share/theme/default/surely_invalid.png +0 -0
- share/theme/default/surely_valid.png share/theme/default/surely_valid.png +0 -0
- share/theme/default/unfold.png share/theme/default/unfold.png +0 -0
- share/theme/default/unknown.png share/theme/default/unknown.png +0 -0
- share/theme/default/unknown_but_dead.png share/theme/default/unknown_but_dead.png +0 -0
- share/theme/default/valid_but_dead.png share/theme/default/valid_but_dead.png +0 -0
- share/theme/default/valid_under_hyp.png share/theme/default/valid_under_hyp.png +0 -0
- share/theme/flat/considered_valid.png share/theme/flat/considered_valid.png +0 -0
- share/theme/flat/considered_valid.svg share/theme/flat/considered_valid.svg +19 -0
- share/theme/flat/fold.png share/theme/flat/fold.png +0 -0
- share/theme/flat/fold.svg share/theme/flat/fold.svg +16 -0
- share/theme/flat/inconsistent.png share/theme/flat/inconsistent.png +0 -0
- share/theme/flat/inconsistent.svg share/theme/flat/inconsistent.svg +19 -0
- share/theme/flat/invalid_but_dead.png share/theme/flat/invalid_but_dead.png +0 -0
- share/theme/flat/invalid_but_dead.svg share/theme/flat/invalid_but_dead.svg +19 -0
- share/theme/flat/invalid_under_hyp.png share/theme/flat/invalid_under_hyp.png +0 -0
- share/theme/flat/invalid_under_hyp.svg share/theme/flat/invalid_under_hyp.svg +19 -0
- share/theme/flat/never_tried.png share/theme/flat/never_tried.png +0 -0
- share/theme/flat/never_tried.svg share/theme/flat/never_tried.svg +16 -0
- share/theme/flat/surely_invalid.png share/theme/flat/surely_invalid.png +0 -0
- share/theme/flat/surely_invalid.svg share/theme/flat/surely_invalid.svg +18 -0
- share/theme/flat/surely_valid.png share/theme/flat/surely_valid.png +0 -0
- share/theme/flat/surely_valid.svg share/theme/flat/surely_valid.svg +18 -0
- share/theme/flat/unfold.png share/theme/flat/unfold.png +0 -0
- share/theme/flat/unfold.svg share/theme/flat/unfold.svg +17 -0
- share/theme/flat/unknown.png share/theme/flat/unknown.png +0 -0
- share/theme/flat/unknown.svg share/theme/flat/unknown.svg +18 -0
- share/theme/flat/unknown_but_dead.png share/theme/flat/unknown_but_dead.png +0 -0
- share/theme/flat/unknown_but_dead.svg share/theme/flat/unknown_but_dead.svg +19 -0
- share/theme/flat/valid_but_dead.png share/theme/flat/valid_but_dead.png +0 -0
- share/theme/flat/valid_but_dead.svg share/theme/flat/valid_but_dead.svg +19 -0
- share/theme/flat/valid_under_hyp.png share/theme/flat/valid_under_hyp.png +0 -0
- share/theme/flat/valid_under_hyp.svg share/theme/flat/valid_under_hyp.svg +19 -0
- share/unmark.png share/unmark.png +0 -0
- share/win32_installer.iss share/win32_installer.iss +59 -0
- share/win32_manual_installation_step.txt share/win32_manual_installation_step.txt +4 -0
- src/kernel_internals/README.md src/kernel_internals/README.md +7 -0
- src/kernel_internals/parsing/README.md src/kernel_internals/parsing/README.md +2 -0
- src/kernel_internals/parsing/check_logic_parser.ml src/kernel_internals/parsing/check_logic_parser.ml +129 -0
- src/kernel_internals/parsing/clexer.mli src/kernel_internals/parsing/clexer.mli +71 -0
- src/kernel_internals/parsing/clexer.mll src/kernel_internals/parsing/clexer.mll +847 -0
- src/kernel_internals/parsing/cparser.mly src/kernel_internals/parsing/cparser.mly +1720 -0
- src/kernel_internals/parsing/errorloc.ml src/kernel_internals/parsing/errorloc.ml +253 -0
- src/kernel_internals/parsing/errorloc.mli src/kernel_internals/parsing/errorloc.mli +86 -0
- src/kernel_internals/parsing/lexerhack.ml src/kernel_internals/parsing/lexerhack.ml +57 -0
- src/kernel_internals/parsing/logic_lexer.mli src/kernel_internals/parsing/logic_lexer.mli +50 -0
- src/kernel_internals/parsing/logic_lexer.mll src/kernel_internals/parsing/logic_lexer.mll +530 -0
- src/kernel_internals/parsing/logic_parser.mly src/kernel_internals/parsing/logic_parser.mly +1981 -0
- src/kernel_internals/parsing/logic_preprocess.mli src/kernel_internals/parsing/logic_preprocess.mli +42 -0
- src/kernel_internals/parsing/logic_preprocess.mll src/kernel_internals/parsing/logic_preprocess.mll +515 -0
- src/kernel_internals/runtime/README.md src/kernel_internals/runtime/README.md +2 -0
- src/kernel_internals/runtime/boot.ml src/kernel_internals/runtime/boot.ml +83 -0
- src/kernel_internals/runtime/config.ml.in src/kernel_internals/runtime/config.ml.in +85 -0
- src/kernel_internals/runtime/config.mli src/kernel_internals/runtime/config.mli +124 -0
- src/kernel_internals/runtime/frama_c_config.ml.in src/kernel_internals/runtime/frama_c_config.ml.in +67 -0
- src/kernel_internals/runtime/frama_c_init.ml src/kernel_internals/runtime/frama_c_init.ml +32 -0
- src/kernel_internals/runtime/frama_c_init.mli src/kernel_internals/runtime/frama_c_init.mli +24 -0
- No files found.
Too many changes to show.
To preserve performance only 1000 of 1000+ files are displayed.
.Makefile.lint
0 → 100644
This diff is collapsed.
.for_devel
0 → 100644
.force-reconfigure
0 → 100644
.gitattributes
0 → 100644
.gitignore
0 → 100644