diff --git a/Changelog b/Changelog index dfb56251ef2822e2460ca40351b7437a3518a7f9..ba7e953d907f10c5e377e1acc0b01131fbb34286 100644 --- a/Changelog +++ b/Changelog @@ -17,6 +17,9 @@ Open Source Release <next-release> ################################## +- Instantiate [2020/03/02] New plug-in Instantiate, to create function + specializations for specific plug-ins and functions, to overcome + limitations due to their specifications. - Kernel [2020/02/25] support for ghost else blocks - Kernel [2020/02/18] checks that ghost code does not modify the normal control flow of the non-ghost program