Merge branch 'feature/server/plugin' into 'master'
Server Plugin See merge request frama-c/frama-c!1838
No related branches found
No related tags found
Showing
- .Makefile.lint 0 additions, 11 deletions.Makefile.lint
- .gitignore 3 additions, 0 deletions.gitignore
- Makefile 24 additions, 0 deletionsMakefile
- doc/code/.gitignore 1 addition, 0 deletionsdoc/code/.gitignore
- doc/pandoc/href.lua 4 additions, 0 deletionsdoc/pandoc/href.lua
- doc/pandoc/style.css 224 additions, 0 deletionsdoc/pandoc/style.css
- doc/pandoc/template.html 47 additions, 0 deletionsdoc/pandoc/template.html
- headers/header_spec.txt 28 additions, 0 deletionsheaders/header_spec.txt
- src/libraries/utils/markdown.ml 333 additions, 0 deletionssrc/libraries/utils/markdown.ml
- src/libraries/utils/markdown.mli 183 additions, 0 deletionssrc/libraries/utils/markdown.mli
- src/plugins/server/.gitignore 4 additions, 0 deletionssrc/plugins/server/.gitignore
- src/plugins/server/Makefile.in 117 additions, 0 deletionssrc/plugins/server/Makefile.in
- src/plugins/server/configure.ac 84 additions, 0 deletionssrc/plugins/server/configure.ac
- src/plugins/server/data.ml 533 additions, 0 deletionssrc/plugins/server/data.ml
- src/plugins/server/data.mli 190 additions, 0 deletionssrc/plugins/server/data.mli
- src/plugins/server/doc.ml 204 additions, 0 deletionssrc/plugins/server/doc.ml
- src/plugins/server/doc.mli 68 additions, 0 deletionssrc/plugins/server/doc.mli
- src/plugins/server/jbuffer.ml 137 additions, 0 deletionssrc/plugins/server/jbuffer.ml
- src/plugins/server/jbuffer.mli 60 additions, 0 deletionssrc/plugins/server/jbuffer.mli
- src/plugins/server/kernel_ast.ml 164 additions, 0 deletionssrc/plugins/server/kernel_ast.ml
Loading
Please register or sign in to comment