FYI. ---------- Forwarded message --------- From: Hongwei Xi <[email protected]> Date: Tue, Dec 24, 2019 at 9:58 PM Subject: [ats-lang-users] ATS2-0.4.0 released To: <[email protected]>
Hi, It is release time again :) It is my great pleasure to announce the release of ATS2-0.4.0. Note that this is the version needed for compiling ATS3 (ATS/Xanadu). First, many thanks to Brandon Barker for his generous agreement to taking over the duty of packaging and releasing ATS from this point on. Also, thanks to Richard Kent for assisting us. ------------------------------------------------ ATS-Postiats-0.4.0.tgz: MD5: ed0a8212b23c8ce281b5512eb0dd130f SHA1: f9a734b6d7040633d16a11c73f06175afe04482f ATS2-Postiats-gmp-0.4.0.tgz: MD5: 9ae8b64526affc951f33e189b20fa16f SHA1: 826d529830ba28581708a27c27952a9ed56f916e ATS2-Postiats-int-0.4.0.tgz: MD5: 3ed68ac11792be0689e43e9a6b3598c1 SHA1: fa41e400676cad30df6566770c4238fd02ecc6de ------------------------------------------------ By default, ATS-Postiats-0.4.0.tgz is no longer dependent on the GMP library. If you want a version of ATS-Postiats that uses GMP to solve integer constraints, please download ATS2-Postiats-gmp-0.4.0.tgz. ATS2-Positiats-int is just the same as ATS2-Positiats. ################################################ This is the 51st 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/ Here is a list of major additions and changes since the last release: 1. Improving testing code: doc/EXAMPLE/ATSLF, doc/EXAMPLE/INTRO, doc/EXAMPLE/TESTATS Kudos to Artyom Shalkhakov! 2. Introducing various keywords (e.g., atstflt, atsvtflt), which are used in the implementation of ATS3(ATS/Xanadu) Please note that starting in this release, there are two variants of the package released: The "gmp" variant depends on the GMP library and the "int" variant does not depend on the GMP library. In this release ATS2-Postiats-0.4.0.tgz is just the same as ATS2-Postiats-int-0.4.0.tgz. Cheers, --Hongwei Computer Science Department Boston University 111 Cummington Street Boston, MA 02215 Email: [email protected] Url: http://www.cs.bu.edu/~hwxi Tel: +1 617 358 2511 (office) Fax: +1 617 353 6457 (department) _______________________________________________ ats-lang-users mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/ats-lang-users -- You received this message because you are subscribed to the Google Groups "ats-lang-users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/CAPPSPLowSqUotWUyt77O3xQ5V%2BH5tXYU2s_ARXnRqBNovsN_cw%40mail.gmail.com.
