-
- Downloads
Merge branch 'feature/martin/kernel/add-optional-description-to-keys' into 'master'
[kernel] Add optional description to keys See merge request frama-c/frama-c!4780
No related branches found
No related tags found
Showing
- doc/developer/advance.tex 19 additions, 18 deletionsdoc/developer/advance.tex
- src/kernel_services/plugin_entry_points/kernel.ml 10 additions, 5 deletionssrc/kernel_services/plugin_entry_points/kernel.ml
- src/kernel_services/plugin_entry_points/log.ml 54 additions, 19 deletionssrc/kernel_services/plugin_entry_points/log.ml
- src/kernel_services/plugin_entry_points/log.mli 11 additions, 11 deletionssrc/kernel_services/plugin_entry_points/log.mli
- src/kernel_services/plugin_entry_points/plugin.ml 0 additions, 14 deletionssrc/kernel_services/plugin_entry_points/plugin.ml
- src/kernel_services/plugin_entry_points/plugin.mli 0 additions, 8 deletionssrc/kernel_services/plugin_entry_points/plugin.mli
- tests/misc/Debug_category.ml 8 additions, 8 deletionstests/misc/Debug_category.ml
- tests/misc/debug_category.i 2 additions, 1 deletiontests/misc/debug_category.i
- tests/misc/oracle/debug_category.0.res.oracle 6 additions, 6 deletionstests/misc/oracle/debug_category.0.res.oracle
- tests/misc/oracle/debug_category.1.res.oracle 6 additions, 11 deletionstests/misc/oracle/debug_category.1.res.oracle
- tests/misc/oracle/debug_category.10.res.oracle 2 additions, 2 deletionstests/misc/oracle/debug_category.10.res.oracle
- tests/misc/oracle/debug_category.11.res.oracle 2 additions, 3 deletionstests/misc/oracle/debug_category.11.res.oracle
- tests/misc/oracle/debug_category.12.res.oracle 2 additions, 2 deletionstests/misc/oracle/debug_category.12.res.oracle
- tests/misc/oracle/debug_category.13.res.oracle 2 additions, 4 deletionstests/misc/oracle/debug_category.13.res.oracle
- tests/misc/oracle/debug_category.14.res.oracle 4 additions, 4 deletionstests/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, 11 deletionstests/misc/oracle/debug_category.16.res.oracle
- tests/misc/oracle/debug_category.17.res.oracle 15 additions, 0 deletionstests/misc/oracle/debug_category.17.res.oracle
- tests/misc/oracle/debug_category.2.res.oracle 6 additions, 0 deletionstests/misc/oracle/debug_category.2.res.oracle
- tests/misc/oracle/debug_category.3.res.oracle 0 additions, 3 deletionstests/misc/oracle/debug_category.3.res.oracle
Loading
Please register or sign in to comment