From 932d40637eaa84e6d335a0a997eacc35379e2bec Mon Sep 17 00:00:00 2001 From: Xavier Leroy Date: Fri, 14 Sep 2018 13:56:05 +0200 Subject: Update change log for 3.4, continued --- Changelog | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) (limited to 'Changelog') diff --git a/Changelog b/Changelog index 04f6558f..631fa1b0 100644 --- a/Changelog +++ b/Changelog @@ -20,7 +20,10 @@ Bug fixing: the label. - Wrong parsing of the command-line options `-u ` and `-iquote`. - PowerPC in hybrid 32/64 bit mode: reject %Q and %R register specifications - in inline assembly code. + in inline assembly code, since 64-bit integer arguments are not split + in two registers. +- x86 64-bit mode: wrong expansion of __builtin_clzl and builtin_ctzl + (issue #127). New checks for ISO C conformance: - Removed support for `_Alignof(expr)`, which is not C11; @@ -50,7 +53,7 @@ Semantic preservation proof: and Outgoing stack slots; adapt the proofs accordingly. Coq and OCaml development: -- Support Coq version 8.8.1. +- Support Coq versions 8.8.1 and 8.8.2. - Support OCaml versions 4.7.0 and up. - Support Menhir versions 20180530 and up. -- cgit