Merge branch 'feature/blanchard/doc/json-documentation' into 'master'
Generate doc Json See merge request frama-c/frama-c!4357
Showing
- .git-blame-ignore-revs 1 addition, 0 deletions.git-blame-ignore-revs
- .gitlab-ci.yml 22 additions, 1 deletion.gitlab-ci.yml
- doc/code/intro_kernel_plugin.txt 0 additions, 36 deletionsdoc/code/intro_kernel_plugin.txt
- doc/code/intro_occurrence.txt 0 additions, 36 deletionsdoc/code/intro_occurrence.txt
- doc/code/intro_pdg.txt 0 additions, 116 deletionsdoc/code/intro_pdg.txt
- doc/code/intro_plugin.txt 0 additions, 40 deletionsdoc/code/intro_plugin.txt
- doc/code/intro_plugin_D_and_S.txt 0 additions, 41 deletionsdoc/code/intro_plugin_D_and_S.txt
- doc/code/intro_plugin_default.txt 0 additions, 38 deletionsdoc/code/intro_plugin_default.txt
- doc/code/intro_scope.txt 0 additions, 37 deletionsdoc/code/intro_scope.txt
- doc/code/intro_slicing.txt 0 additions, 106 deletionsdoc/code/intro_slicing.txt
- doc/code/intro_sparecode.txt 0 additions, 47 deletionsdoc/code/intro_sparecode.txt
- doc/index.html 0 additions, 150 deletionsdoc/index.html
- doc/pdg/conclusion.tex 1 addition, 7 deletionsdoc/pdg/conclusion.tex
- doc/scope/scope.tex 42 additions, 45 deletionsdoc/scope/scope.tex
- nix/api-doc.nix 1 addition, 1 deletionnix/api-doc.nix
- nix/api-json-doc.nix 32 additions, 0 deletionsnix/api-json-doc.nix
- nix/frama-c-public/publish-api.sh 94 additions, 0 deletionsnix/frama-c-public/publish-api.sh
- nix/pkgs.nix 1 addition, 0 deletionsnix/pkgs.nix
- src/init/boot/boot.ml 1 addition, 1 deletionsrc/init/boot/boot.ml
- src/init/boot/boot.mli 1 addition, 1 deletionsrc/init/boot/boot.mli
Loading
Please register or sign in to comment