Merge branch 'ivette/sidebar/title' into 'master'
Added title to sidebars See merge request frama-c/frama-c!4896
Showing
- ivette/src/dome/renderer/frame/sidebars.tsx 28 additions, 1 deletionivette/src/dome/renderer/frame/sidebars.tsx
- ivette/src/dome/renderer/frame/style.css 12 additions, 6 deletionsivette/src/dome/renderer/frame/style.css
- ivette/src/frama-c/kernel/Globals.tsx 40 additions, 39 deletionsivette/src/frama-c/kernel/Globals.tsx
- ivette/src/frama-c/plugins/eva/components/Tools.tsx 3 additions, 2 deletionsivette/src/frama-c/plugins/eva/components/Tools.tsx
- ivette/src/frama-c/plugins/eva/style.css 0 additions, 6 deletionsivette/src/frama-c/plugins/eva/style.css
- ivette/src/ivette/laboratory.tsx 3 additions, 3 deletionsivette/src/ivette/laboratory.tsx
- src/kernel_services/plugin_entry_points/log.ml 16 additions, 20 deletionssrc/kernel_services/plugin_entry_points/log.ml
- src/plugins/wp/tests/wp/oracle/main_called.res.oracle 3 additions, 1 deletionsrc/plugins/wp/tests/wp/oracle/main_called.res.oracle
- src/plugins/wp/tests/wp/oracle/wp_call_pre.0.res.oracle 3 additions, 1 deletionsrc/plugins/wp/tests/wp/oracle/wp_call_pre.0.res.oracle
- src/plugins/wp/tests/wp/oracle/wp_call_pre.1.res.oracle 3 additions, 1 deletionsrc/plugins/wp/tests/wp/oracle/wp_call_pre.1.res.oracle
- src/plugins/wp/tests/wp/oracle/wp_call_pre.2.res.oracle 3 additions, 1 deletionsrc/plugins/wp/tests/wp/oracle/wp_call_pre.2.res.oracle
- src/plugins/wp/tests/wp_plugin/oracle/import_unexisting.res.oracle 2 additions, 1 deletion...ns/wp/tests/wp_plugin/oracle/import_unexisting.res.oracle
- tests/cil/oracle/ghost_cfg.0.res.oracle 3 additions, 1 deletiontests/cil/oracle/ghost_cfg.0.res.oracle
- tests/cil/oracle/ghost_cfg.1.res.oracle 2 additions, 1 deletiontests/cil/oracle/ghost_cfg.1.res.oracle
- tests/misc/oracle/debug_category.14.res.oracle 3 additions, 1 deletiontests/misc/oracle/debug_category.14.res.oracle
- tests/misc/oracle/debug_category.15.res.oracle 2 additions, 1 deletiontests/misc/oracle/debug_category.15.res.oracle
- tests/misc/oracle/debug_category.16.res.oracle 2 additions, 1 deletiontests/misc/oracle/debug_category.16.res.oracle
- tests/misc/oracle/debug_category.17.res.oracle 2 additions, 1 deletiontests/misc/oracle/debug_category.17.res.oracle
- tests/misc/oracle/debug_category.8.res.oracle 2 additions, 1 deletiontests/misc/oracle/debug_category.8.res.oracle
- tests/spec/oracle/Extend_errors.3.res.oracle 2 additions, 1 deletiontests/spec/oracle/Extend_errors.3.res.oracle
Loading
Please register or sign in to comment