diff --git a/Changelog b/Changelog index 0b971f5a364c39629004304466e48406f44656ea..07e7c482018a3e91ba9ab4aee09a1eecd4f9c4b7 100644 --- a/Changelog +++ b/Changelog @@ -17,6 +17,8 @@ Open Source Release <next-release> ################################## +- Eva [2020/03/03] Slightly better heuristics for the subdivision of + evaluations (option -eva-subdivide-non-linear). - Instantiate [2020/03/02] New plug-in Instantiate, to create function specializations for specific plug-ins and functions (e.g. malloc, memcpy, memset), to overcome limitations due to their