Merge branch 'master' into feature/server/plugin
No related branches found
No related tags found
Showing
- Changelog 9 additions, 0 deletionsChangelog
- Makefile 2 additions, 1 deletionMakefile
- Makefile.generating 13 additions, 0 deletionsMakefile.generating
- headers/header_spec.txt 2 additions, 0 deletionsheaders/header_spec.txt
- opam/opam 1 addition, 1 deletionopam/opam
- share/libc/__fc_select.h 1 addition, 5 deletionsshare/libc/__fc_select.h
- share/libc/signal.h 3 additions, 4 deletionsshare/libc/signal.h
- share/libc/stropts.h 1 addition, 1 deletionshare/libc/stropts.h
- share/libc/sys/time.h 6 additions, 6 deletionsshare/libc/sys/time.h
- share/libc/time.h 4 additions, 6 deletionsshare/libc/time.h
- src/kernel_internals/runtime/special_hooks.ml 3 additions, 2 deletionssrc/kernel_internals/runtime/special_hooks.ml
- src/kernel_internals/typing/cabs2cil.ml 1 addition, 1 deletionsrc/kernel_internals/typing/cabs2cil.ml
- src/kernel_services/cmdline_parameters/parameter_builder.ml 85 additions, 0 deletionssrc/kernel_services/cmdline_parameters/parameter_builder.ml
- src/kernel_services/cmdline_parameters/parameter_sig.mli 25 additions, 0 deletionssrc/kernel_services/cmdline_parameters/parameter_sig.mli
- src/kernel_services/plugin_entry_points/dynamic.ml 8 additions, 0 deletionssrc/kernel_services/plugin_entry_points/dynamic.ml
- src/kernel_services/plugin_entry_points/dynamic.mli 3 additions, 0 deletionssrc/kernel_services/plugin_entry_points/dynamic.mli
- src/kernel_services/plugin_entry_points/kernel.ml 10 additions, 2 deletionssrc/kernel_services/plugin_entry_points/kernel.ml
- src/kernel_services/plugin_entry_points/kernel.mli 1 addition, 1 deletionsrc/kernel_services/plugin_entry_points/kernel.mli
- src/kernel_services/plugin_entry_points/plugin.ml 1 addition, 1 deletionsrc/kernel_services/plugin_entry_points/plugin.ml
- src/libraries/project/project.ml 8 additions, 5 deletionssrc/libraries/project/project.ml
Loading
Please register or sign in to comment