[Eva] Changes the signature of the widening in most cvalue modules.
- In int_interval, int_val, ival, locations and cvalue: [widen] now takes optional named arguments [size] and [hint]. - Updates Offsetmap functor accordingly. - Removes types [numerical_widen_hint] and [size_widen_hint]: modules only declare one [widen_hint] type. - Removes module Ival.Widen_hints, and uses Integer.Set directly instead.
Showing
- src/kernel_services/abstract_interp/cvalue.ml 2 additions, 4 deletionssrc/kernel_services/abstract_interp/cvalue.ml
- src/kernel_services/abstract_interp/cvalue.mli 3 additions, 9 deletionssrc/kernel_services/abstract_interp/cvalue.mli
- src/kernel_services/abstract_interp/int_interval.ml 12 additions, 14 deletionssrc/kernel_services/abstract_interp/int_interval.ml
- src/kernel_services/abstract_interp/int_interval.mli 6 additions, 2 deletionssrc/kernel_services/abstract_interp/int_interval.mli
- src/kernel_services/abstract_interp/int_val.ml 3 additions, 6 deletionssrc/kernel_services/abstract_interp/int_val.ml
- src/kernel_services/abstract_interp/int_val.mli 6 additions, 6 deletionssrc/kernel_services/abstract_interp/int_val.mli
- src/kernel_services/abstract_interp/ival.ml 13 additions, 14 deletionssrc/kernel_services/abstract_interp/ival.ml
- src/kernel_services/abstract_interp/ival.mli 6 additions, 6 deletionssrc/kernel_services/abstract_interp/ival.mli
- src/kernel_services/abstract_interp/lmap.ml 3 additions, 3 deletionssrc/kernel_services/abstract_interp/lmap.ml
- src/kernel_services/abstract_interp/lmap.mli 2 additions, 2 deletionssrc/kernel_services/abstract_interp/lmap.mli
- src/kernel_services/abstract_interp/locations.ml 6 additions, 7 deletionssrc/kernel_services/abstract_interp/locations.ml
- src/kernel_services/abstract_interp/locations.mli 2 additions, 6 deletionssrc/kernel_services/abstract_interp/locations.mli
- src/kernel_services/abstract_interp/offsetmap.ml 5 additions, 7 deletionssrc/kernel_services/abstract_interp/offsetmap.ml
- src/kernel_services/abstract_interp/offsetmap.mli 1 addition, 1 deletionsrc/kernel_services/abstract_interp/offsetmap.mli
- src/kernel_services/abstract_interp/offsetmap_lattice_with_isotropy.ml 6 additions, 5 deletions...rvices/abstract_interp/offsetmap_lattice_with_isotropy.ml
- src/kernel_services/abstract_interp/widen_type.mli 2 additions, 2 deletionssrc/kernel_services/abstract_interp/widen_type.mli
- src/plugins/eva/domains/gauges/gauges_domain.ml 1 addition, 3 deletionssrc/plugins/eva/domains/gauges/gauges_domain.ml
- src/plugins/eva/domains/multidim/multidim_domain.ml 2 additions, 2 deletionssrc/plugins/eva/domains/multidim/multidim_domain.ml
- src/plugins/eva/domains/octagons.ml 1 addition, 6 deletionssrc/plugins/eva/domains/octagons.ml
- src/plugins/eva/domains/symbolic_locs.ml 1 addition, 2 deletionssrc/plugins/eva/domains/symbolic_locs.ml
Loading
Please register or sign in to comment