Skip to content

GitLab

23.1 protected
5b639faf · [opam] Fix opam file version ·

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