-
- Downloads
[Eva] Fval: uses sets of float as widen_hint instead of logic_real.
Removes module Fc_float.Widen_hint, and uses Datatype.Float.Set instead.
Showing
- src/kernel_services/abstract_interp/fc_float.ml 10 additions, 69 deletionssrc/kernel_services/abstract_interp/fc_float.ml
- src/kernel_services/abstract_interp/float_interval.ml 5 additions, 3 deletionssrc/kernel_services/abstract_interp/float_interval.ml
- src/kernel_services/abstract_interp/float_interval.mli 0 additions, 1 deletionsrc/kernel_services/abstract_interp/float_interval.mli
- src/kernel_services/abstract_interp/float_interval_sig.ml 4 additions, 4 deletionssrc/kernel_services/abstract_interp/float_interval_sig.ml
- src/kernel_services/abstract_interp/float_sig.ml 4 additions, 12 deletionssrc/kernel_services/abstract_interp/float_sig.ml
- src/kernel_services/abstract_interp/fval.mli 0 additions, 1 deletionsrc/kernel_services/abstract_interp/fval.mli
- src/kernel_services/abstract_interp/ival.ml 3 additions, 5 deletionssrc/kernel_services/abstract_interp/ival.ml
- src/kernel_services/abstract_interp/ival.mli 1 addition, 1 deletionsrc/kernel_services/abstract_interp/ival.mli
- src/kernel_services/abstract_interp/locations.ml 1 addition, 1 deletionsrc/kernel_services/abstract_interp/locations.ml
- src/kernel_services/abstract_interp/widen_type.ml 25 additions, 21 deletionssrc/kernel_services/abstract_interp/widen_type.ml
- src/kernel_services/abstract_interp/widen_type.mli 1 addition, 1 deletionsrc/kernel_services/abstract_interp/widen_type.mli
- src/plugins/eva/utils/widen.ml 21 additions, 28 deletionssrc/plugins/eva/utils/widen.ml
Loading
Please register or sign in to comment