# Conflicts:
#	ivette/package.json

E2E and Monkey Tests Framework

See merge request frama-c/frama-c!4274

Update acknowledgement for Roma Maliach-Auguste

See merge request frama-c/frama-c!4392

Remove compute dir coverage script and use --tree for bisect html report instead

See merge request frama-c/frama-c!4391

[e-acsl] fix userman's foreword

See merge request frama-c/frama-c!4385

[ci] reorganizes schedules and release pipelines

See merge request frama-c/frama-c!4390

[Eva] Changes the signature of the widening in most cvalue modules

See merge request frama-c/frama-c!4384

[dev] make-distrib options

See merge request frama-c/frama-c!4373

Removes module Fc_float.Widen_hint, and uses Datatype.Float.Set instead.

- 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.