Merge branch 'feature/potassium-19.1' into 'stable/potassium'
Feature/potassium 19.1 See merge request frama-c/frama-c!2362
No related branches found
No related tags found
Showing
- .Makefile.lint 0 additions, 3 deletions.Makefile.lint
- .gitignore 2 additions, 0 deletions.gitignore
- ALL_VERSIONS 1 addition, 0 deletionsALL_VERSIONS
- Makefile 32 additions, 24 deletionsMakefile
- VERSION 1 addition, 1 deletionVERSION
- headers/header_spec.txt 3 additions, 2 deletionsheaders/header_spec.txt
- opam/opam 2 additions, 2 deletionsopam/opam
- share/Makefile.config.in 2 additions, 1 deletionshare/Makefile.config.in
- src/libraries/datatype/unmarshal.ml 13 additions, 1 deletionsrc/libraries/datatype/unmarshal.ml
- src/plugins/callgraph/cg_viewer.ml 29 additions, 29 deletionssrc/plugins/callgraph/cg_viewer.ml
- src/plugins/gui/dgraph_helper.mli 14 additions, 15 deletionssrc/plugins/gui/dgraph_helper.mli
- src/plugins/gui/dgraph_helper.no.ml 16 additions, 18 deletionssrc/plugins/gui/dgraph_helper.no.ml
- src/plugins/gui/dgraph_helper.yes.ml 58 additions, 0 deletionssrc/plugins/gui/dgraph_helper.yes.ml
- src/plugins/gui/gtk_helper.ml 0 additions, 38 deletionssrc/plugins/gui/gtk_helper.ml
- src/plugins/gui/gtk_helper.mli 0 additions, 16 deletionssrc/plugins/gui/gtk_helper.mli
- src/plugins/gui/property_navigator.ml 2 additions, 1 deletionsrc/plugins/gui/property_navigator.ml
- src/plugins/impact/reason_graph.ml 36 additions, 35 deletionssrc/plugins/impact/reason_graph.ml
- src/plugins/impact/register_gui.ml 125 additions, 133 deletionssrc/plugins/impact/register_gui.ml
Loading
Please register or sign in to comment