Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
pub
frama-c
Merge requests
!6
Closed
Created
Jan 26, 2022
by
Vincent Laviron
@lthls
Options
Report abuse
Report abuse
Unmarshal: Hide type-breaking code behind Sys.opaque_identity
Overview
3
Commits
1
Changes
1
See description in
#2594 (closed)
.