From df08dfc3be26b2cf829a1ea31b63f4aaecf1f3bf Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Thu, 27 Nov 2008 13:43:15 -0500 Subject: Note optimizations in changelog --- CHANGELOG | 1 + 1 file changed, 1 insertion(+) (limited to 'CHANGELOG') diff --git a/CHANGELOG b/CHANGELOG index cbd67118..a620eb3c 100644 --- a/CHANGELOG +++ b/CHANGELOG @@ -2,6 +2,7 @@ ======== - Optimization: Fusing page writes with calls to recursive functions +- Optimization of bottleneck compiler phases ======== 20081120 -- cgit v1.2.3