[Eva] Removes widening from lattice types.
Showing
- src/kernel_services/abstract_interp/abstract_interp.ml 0 additions, 3 deletionssrc/kernel_services/abstract_interp/abstract_interp.ml
- src/kernel_services/abstract_interp/eva_lattice_type.ml 0 additions, 2 deletionssrc/kernel_services/abstract_interp/eva_lattice_type.ml
- src/kernel_services/abstract_interp/int_interval.mli 5 additions, 3 deletionssrc/kernel_services/abstract_interp/int_interval.mli
- src/kernel_services/abstract_interp/int_val.mli 5 additions, 3 deletionssrc/kernel_services/abstract_interp/int_val.mli
- src/kernel_services/abstract_interp/ival.mli 5 additions, 3 deletionssrc/kernel_services/abstract_interp/ival.mli
- src/kernel_services/abstract_interp/lattice_type.ml 1 addition, 14 deletionssrc/kernel_services/abstract_interp/lattice_type.ml
- src/kernel_services/abstract_interp/locations.mli 5 additions, 3 deletionssrc/kernel_services/abstract_interp/locations.mli
- src/kernel_services/abstract_interp/offsetmap_lattice_with_isotropy.ml 4 additions, 1 deletion...rvices/abstract_interp/offsetmap_lattice_with_isotropy.ml
Loading
Please register or sign in to comment