From 393d5440e2c0d0a774090383e8274d75a155e419 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.oliveiramaroneze@cea.fr>
Date: Mon, 2 Mar 2020 18:02:57 +0100
Subject: [PATCH] [Changelog] add examples of functions handled by Instantiate
---
Changelog | 5 +++--
1 file changed, 3 insertions(+), 2 deletions(-)
diff --git a/Changelog b/Changelog
index ba7e953d907..0b971f5a364 100644
--- a/Changelog
+++ b/Changelog
@@ -18,8 +18,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.
+ specializations for specific plug-ins and functions (e.g. malloc,
+ memcpy, memset), 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
--
GitLab