summarylogtreecommitdiffstats
AgeCommit message (Collapse)Author
2021-03-11ats2-postiats-0.4.2Jonathon Fernyhough
2020-01-24ats2-postiats-0.4.0Jonathon Fernyhough
2019-04-13ats2-postiats-0.3.13Jonathon Fernyhough
[upstream] * Fixing the issue of escaping '$' in PHP string literals (atscc2php) Kudos to M88! * Fixing very minor issues in libats/qlist and libats/linmap * Enforcing that no d2var can be leaked/exported from a namespace [Jonathon Fernyhough] * Switch to explicit "gmp" version
2018-09-15ats2-postiats-0.3.11Jonathon Fernyhough
[upstream] * Re-enabling the support for -IATS * 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. * Renaming some keywords: atstbox for atstype atstflat for atst0ype atsvtbox for atsvtype atsvtflat for atsvt0ype absimpl for assume and atsreimpl for reassume
2018-03-22ats2-postiats-0.3.10Jonathon Fernyhough
[upstream] * Improving atscntrb-sdstring and atscntrb-hx-cstream * Changing "atscntrb" to "atscntrb-hx" in the names of almost all of the npm-based ATS packages contributed by myself (Hongwei). This is a pervasive change due the wide use of these packages * Adding libats/ML/SATS/argvec.sats and libats/ML/SATS/argvec.dats * Adding share/SCRIPT/buildRelease.sh to automate build/release ATSi
2018-01-15ats2-postiats-0.3.9Jonathon Fernyhough
[upstream] * Improving libatscc/libatscc2js regarding matrixref and matrix0 * Improving doc/BOOK/ATS2FUNCRASH by tidying-up and fixing errors * Adding some examples in ATS-Tutoriats demonstrating ATS+ReactJS and ATS+React-Native * Adding basic programming support for parallelized stream-mapfold: ${PATSHOME}/libats/BUCS320/StreamPar (stream-processing) ${PATSHOME}/libats/BUCS520/StreamPar (linear-stream-processing) * Adding basic programming support for recursive directory-traversal: ${PATSHOME}/npm-utils/contrib/libats-hwxi/find_cli * Moving most higher-order functions from ATSPRE to ATSLIB/ML/atspre. This is a pervasive change, triggering a lot of (minor) fixes! * Rewriting several stream_vt functions to make them tail-recursive. * Moving ATSPRE/fcontainer and ATSPRE/giterator into libats/ATS2 * Finishing EFFECTIVATS/SteamPar on streamization and stream-processing in parallel. * Starting the ATS-CodeBook project (at http://github.com/ats-lang): Hello, HX-intinf, ReadFromSTDIN, ReadFromSTDIN2, ReadFromSTDIN3, and WordFrqncyCount
2017-11-17ats2-postiats-0.3.8Jonathon Fernyhough
[upstream] * Adding libatscc/ML/option0 * Adding libatscc/ML/matrix0 * Minorly improving libatscc/ML/list0 and libatscc/ML/array0 * Fixing missing cases in eval1_p2at (pats_dmacro2_eval1.dats) * Fixing and improving libats/funarray * Adding calls to the_dynconlst_add to ensure that every exception constructor is declared in the generated C code. * Initiating building the "compiled" library libats/ML/COMPILE * Fixing a glitch in compiling polymorphic functions that call function templates (auxmat_env in [pats_ccomp_template.dats]) A simple use case is found in doc/EXAMPLE/TESTATS/tempboxed.dats * Adding support for calling variadic functions in a type-safe way. There is no attempt to add support for type-safe implementation of variadic functions yet. * Supporting the user of the flag --gc for myatscc. [Jonathon Fernyhough] * Switch to upstream-provided sha1sum
2017-10-17Upstream updated archive to include missing fileJonathon Fernyhough
2017-10-16Add missing file from GitHub repoJonathon
2017-10-15Update sha256sum due to upstream re-uploadJonathon Fernyhough
2017-10-13ats2-postiats-0.3.7Jonathon Fernyhough
List of major additions and changes since the last release: 1. Extending prelude/stream_vt with more functions 2. Improving ${PATSHOME}/contrib/libatscc2php/ATS2-0.3.2 3. Supporting the following style of function interface declaration: extern fun swap_boxed{a,b:type}(xy: (a, b)): (b, a) ( Note that (a, b) needs to be replaced with @(a, b) at this point ) 4. Adding stream-processing functions in prelude and libats/ML 5. Hosting for ats-lang.org moved from OPENSHIFT2 to OPENSHIFT3 6. In progress: A Functional Crash into ATS: ${PATSHOME}/doc/BOOK/ATS2FUNCRASH 7. Atscc2r34 (for transpiling ATS into R) is functioning and it is expected to be improved gradually. 8. Improving ATSLIB/libats/ML: more list0-combinators; printing stuff
2017-06-28Update for ATS2 0.3.6Jonathon Fernyhough
2017-05-19Update for ATS2 0.3.5Jonathon Fernyhough
2017-04-09Update for ATS2 0.3.4Jonathon Fernyhough
2017-03-05Update for ATS2 0.3.3Jonathon Fernyhough
2017-02-12Update to ATS 0.3.2Mario Rodas
2017-01-30Update to ATS 0.3.1Mario Rodas
2017-01-24Use https to download tarballMario Rodas
2017-01-24Update to ATS 0.3.0Mario Rodas
2016-12-23Update to ATS 0.2.13Mario Rodas
2016-12-04Merge remote-tracking branch 'origin/master'Mario Rodas
2016-12-04Add ats2-postiats.installMario Rodas
2016-12-04Revert "Update to ATS 0.2.12"Mario Rodas
This reverts commit da4fcc2db881b683f73705112a5b6eb511e8f036.
2016-12-04Update to ATS 0.2.12Mario Rodas
2016-10-20Update to ATS 0.2.11Mario Rodas
2016-09-17Merge branch 'master' of git+ssh://aur.archlinux.org/ats2-postiatsLazarus555
2016-09-17This updates the package to 0.2.10 and fixes the pathname issueStephan Ginthoer
(see comments on ats2-postiats AUR page) Several files mention the version number 0.2.9 even though it is version 0.2.10 The files are: ./VERSION ./configure.ac This is a cheap fix. The "bug" has been reported upstream. Also ats2-contrib can now be installed properly.
2016-09-16This updates the package to 0.2.10 and fixes the pathname issueStephan Ginthoer
(see comments on ats2-postiats AUR page) Several files mention the version number 0.2.9 even though it is version 0.2.10 The files are: ./VERSION ./configure.ac This is a cheap fix. The "bug" has been reported upstream. Also ats2-contrib can now be installed properly.
2016-09-15Revert "Update to ATS 0.2.10"Mario Rodas
0.2.10 is incorrectly packaged This reverts commit af680497b6f14951918287e9672587e140237c35.
2016-09-15Update to ATS 0.2.10Mario Rodas
2016-08-16Disable makeflags optionMario Rodas
There are problems building with custom makeflags, such as -j2 (or higher). Remove gmp from `optdepends` array, is already in `depends` array.
2016-08-12Update to ATS 0.2.9Mario Rodas
2015-12-12Update to ATS 0.2.4Mario Rodas
2015-09-01Update to ATS 0.2.2Mario Rodas
2015-07-14Update .SRCINFOMario Rodas
2015-07-14Update to 0.2.1Mario Rodas
2015-06-25Initial importMario Rodas