"git@git.frama-c.com:pub/frama-c.git" did not exist on "892dff902fe0e39e02976c6957c1e6c4827f9411"
[alias] overhaul API
It makes no sense to reproduce all of the fold functions for sets of variables and lvals, otherwise we should do the same for iter functions and the like. An API user should rather use the pre-existing functions from LSet and VarSet. Therefore let's mark most of these functions as deprecated. Fixes #2692
Showing
- src/plugins/alias/src/API.ml 63 additions, 57 deletionssrc/plugins/alias/src/API.ml
- src/plugins/alias/src/API.mli 132 additions, 37 deletionssrc/plugins/alias/src/API.mli
- src/plugins/alias/src/abstract_state.ml 46 additions, 20 deletionssrc/plugins/alias/src/abstract_state.ml
- src/plugins/alias/src/abstract_state.mli 30 additions, 40 deletionssrc/plugins/alias/src/abstract_state.mli
- src/plugins/alias/src/analysis.ml 1 addition, 1 deletionsrc/plugins/alias/src/analysis.ml
- src/plugins/alias/src/analysis.mli 1 addition, 1 deletionsrc/plugins/alias/src/analysis.mli
Loading
Please register or sign in to comment