diff --git a/Changelog b/Changelog index e619fceeedb77c384c4a7f965b2de3e7359104ff..3ba4625293da9cd670e501cda64062693141349a 100644 --- a/Changelog +++ b/Changelog @@ -18,6 +18,11 @@ Open Source Release <next-release> ############################################################################### +- Kernel [2023-07-17] New frama-c-script wrapper for make_machdep.py +-* Ivette [2023-07-06] Fixes crash with multiple instances +-* GUI [2023-07-05] Fixes freeze when a plugin aborts during splash screen +-* GUI [2023-07-05] Fixes crash related to tags and undefined types + ############################################################################### Open Source Release 27.0 (Cobalt) ###############################################################################