From f2fe37ccc79649dbb622b1bf2d0d144f2e0a5768 Mon Sep 17 00:00:00 2001 From: Xavier Leroy Date: Fri, 28 Apr 2017 16:12:51 +0200 Subject: Update Changelog with recent changes --- Changelog | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) (limited to 'Changelog') diff --git a/Changelog b/Changelog index d5558d61..88b7c73d 100644 --- a/Changelog +++ b/Changelog @@ -1,9 +1,15 @@ - New port targeting the RISC-V architecture, in 32- and 64-bit modes. - +- Always generate .merlin and _CoqProject files. +- PowerPC back-end: leaf functions optimization. +- 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. Bug fixing: - Issue #179: clightgen produces wrong output for "switch" statements. +- Do not generate code for functions with "inline" specifier that are + neither static nor extern, as per ISO C99. +- Some line number information was missing for some goto labels and switch cases. Release 3.0.1, 2017-02-14 -- cgit