From mboxrd@z Thu Jan  1 00:00:00 1970
Received: (from weis@localhost) by pauillac.inria.fr (8.6.10/8.6.6) id JAA18638 for caml-redistribution; Fri, 9 Feb 1996 09:52:26 +0100
Received: (from xleroy@localhost) by pauillac.inria.fr (8.6.10/8.6.6) id RAA15766; Thu, 8 Feb 1996 17:28:10 +0100
From: Xavier Leroy <xleroy@pauillac.inria.fr>
Message-Id: <199602081628.RAA15766@pauillac.inria.fr>
Subject: Caml Special Light 1.14
To: caml-list@pauillac.inria.fr, comp-lang-ml@cs.cmu.edu
Date: Thu, 8 Feb 1996 17:28:10 +0100 (MET)
MIME-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
Sender: weis


This is to announce the release 1.14 of Caml Special Light.
The main changes are:

* cslopt ported to the PowerPC/RS6000 architecture. Better support for
AIX in the bytecode system as well.

* cslopt, all platforms: fixed bug in live range splitting around catch/exit.

* cslopt for the Intel (floating-point wars, chapter 4):
implemented Ershov's algorithm to minimize floating-point stack usage;
out-of-order pops fixed.

* Several bug fixes in callbacks and signals.

The complete sources and diffs from earlier releases are available by
anonymous FTP at ftp://ftp.inria.fr/lang/caml-light.

See our Web site http://pauillac.inria.fr/csl/ for more info on Caml
Special Light.

- Xavier Leroy