Hi,
I am glad to announce the release of ATS2-0.1.13.
The main purpose for this release is to make a few
bug-fixes available as soon as possible.
–Hongwei
This is the 22nd 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:
ATS-Postiats is hosted at github:
Major releases of ATS2 are available at:
Major releases of external packages for ATS2 are available at:
Here is a list of major additions and changes since the last release:
- Fixing a bug that associates static constants with
incorrect filenames - Starting to put markers around error/warning messages
- Fixing a bug causing mishandling of valimp in included code
- Fixing a bug causing incorrect erasure of proof patterns
One dashboard for servers and applications across Physical-Virtual-Cloud
Widest out-of-the-box monitoring support with 50+ applications
Performance metrics, stats and reports that give you Actionable Insights
Deep dive visibility with transaction tracing using APM Insight.
http://ad.doubleclick.net/ddm/clk/290420510;117567292;y
ats-lang-users mailing list
ats-lan...@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/ats-lang-users