Merge branch 'feature/virgile/gtk3' into 'master'
run Frama-C against GTK3 Closes #581 See merge request frama-c/frama-c!2083
Showing
- .gitignore 7 additions, 0 deletions.gitignore
- Makefile 56 additions, 0 deletionsMakefile
- configure.in 35 additions, 10 deletionsconfigure.in
- headers/header_spec.txt 9 additions, 0 deletionsheaders/header_spec.txt
- share/Makefile.config.in 8 additions, 2 deletionsshare/Makefile.config.in
- src/plugins/gui/GSourceView2.ml.in 37 additions, 0 deletionssrc/plugins/gui/GSourceView2.ml.in
- src/plugins/gui/GSourceView2.mli.in 34 additions, 0 deletionssrc/plugins/gui/GSourceView2.mli.in
- src/plugins/gui/GSourceView3.ml.in 38 additions, 0 deletionssrc/plugins/gui/GSourceView3.ml.in
- src/plugins/gui/GSourceView3.mli.in 34 additions, 0 deletionssrc/plugins/gui/GSourceView3.mli.in
- src/plugins/gui/book_manager.ml 2 additions, 2 deletionssrc/plugins/gui/book_manager.ml
- src/plugins/gui/book_manager.mli 5 additions, 5 deletionssrc/plugins/gui/book_manager.mli
- src/plugins/gui/debug_manager.ml 1 addition, 3 deletionssrc/plugins/gui/debug_manager.ml
- src/plugins/gui/design.ml 104 additions, 31 deletionssrc/plugins/gui/design.ml
- src/plugins/gui/design.mli 5 additions, 5 deletionssrc/plugins/gui/design.mli
- src/plugins/gui/dgraph.ml.in 38 additions, 0 deletionssrc/plugins/gui/dgraph.ml.in
- src/plugins/gui/dgraph.mli.in 42 additions, 0 deletionssrc/plugins/gui/dgraph.mli.in
- src/plugins/gui/filetree.ml 1 addition, 1 deletionsrc/plugins/gui/filetree.ml
- src/plugins/gui/gtk_compat.2.ml 24 additions, 0 deletionssrc/plugins/gui/gtk_compat.2.ml
- src/plugins/gui/gtk_compat.3.ml 23 additions, 0 deletionssrc/plugins/gui/gtk_compat.3.ml
- src/plugins/gui/gtk_compat.mli 23 additions, 0 deletionssrc/plugins/gui/gtk_compat.mli
Loading
Please register or sign in to comment