[region] improved API
Showing
- src/plugins/region/Region.ml 25 additions, 8 deletionssrc/plugins/region/Region.ml
- src/plugins/region/Region.mli 69 additions, 24 deletionssrc/plugins/region/Region.mli
- src/plugins/region/analysis.ml 3 additions, 2 deletionssrc/plugins/region/analysis.ml
- src/plugins/region/memory.ml 13 additions, 27 deletionssrc/plugins/region/memory.ml
- src/plugins/region/memory.mli 2 additions, 2 deletionssrc/plugins/region/memory.mli
- src/plugins/wp/RegionAnalysis.ml 7 additions, 7 deletionssrc/plugins/wp/RegionAnalysis.ml
Loading
Please register or sign in to comment