ATS2-min

Google Group
1

FYI.

In the future, I will try to release a version of ATS2 that
does not depend on the GMP library (libgmp.a). I use the
name ATS2-min for such a version.

Please find a pre-stable release of ATS2-min-0.1.6 here:

http://www.ats-lang.org/Downloads.html#ATS_packages

For most users, there really isn’t much difference between
ATS2 and ATS2-min. Actually, the latter is significantly more
efficient in terms of constraint-solving (but it cannot handle
big integers >= 2^64).

–Hongwei

2

‘min’ is too generic. I call it ATS2-intmin for now.On Monday, December 8, 2014 2:29:55 AM UTC-5, gmhwxi wrote:

FYI.

In the future, I will try to release a version of ATS2 that
does not depend on the GMP library (libgmp.a). I use the
name ATS2-min for such a version.

Please find a pre-stable release of ATS2-min-0.1.6 here:

http://www.ats-lang.org/Downloads.html#ATS_packages

For most users, there really isn’t much difference between
ATS2 and ATS2-min. Actually, the latter is significantly more
efficient in terms of constraint-solving (but it cannot handle
big integers >= 2^64).

–Hongwei

3

2^64 : is this for 32 bits machines too ?Le lundi 8 décembre 2014 08:29:55 UTC+1, gmhwxi a écrit :

FYI.

In the future, I will try to release a version of ATS2 that
does not depend on the GMP library (libgmp.a). I use the
name ATS2-min for such a version.

Please find a pre-stable release of ATS2-min-0.1.6 here:

http://www.ats-lang.org/Downloads.html#ATS_packages

For most users, there really isn’t much difference between
ATS2 and ATS2-min. Actually, the latter is significantly more
efficient in terms of constraint-solving (but it cannot handle
big integers >= 2^64).

–Hongwei

4

I think so. ‘long long int’ is 64-bit even if you use a 32-bit machine.On Sunday, December 14, 2014 1:42:54 PM UTC-5, Yannick Duchêne wrote:

2^64 : is this for 32 bits machines too ?

Le lundi 8 décembre 2014 08:29:55 UTC+1, gmhwxi a écrit :

FYI.

In the future, I will try to release a version of ATS2 that
does not depend on the GMP library (libgmp.a). I use the
name ATS2-min for such a version.

Please find a pre-stable release of ATS2-min-0.1.6 here:

http://www.ats-lang.org/Downloads.html#ATS_packages

For most users, there really isn’t much difference between
ATS2 and ATS2-min. Actually, the latter is significantly more
efficient in terms of constraint-solving (but it cannot handle
big integers >= 2^64).

–Hongwei