- MR !4210: fixes convergence issue on dynamic allocation in loops
- MR !4217: adds "garbled-mix" warning category
- MR !4255: fixes bug on goto statement skipping local variable declaration
- MR !4265: prints less message by default
- MR !4280: removes Db.Value

- MR !4164: fixes interpretation of Eva annotations.
- MR !3993: allows comments in .ya automata files and specifications about
  floating-point variables. Also, Eva shows the name of enumeration tags
  instead of their integer values.
- MR !4147: ivette shows the status of uninitialized and escaping variables.
- MR !4151: better display of large integer sets.
- MR !4134: the values table can show the status of ACSL predicates, the values
  of C lvalues in these predicates, and the values of function parameters.
- MR !4098: fixes a soundness bug of the equality domain.
- MR !4065: fixes performances issues on programs with too many callsites.
- MR !4015: fixes the bitwise domain on big-endian architecture.
- MR !4046: better partitioning splits on ACSL predicates.