From e89538bf48f86f088e2ad0ad37ca34cc29cb6024 Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@inria.fr>
Date: Mon, 12 Jun 2017 09:18:53 +0200
Subject: Update Changelog for clightgen

---
 Changelog | 1 +
 1 file changed, 1 insertion(+)

(limited to 'Changelog')

diff --git a/Changelog b/Changelog
index 88b7c73d..ecf50f7d 100644
--- a/Changelog
+++ b/Changelog
@@ -4,6 +4,7 @@
 - Add options -finline / -fno-inline to control function inlining.
 - Avoid generating useless conditional branches for empty if/else statements.
 - Removed the compilation of '.cm' files written in Cminor concrete syntax.
+- clightgen: add option "-normalize" to avoid memory loads deep inside expressions
 
 Bug fixing:
 - Issue #179: clightgen produces wrong output for "switch" statements.
-- 
cgit