[wp/region] introducing memory model with region
Showing
- headers/header_spec.txt 2 additions, 0 deletionsheaders/header_spec.txt
- src/plugins/wp/Factory.ml 16 additions, 1 deletionsrc/plugins/wp/Factory.ml
- src/plugins/wp/Factory.mli 1 addition, 1 deletionsrc/plugins/wp/Factory.mli
- src/plugins/wp/GuiPanel.ml 3 additions, 1 deletionsrc/plugins/wp/GuiPanel.ml
- src/plugins/wp/Makefile.in 1 addition, 1 deletionsrc/plugins/wp/Makefile.in
- src/plugins/wp/MemRegion.ml 873 additions, 0 deletionssrc/plugins/wp/MemRegion.ml
- src/plugins/wp/MemRegion.mli 27 additions, 0 deletionssrc/plugins/wp/MemRegion.mli
- src/plugins/wp/tests/wp_region/oracle_qualif/array1.res.oracle 3 additions, 2 deletions...lugins/wp/tests/wp_region/oracle_qualif/array1.res.oracle
- src/plugins/wp/tests/wp_region/oracle_qualif/array2.res.oracle 3 additions, 2 deletions...lugins/wp/tests/wp_region/oracle_qualif/array2.res.oracle
- src/plugins/wp/tests/wp_region/oracle_qualif/array3.res.oracle 3 additions, 2 deletions...lugins/wp/tests/wp_region/oracle_qualif/array3.res.oracle
- src/plugins/wp/tests/wp_region/oracle_qualif/array4.res.oracle 3 additions, 2 deletions...lugins/wp/tests/wp_region/oracle_qualif/array4.res.oracle
- src/plugins/wp/tests/wp_region/oracle_qualif/array5.res.oracle 3 additions, 2 deletions...lugins/wp/tests/wp_region/oracle_qualif/array5.res.oracle
- src/plugins/wp/tests/wp_region/oracle_qualif/array6.res.oracle 3 additions, 2 deletions...lugins/wp/tests/wp_region/oracle_qualif/array6.res.oracle
- src/plugins/wp/tests/wp_region/oracle_qualif/array7.res.oracle 3 additions, 2 deletions...lugins/wp/tests/wp_region/oracle_qualif/array7.res.oracle
- src/plugins/wp/tests/wp_region/oracle_qualif/array8.res.oracle 3 additions, 2 deletions...lugins/wp/tests/wp_region/oracle_qualif/array8.res.oracle
- src/plugins/wp/tests/wp_region/oracle_qualif/fb_ADD.res.oracle 3 additions, 2 deletions...lugins/wp/tests/wp_region/oracle_qualif/fb_ADD.res.oracle
- src/plugins/wp/tests/wp_region/oracle_qualif/fb_SORT.res.oracle 3 additions, 2 deletions...ugins/wp/tests/wp_region/oracle_qualif/fb_SORT.res.oracle
- src/plugins/wp/tests/wp_region/oracle_qualif/garbled.res.oracle 3 additions, 2 deletions...ugins/wp/tests/wp_region/oracle_qualif/garbled.res.oracle
- src/plugins/wp/tests/wp_region/oracle_qualif/index.res.oracle 3 additions, 2 deletions...plugins/wp/tests/wp_region/oracle_qualif/index.res.oracle
- src/plugins/wp/tests/wp_region/oracle_qualif/matrix.res.oracle 3 additions, 2 deletions...lugins/wp/tests/wp_region/oracle_qualif/matrix.res.oracle
Loading
Please register or sign in to comment