diff --git a/Changelog b/Changelog index 083940c9d61a4a15d556b0fe2e1da95c4e26339c..aa5d69f43cbddd2caf8cd1c1079f573ae151fdab 100644 --- a/Changelog +++ b/Changelog @@ -8,6 +8,9 @@ Release 1.5, 2009-08-28 - Traces for diverging executions are now uniquely defined; tightened semantic preservation results accordingly. +- Emulated assignments between structures + (during the C to Clight initial translation). + - Fixed spurious compile-time error on Clight statements of the form "x = f(...);" where x is a global variable.