Merge branch 'feature/andre/doc-update-plugin-dev-tutorial' into 'master'
Feature/andre/doc update plugin dev tutorial Closes #342 and #424 See merge request frama-c/frama-c!3890
Showing
- .gitattributes 2 additions, 0 deletions.gitattributes
- doc/developer/.gitignore 3 additions, 1 deletiondoc/developer/.gitignore
- doc/developer/Makefile 105 additions, 65 deletionsdoc/developer/Makefile
- doc/developer/advance.tex 26 additions, 25 deletionsdoc/developer/advance.tex
- doc/developer/checks/README.md 6 additions, 0 deletionsdoc/developer/checks/README.md
- doc/developer/checks/hello/v1.oracle 1 addition, 0 deletionsdoc/developer/checks/hello/v1.oracle
- doc/developer/checks/hello/v2.oracle 1 addition, 0 deletionsdoc/developer/checks/hello/v2.oracle
- doc/developer/checks/hello/v3.oracle 2 additions, 0 deletionsdoc/developer/checks/hello/v3.oracle
- doc/developer/checks/hello/v4.oracle 1 addition, 0 deletionsdoc/developer/checks/hello/v4.oracle
- doc/developer/checks/hello/v5.oracle 1 addition, 0 deletionsdoc/developer/checks/hello/v5.oracle
- doc/developer/checks/hello/v6.oracle 12 additions, 0 deletionsdoc/developer/checks/hello/v6.oracle
- doc/developer/checks/hello/v7.oracle 1 addition, 0 deletionsdoc/developer/checks/hello/v7.oracle
- doc/developer/examples/acsl_extension_ext_types/Example.ml 3 additions, 0 deletionsdoc/developer/examples/acsl_extension_ext_types/Example.ml
- doc/developer/examples/acsl_extension_ext_types/acsl_extension_ext_types.ml 2 additions, 2 deletions...ples/acsl_extension_ext_types/acsl_extension_ext_types.ml
- doc/developer/examples/acsl_extension_ext_types/acsl_extension_ext_types.png 0 additions, 0 deletions...les/acsl_extension_ext_types/acsl_extension_ext_types.png
- doc/developer/examples/acsl_extension_ext_types/dune 12 additions, 0 deletionsdoc/developer/examples/acsl_extension_ext_types/dune
- doc/developer/examples/acsl_extension_ext_types/dune-project 5 additions, 0 deletionsdoc/developer/examples/acsl_extension_ext_types/dune-project
- doc/developer/examples/acsl_extension_ext_types/tests/example/ext_type_foo.c 10 additions, 0 deletions...les/acsl_extension_ext_types/tests/example/ext_type_foo.c
- doc/developer/examples/acsl_extension_ext_types/tests/example/oracle/ext_type_foo.res.oracle 12 additions, 0 deletions...on_ext_types/tests/example/oracle/ext_type_foo.res.oracle
- doc/developer/examples/acsl_extension_ext_types/tests/ptests_config 1 addition, 0 deletions...per/examples/acsl_extension_ext_types/tests/ptests_config
Loading
Please register or sign in to comment