CompCert Release 23.10
----------------------

Improvements
-------------
● Improved common subexpression elimination for conditional operators.
● Improved value analysis for constant propagation.
● Use movl for loading unsigned 32-bit integer constants for x86-64.
● Removed the limit on the number of spilling rounds that are performed.
● Improved error message for integer literals 
  that are too large for signed types.
● Reordered emitted constants inside code 
  to avoid excessively large offsets or floating-point constants.
● Avoid using fld/fsd for built-in memcpy for RISC-V for -fno-fpu.


Valex
-------------
Updated the API for Valex QSK eval runs to maintain 
success status flags of their own rather than relying 
on the return value of the main evaluation function.


------------------------------------------------------------------------------
Last updated on 30 October 2023 by alex@absint.com. Copyright 2023 AbsInt.
------------------------------------------------------------------------------
An HTML version of these release notes is available at
absint.com/releasenotes/compcert/23.10