Main changes with respect to Frama-C 23 (Vanadium) include:

E-ACSL

  • Fix crash related to several ACSL constructs
  • Fix crash when raising some user errors

WP

  • Fix a crash related to opaque structures memory typing