[Instantiate] Introduces globals variables table
Showing
- src/plugins/instantiate/Instantiate.mli 11 additions, 0 deletionssrc/plugins/instantiate/Instantiate.mli
- src/plugins/instantiate/Makefile.in 3 additions, 1 deletionsrc/plugins/instantiate/Makefile.in
- src/plugins/instantiate/global_vars.ml 40 additions, 0 deletionssrc/plugins/instantiate/global_vars.ml
- src/plugins/instantiate/global_vars.mli 42 additions, 0 deletionssrc/plugins/instantiate/global_vars.mli
- src/plugins/instantiate/stdlib/basic_alloc.ml 2 additions, 2 deletionssrc/plugins/instantiate/stdlib/basic_alloc.ml
- src/plugins/instantiate/tests/plugin/needs_global.i 14 additions, 0 deletionssrc/plugins/instantiate/tests/plugin/needs_global.i
- src/plugins/instantiate/tests/plugin/needs_globals.ml 75 additions, 0 deletionssrc/plugins/instantiate/tests/plugin/needs_globals.ml
- src/plugins/instantiate/tests/plugin/oracle/needs_global.res.oracle 34 additions, 0 deletions...s/instantiate/tests/plugin/oracle/needs_global.res.oracle
- src/plugins/instantiate/transform.ml 2 additions, 0 deletionssrc/plugins/instantiate/transform.ml
Loading
Please register or sign in to comment