diff --git a/Changelog b/Changelog index 029c73096f180fac6b3bd36cf34108a8daf5d155..c887eff7e54b20dea1dadbf1c1f836cac5a0a5a5 100644 --- a/Changelog +++ b/Changelog @@ -16,7 +16,10 @@ ################################## Open Source Release <next-release> ################################## - +- Eva [2018/09/13] Remove option -val-warn-left-shift-negative. +- Kernel [2018/09/13] New options -warn-left-shift-negative (enabled by + default) and -warn-right-shift-negative (disabled by default), + to control the emission of alarms on shifts on negative integers. o! Constant Propagation [2018/09/12] Removing Db API for Constant Propagation plug-in. Calls to !Db.Constant_Propagation should be replaced by calls to Constant_Propagation.Api.