[wp/region] use mem-loader and mem-memory into mem-typed
Showing
- src/plugins/wp/Definitions.ml 2 additions, 0 deletionssrc/plugins/wp/Definitions.ml
- src/plugins/wp/Definitions.mli 1 addition, 0 deletionssrc/plugins/wp/Definitions.mli
- src/plugins/wp/Lang.mli 3 additions, 0 deletionssrc/plugins/wp/Lang.mli
- src/plugins/wp/LogicAssigns.ml 4 additions, 2 deletionssrc/plugins/wp/LogicAssigns.ml
- src/plugins/wp/MemMemory.ml 2 additions, 2 deletionssrc/plugins/wp/MemMemory.ml
- src/plugins/wp/MemTyped.ml 163 additions, 716 deletionssrc/plugins/wp/MemTyped.ml
- src/plugins/wp/MemTyped.mli 0 additions, 8 deletionssrc/plugins/wp/MemTyped.mli
- src/plugins/wp/MemVar.ml 7 additions, 8 deletionssrc/plugins/wp/MemVar.ml
- src/plugins/wp/Sigs.ml 1 addition, 1 deletionsrc/plugins/wp/Sigs.ml
- src/plugins/wp/TacHavoc.ml 21 additions, 21 deletionssrc/plugins/wp/TacHavoc.ml
- src/plugins/wp/tests/wp_bts/oracle/bts_2110.res.oracle 9 additions, 9 deletionssrc/plugins/wp/tests/wp_bts/oracle/bts_2110.res.oracle
- src/plugins/wp/tests/wp_gallery/oracle_qualif/frama_c_hashtbl_solved.res.oracle 2 additions, 2 deletions...p_gallery/oracle_qualif/frama_c_hashtbl_solved.res.oracle
- src/plugins/wp/tests/wp_plugin/oracle/inductive.res.oracle 1 addition, 1 deletionsrc/plugins/wp/tests/wp_plugin/oracle/inductive.res.oracle
- src/plugins/wp/why3_api.ml 2 additions, 1 deletionsrc/plugins/wp/why3_api.ml
Loading
Please register or sign in to comment