[Builtin] Slightly changes Generator_sig API
Showing
- src/plugins/builtin/builtin_builder.ml 3 additions, 2 deletionssrc/plugins/builtin/builtin_builder.ml
- src/plugins/builtin/builtin_builder.mli 86 additions, 1 deletionsrc/plugins/builtin/builtin_builder.mli
- src/plugins/builtin/stdlib/calloc.ml 1 addition, 2 deletionssrc/plugins/builtin/stdlib/calloc.ml
- src/plugins/builtin/stdlib/free.ml 1 addition, 2 deletionssrc/plugins/builtin/stdlib/free.ml
- src/plugins/builtin/stdlib/malloc.ml 1 addition, 2 deletionssrc/plugins/builtin/stdlib/malloc.ml
- src/plugins/builtin/string/memcmp.ml 2 additions, 3 deletionssrc/plugins/builtin/string/memcmp.ml
- src/plugins/builtin/string/memcpy.ml 2 additions, 3 deletionssrc/plugins/builtin/string/memcpy.ml
- src/plugins/builtin/string/memmove.ml 2 additions, 3 deletionssrc/plugins/builtin/string/memmove.ml
- src/plugins/builtin/string/memset.ml 3 additions, 3 deletionssrc/plugins/builtin/string/memset.ml
Loading
Please register or sign in to comment