[Instantiate] Adds the called function to typing function
Showing
- src/plugins/instantiate/Instantiate.mli 8 additions, 7 deletionssrc/plugins/instantiate/Instantiate.mli
- src/plugins/instantiate/instantiator_builder.ml 4 additions, 4 deletionssrc/plugins/instantiate/instantiator_builder.ml
- src/plugins/instantiate/instantiator_builder.mli 10 additions, 9 deletionssrc/plugins/instantiate/instantiator_builder.mli
- src/plugins/instantiate/stdlib/calloc.ml 5 additions, 5 deletionssrc/plugins/instantiate/stdlib/calloc.ml
- src/plugins/instantiate/stdlib/free.ml 4 additions, 4 deletionssrc/plugins/instantiate/stdlib/free.ml
- src/plugins/instantiate/stdlib/malloc.ml 5 additions, 5 deletionssrc/plugins/instantiate/stdlib/malloc.ml
- src/plugins/instantiate/string/mem_utils.ml 6 additions, 3 deletionssrc/plugins/instantiate/string/mem_utils.ml
- src/plugins/instantiate/string/mem_utils.mli 3 additions, 3 deletionssrc/plugins/instantiate/string/mem_utils.mli
- src/plugins/instantiate/string/memset.ml 4 additions, 4 deletionssrc/plugins/instantiate/string/memset.ml
- src/plugins/instantiate/tests/api/external_instantiator_registration.ml 2 additions, 2 deletions...stantiate/tests/api/external_instantiator_registration.ml
- src/plugins/instantiate/transform.ml 2 additions, 2 deletionssrc/plugins/instantiate/transform.ml
Loading
Please register or sign in to comment