Version française
Home     About     Download     Resources     Contact us    
Browse thread
Caml Special Light 1.14
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Xavier Leroy <xleroy@p...>
Subject: Caml Special Light 1.14

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