[ats-lang-users] ATS2-0.3.11 released

[Hongwei Xi <hw...@bu...>]

Hi,

I am pleased to announce the release of ATS2-0.3.11.

######

First, many thanks to Brandon Barker for his generous
agreement to taking over the duty of packaging and releasing
ATS from this point on. Applause :)

######

Also, I have started working on ATS3. For this point on,
I do not forsee that major changes or features are to be
added to ATS2 in the future (except library related stuff).
Actually, ATS2 has already been very stable for the past couple
of years. There will be future releases, albeit less and less
frequently.

######
ATS2-0.3.11.tgz:
MD5: 847b592ce92655fe72f68000104e12b4
SHA1: c4df38d0ae759be4294c8a9d90f8bad7800dac50
######

This is the 48th release of ATS2, the successor of the ATS
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:

https://github.com/githwxi/ATS-Postiats

Major releases of ATS2 are available at:

https://sourceforge.net/projects/ats2-lang/

Major releases of external packages for ATS2 are available at:

https://sourceforge.net/projects/ats2-lang-contrib/

######

Cheers,

--Hongwei

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

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

######

Here is a list of major additions and changes since the last release:

1. Re-enabling the support for -IATS
2. Rewording LICENSE: the ATS libraries are now covered under LGPLv3
   In particular, any C code generated by ATS/Postiats is NOT by default
   considered to be covered by the GPL/LGPL license of any kind.
3. Renaming some keywords:
   atstbox for atstype
   atstflat for atst0ype
   atsvtbox for atsvtype
   atsvtflat for atsvt0ype
   absimpl for assume and atsreimpl for reassume