Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
pub
frama-c
Tags
23.1
23.1
protected
5b639faf
·
[opam] Fix opam file version
·
Jul 21, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
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