ATS2-0.2.1 released

Google Group
1

Hi,

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

The primary change in this release is some added support
for externally solving constraints gathered during typechecking.
Please see ATS2-contrib/ATS-extsolve-z3 for more details.

In addition, ATSCC2ERL starts to be functioning, compiling
the C code generated from ATS source into Erlang. Please see
ATS2-contrib/CATS-atsccomp/CATS-atscc2erl for more details.

The official website for ATS is:

http://www.ats-lang.org

The following packages are included in this release:

ATS2-Postiats-0.2.0.tgz
ATS2-Postiats-contrib-0.2.0.tgz
ATS2-Postiats-include-0.2.0.tgz

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.0).

Cheers!

–Hongwei

  1. Adding support for $solver_asssert and $solver_verify
    This is mainly to facilitate the use of ATS-extsolve-z3
  2. Fixing [s2exp_hnfize_app] in [pats_staexp2_util2.dats]
  3. Adding testing code: doc/EXAMPLE/ATSLIB/libats_gflist.dats
  4. Adding various matrix-functions to libatscc/matrixref
  5. Adding prelude/grandom (for generating lists and arrays randomly)
  6. Atscc2erl (from ATS to Erlang) is functioning!
  7. Libatscc2erl is created to work with Atscc2erl
  8. Supporting --tlcalopt-disable + fnx (important for atscc2erl)

Don’t Limit Your Business. Reach for the Cloud.
GigeNET’s Cloud Solutions provide you with the tools and support that
you need to offload your IT needs and focus on growing your business.
Configured For All Businesses. Start Your Cloud Today.


ats-lang-users mailing list
ats-lan...@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/ats-lang-users