[Hptmap] Simplifies functor use: merges two argument modules into one.
Merges the two argument modules `Initial_values` and `Datatype_deps` into one module `Info` containing two values "initial_values" and "dependencies".
Showing
- src/kernel_services/abstract_interp/base.ml 8 additions, 4 deletionssrc/kernel_services/abstract_interp/base.ml
- src/kernel_services/abstract_interp/lmap.ml 11 additions, 12 deletionssrc/kernel_services/abstract_interp/lmap.ml
- src/kernel_services/abstract_interp/lmap_bitwise.ml 5 additions, 1 deletionsrc/kernel_services/abstract_interp/lmap_bitwise.ml
- src/kernel_services/abstract_interp/locations.ml 17 additions, 18 deletionssrc/kernel_services/abstract_interp/locations.ml
- src/kernel_services/analysis/stmts_graph.ml 4 additions, 2 deletionssrc/kernel_services/analysis/stmts_graph.ml
- src/kernel_services/ast_data/kernel_function.ml 4 additions, 2 deletionssrc/kernel_services/ast_data/kernel_function.ml
- src/kernel_services/ast_queries/cil_datatype.ml 8 additions, 13 deletionssrc/kernel_services/ast_queries/cil_datatype.ml
- src/libraries/utils/hptmap.ml 14 additions, 11 deletionssrc/libraries/utils/hptmap.ml
- src/libraries/utils/hptmap.mli 9 additions, 11 deletionssrc/libraries/utils/hptmap.mli
- src/libraries/utils/hptset.ml 21 additions, 20 deletionssrc/libraries/utils/hptset.ml
- src/libraries/utils/hptset.mli 14 additions, 15 deletionssrc/libraries/utils/hptset.mli
- src/plugins/eva/domains/cvalue/builtins_malloc.ml 8 additions, 6 deletionssrc/plugins/eva/domains/cvalue/builtins_malloc.ml
- src/plugins/eva/domains/equality/equality.ml 5 additions, 5 deletionssrc/plugins/eva/domains/equality/equality.ml
- src/plugins/eva/domains/gauges/gauges_domain.ml 7 additions, 6 deletionssrc/plugins/eva/domains/gauges/gauges_domain.ml
- src/plugins/eva/domains/hcexprs.ml 8 additions, 6 deletionssrc/plugins/eva/domains/hcexprs.ml
- src/plugins/eva/domains/multidim/abstract_structure.ml 6 additions, 3 deletionssrc/plugins/eva/domains/multidim/abstract_structure.ml
- src/plugins/eva/domains/multidim/multidim_domain.ml 7 additions, 6 deletionssrc/plugins/eva/domains/multidim/multidim_domain.ml
- src/plugins/eva/domains/octagons.ml 11 additions, 20 deletionssrc/plugins/eva/domains/octagons.ml
- src/plugins/eva/domains/simple_memory.ml 5 additions, 4 deletionssrc/plugins/eva/domains/simple_memory.ml
- src/plugins/eva/domains/symbolic_locs.ml 6 additions, 2 deletionssrc/plugins/eva/domains/symbolic_locs.ml
Loading
Please register or sign in to comment