[library] Promote MdR markdown module as the main Frama-C markdown lib
Showing
- src/libraries/utils/markdown.ml 61 additions, 7 deletionssrc/libraries/utils/markdown.ml
- src/libraries/utils/markdown.mli 47 additions, 7 deletionssrc/libraries/utils/markdown.mli
- src/plugins/markdown-report/Makefile 1 addition, 1 deletionsrc/plugins/markdown-report/Makefile
- src/plugins/markdown-report/Report_markdown.mli 0 additions, 100 deletionssrc/plugins/markdown-report/Report_markdown.mli
- src/plugins/markdown-report/md_gen.ml 5 additions, 11 deletionssrc/plugins/markdown-report/md_gen.ml
- src/plugins/markdown-report/sarif.ml 5 additions, 5 deletionssrc/plugins/markdown-report/sarif.ml
- src/plugins/markdown-report/sarif_gen.ml 1 addition, 1 deletionsrc/plugins/markdown-report/sarif_gen.ml
- src/plugins/server/data.ml 15 additions, 11 deletionssrc/plugins/server/data.ml
- src/plugins/server/doc.ml 49 additions, 34 deletionssrc/plugins/server/doc.ml
- src/plugins/server/doc.mli 3 additions, 3 deletionssrc/plugins/server/doc.mli
- src/plugins/server/kernel_ast.ml 5 additions, 5 deletionssrc/plugins/server/kernel_ast.ml
- src/plugins/server/kernel_main.ml 18 additions, 17 deletionssrc/plugins/server/kernel_main.ml
- src/plugins/server/kernel_project.ml 8 additions, 8 deletionssrc/plugins/server/kernel_project.ml
- src/plugins/server/request.ml 19 additions, 20 deletionssrc/plugins/server/request.ml
- src/plugins/server/syntax.ml 49 additions, 45 deletionssrc/plugins/server/syntax.ml
- src/plugins/server/syntax.mli 2 additions, 2 deletionssrc/plugins/server/syntax.mli
Loading
Please register or sign in to comment