[ANN] Mozart 1.2.4 is released!
Denys Duchier
Denys.Duchier at ps.uni-sb.de
Mon Sep 2 18:41:27 CEST 2002
Dear friends,
We are happy to announce the release of Mozart 1.2.4. Many bugs have
been fixed (see the "Changes" document attached below) and the system
is again up to date with respect to newer versions of external
libraries.
You can dowload Mozart 1.2.4 from:
http://www.mozart-oz.org/download/
At this time Mozart 1.2.4 is available in source form, as well as in
precompiled binary distributions for the following platforms:
* Linux (RedHat 7.2, 7.3) -- please contribute rpms for other distros
* Debian
* Windows
* MacOS X
* FreeBSD (ELF i486)
Thanks to Marco Kuhlmann for the Debian distro, to Leif Kornsteadt and
Thorsten Brunklaus for the Windows distro, and to Marc-Antoine Parent
for the MacOS X distro.
New distros will be announced as they become available.
PLEASE CONTRIBUTE DISTROS:
For anyone using Linux, it is very easy to prepare RPMs for your
platform: grab the Mozart source rpm from our download site and
execute (as root):
rpmbuild --rebuild mozart-1.2.4.XXXXXX.src.rpm
or rpm --rebuild mozart-1.2.4.XXXXXX.src.rpm
rpmbuild is recommended if available (XXXXXX depends on the last time
I updated the rpm).
CHANGES
-------------- next part --------------
1 Mozart 1.2.4
Mozart 1.2.4 is a bug-fix and maintenance release, with some
enhancements.
1.1 Base
changes and fixes that concern the base language:
* bytestrings: space now prints as space instead of being encoded as
octal
* fixed insertion sort in dictionary.cc (so what?)
* improved static analysis for Port.new: {Port.new s _} now
diagnoses the error due to the typo (atom instead of variable)
* added Value.isFailed: true iff the arg is a failed future
* Int.'div', Int.'mod': work consistently and according to the
specification for small and big integers (concerns negative
numbers only)
* Value.waitQuiet no longer blocks on failed futures
* robustly handle the case of a messed up OZLOAD
* bug fix for VirtualString.toAtom
* Sort and Merge are now stable
* new environment variable OZ_DOTOZ to override default ~/.oz.
corresponding property oz.dotoz
* List.take, List.drop and List.takeDrop no longer unnecessarily
block on nondet list tail that is not looked at
1.2 Windows
changes and fixes that concern the Windows platform:
* fixes to compile again with MSVC
* debug emulator can be built
* Control-C should now work
* configuration: Updated to link correctly under the newest mingw
(check for either -ldirent or -lmingwex)
* fixed other problems due to changes in mingw library
* OS.getEnv: now correctly distinguishes between an unset
environment variable and an environment variable set to the empty
string
* fixed Application.getCgiArgs on Windows for newer Apache (same as
previous item)
* fixed Open.pipe pbs
* OS.pipe: When the process at the other end of a pipe terminates,
end-of-file is reported instead of an exception
* OS.read: When an end-of-file arrives on standard input, it is now
correctly reported instead of blocking indefinitely
* fixed weird compilation/linking pbs, actually caused by clashing
GIDs (see DP)
* oztool more flexible: supports -I, -l, -L and -s for GNU and MSVC
* OPI: fixed encoding (on Windows) for sending data with accented
chars to oz process
1.3 Documentation
changes and fixes to the Mozart documentation:
* install: fixed obsolete hrefs, added windows/cygwin info
* notation: fixed def of "in expression"
* tutorial: typos
* xsl/ozdoc-fontify.el: replaced obsolescent dot-marker by
point-marker
* xsl/ozdoc.cls: works again with newer version of float.sty
1.4 Constraint Programming
changes and fixes concerning the constraint programming support:
* documented limitations:
+ free var cannot be constrained in subspace: must first be
constrained in home space
+ number of alternatives of a choice point must be less than
2^27-2
* doc/system/fd: fixed typos
* fixed dis
* fixed FDBitVector::findMinElemen to correctly return -1 for empty
vector
* fixed corner case that was causing the infamous "change of
representation" bug at 64 elements in rare occasions
(FSetValue::operator <=)
* domain consistent propagators are now properly woken up
* \=: now correctly takes variable aliasing and entailment into
account
* reified constraints: fixed occasional misbehaviour due to out of
bound array access
* FD.distribute: bug fixes + improvements. (used to not correctly
synchronize on stability on 1st invocation)
* FS.distribute: fixed to use stable order, improved, round robin
bug fixed (used to drop variables)
1.5 Oz Language
changes and fixes concerning the Oz language
* for loop now supports new experimental features while:E and
until:E
* doc/loop slightly improved
* for _ in 1..5 do ... end now works (it used to block)
* eliminated unnecessary memory allocation for experimental collect
feature
1.6 System Modules
changes and fixes concerning the System modules:
* Application:
+ added Application.processCgiString
+ fixed Application.getCgiArgs on Windows for newer Apache
+ bug fix for Application.getCmdArgs
* Finalize:
+ doc/system/finalize: improved doc about stateless values
etc...;
* Open:
+ documented text and binary flags
+ Open.text: raises a closed exception instead of a type
exception when operating on a closed stream
* System:
+ documented System.onTopLevel
* Property:
+ synchronize on undet property values instead of raising an
error
* DP:
+ 40% speed up for small distributed messages
+ speedup for pickling and 10% decrease in size
+ fixed memory leaks in libdp
+ global IDs are now robustly/provably unique
* Tk:
+ iso8859-1 chars properly handled
+ image resolver initialized using methods of pickle resolver
1.7 Tools
changes and fixes concerning Mozart related tools:
* Browser:
+ it is now ok to browse a port in a deep guard
* Inspector:
+ can now inspect array in deep guard
* Gump:
+ use relative import for generated native functor
* Compiler:
+ \insert with very long filenames now works
+ misc fixes
+ fixed dynamicvarnames pb
* ozdoc:
+ cross-referenced exercises now use sensible text
+ beginning of support for XML
* OPI / Emacs Mode:
+ fixed encoding (on Windows) for sending data with accented
chars to oz process
1.8 Miscellaneous
* Configure/Build:
+ version checking improved
+ fixed pbs with new version of Bison
+ fixed pbs with new version of GMP
+ added switch --enable-compile-elisp (default=yes) as
requested by Debian
+ added --with-emacs-options=OPTIONS (default=-q --no-init-file
for GNU -q -no-init-file for XEmacs)
+ more robust creation of native functor interface in
contrib/ri
+ support OpenBSD
+ configures and compiles again on recent Linux distros using
new versions of libraries
* Examples:
+ share/examples/grammar updated
* Test Suite:
+ fixes + new tests
-------------- next part --------------
Cheers,
--
Dr. Denys Duchier Denys.Duchier at ps.uni-sb.de
Forschungsbereich Programmiersysteme (Programming Systems Lab)
Universitaet des Saarlandes, Geb. 45 http://www.ps.uni-sb.de/~duchier
Postfach 15 11 50 Phone: +49 681 302 5618
66041 Saarbruecken, Germany Fax: +49 681 302 5615
More information about the mozart-users
mailing list