diff --git a/Changelog b/Changelog index bad19ae33373814899a64110da3d758235cedaa3..032638655591d1acf520615275efbd6427fa30fb 100644 --- a/Changelog +++ b/Changelog @@ -18,6 +18,7 @@ Open Source Release <next-release> ############################################################################### +o! Kernel [2024-10-08] introduce logic type Lboolean and constants - Kernel [2024-10-08] Asm contracts can now have \initialized ensures. See option -asm-contracts-ensure-init - Kernel [2024-10-08] Option for converting stmt contracts into