diff --git a/CHANGELOG.md b/CHANGELOG.md index 785a70b59aa4e3a7a155de40f91d29d40d1ad2a2..6284c0aa5e887559ee7eec533411fa1363dafd25 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -1,3 +1,7 @@ +# Version +dev + +- Compatibility with Clang 19 + # Version 0.0.17 - Compatibility with Frama-C 30 Zinc