ATS2-0.2.8 released

Google Group
1

Hi,

I am glad to announce the release of ATS2-0.2.8.

This is the 31st release of ATS2, the successor of the
ATS (currently referred to as ATS1) programming language. The
compiler for ATS2 is given the name ATS/Positats, ATS2/Postiats
or simply Postiats.

The official website for ATS is:

http://www.ats-lang.org

ATS-Postiats is hosted at github:

Major releases of ATS2 are available at:

Major releases of external packages for ATS2 are available at:

A google-group for discussing ATS and related issues is at:

https://groups.google.com/forum/?fromgroups#!forum/ats-lang-users

The following packages are included in this release:

ATS2-Postiats-0.2.8.tgz # requiring libgmp
ATS2-Postiats-contrib-0.2.8.tgz # contributed packages
ATS2-Postiats-include-0.2.8.tgz # CATS-files w/ BSD-like license

I have included ATS2-Postiats-contrib (instead of releasing it
separately) as it is truly by now an indispensible part of ATS2.

After installing ATS-Postiats-include, one can compile the C code
generated from ATS source without installing the ATS compiler. So
a convenient way to distribute software written in ATS is to simply
release the C code generated from the ATS source.

See below for some major additions and changes since the last release
(ATS2-0.2.7).

Cheers,

–Hongwei Xi

Computer Science Department
Boston University
111 Cummington Street
Boston, MA 02215

Email: hw…@cs.bu.edu
Url: http://www.cs.bu.edu/~hwxi
Tel: +1 617 358 2511 (office)
Fax: +1 617 353 6457 (department)

  1. Adding support for ifcase-expressions. Please see

  1. atscc2py/libatscc2py changes to atscc2py3/libatscc2py3

  2. atscc2scm/libatscc2scm starts to be functional (but it is still a long
    way to go!)

  3. Adding support for jsonizing S2Ewithtype (wths2explst); some fixing for
    d2cst decl

  4. Improving patsolve_z3 to handle constraints on real numbers

  5. Improving libatscc in general; adding support for pygame in libatscc2py3

  6. Adding ATS-extsolve-smt2 based on the pilot work by Will Blair and
    Hanwen Wu; the command patsolve_smt2 turns ATS constraints in json
    format into those in smt-lib2 format, which can then be solved with z3,
    cvc4, etc.
    In particular, constraints on reals can be handled in this way.

  7. Fixing a bug involving tuple/record compilation (see:
    doc/BUGS/bug-2016-06-26.dats)

  8. Circumventing a bug involving templates initiated with fnx (see:
    bug-2014-11-14.dats)

  9. Adding tupbox(…) and fprint_tupbox(…) for boxed tuples of length 1,
    2, 3, and 4

Attend Shape: An AT&T Tech Expo July 15-16. Meet us at AT&T Park in San
Francisco, CA to explore cutting-edge tech and listen to tech luminaries
present their vision of the future. This family event has something for
everyone, including kids. Get more information and register today.
http://sdm.link/attshape
ats-lang-users mailing list
ats-lan...@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/ats-lang-users