pkgsrc-Changes-HG archive
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]
[pkgsrc/trunk]: pkgsrc/lang lang/ats2: Add version 0.4.2
details: https://anonhg.NetBSD.org/pkgsrc/rev/85b106595d8c
branches: trunk
changeset: 376920:85b106595d8c
user: nikita <nikita%pkgsrc.org@localhost>
date: Thu Apr 14 17:29:10 2022 +0000
description:
lang/ats2: Add version 0.4.2
Import from wip/ats2 by Atsushi Toyokura, Mateusz Poszwa.
ATS is a statically typed programming language that unifies
implementation with formal specification. It is equipped with
a highly expressive type system rooted in the framework Applied
Type System, which gives the language its name. In particular,
both dependent types and linear types are available in ATS.
In addition, ATS contains a subsystem ATS/LF that supports a form
of (interactive) theorem-proving, where proofs are constructed as
total functions. With this subsystem, ATS is able to advocate a
programmer-centric approach to program verification that combines
programming with theorem-proving in a syntactically intertwined
manner. Furthermore, ATS/LF can also serve as a logical framework
(LF) for encoding various formal systems (such as logic systems
and type systems) together with proofs of their (meta-)properties.
diffstat:
lang/Makefile | 3 +-
lang/ats2/DESCR | 14 +
lang/ats2/Makefile | 19 +
lang/ats2/PLIST | 1726 ++++++++++++++++++++++++++++++++++++++
lang/ats2/distinfo | 6 +
lang/ats2/patches/patch-Makefile | 15 +
6 files changed, 1782 insertions(+), 1 deletions(-)
diffs (truncated from 1817 to 300 lines):
diff -r 63cf4035654f -r 85b106595d8c lang/Makefile
--- a/lang/Makefile Thu Apr 14 16:50:53 2022 +0000
+++ b/lang/Makefile Thu Apr 14 17:29:10 2022 +0000
@@ -1,4 +1,4 @@
-# $NetBSD: Makefile,v 1.644 2022/04/05 16:57:17 adam Exp $
+# $NetBSD: Makefile,v 1.645 2022/04/14 17:29:10 nikita Exp $
#
COMMENT= Programming languages
@@ -13,6 +13,7 @@
SUBDIR+= adoptopenjdk11-bin
SUBDIR+= algol68g
SUBDIR+= asn1c
+SUBDIR+= ast2
SUBDIR+= awka
SUBDIR+= baci
SUBDIR+= boomerang
diff -r 63cf4035654f -r 85b106595d8c lang/ats2/DESCR
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/lang/ats2/DESCR Thu Apr 14 17:29:10 2022 +0000
@@ -0,0 +1,14 @@
+ATS is a statically typed programming language that unifies
+implementation with formal specification. It is equipped with
+a highly expressive type system rooted in the framework Applied
+Type System, which gives the language its name. In particular,
+both dependent types and linear types are available in ATS.
+
+In addition, ATS contains a subsystem ATS/LF that supports a form
+of (interactive) theorem-proving, where proofs are constructed as
+total functions. With this subsystem, ATS is able to advocate a
+programmer-centric approach to program verification that combines
+programming with theorem-proving in a syntactically intertwined
+manner. Furthermore, ATS/LF can also serve as a logical framework
+(LF) for encoding various formal systems (such as logic systems
+and type systems) together with proofs of their (meta-)properties.
diff -r 63cf4035654f -r 85b106595d8c lang/ats2/Makefile
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/lang/ats2/Makefile Thu Apr 14 17:29:10 2022 +0000
@@ -0,0 +1,19 @@
+# $NetBSD: Makefile,v 1.1 2022/04/14 17:29:10 nikita Exp $
+
+DISTNAME= ATS2-Postiats-0.4.2
+CATEGORIES= lang
+MASTER_SITES= ${MASTER_SITE_SOURCEFORGE:=ats2-lang/}
+EXTRACT_SUFX= .tgz
+
+MAINTAINER= pkgsrc-users%NetBSD.org@localhost
+HOMEPAGE= http://www.ats-lang.org/
+COMMENT= Functional programming language with dependent types
+LICENSE= gnu-gpl-v3
+
+WRKSRC= ${WRKDIR}/ATS2-Postiats-int-${PKGVERSION_NOREV}
+GNU_CONFIGURE= yes
+USE_TOOLS+= gmake
+# build is not job safe
+MAKE_JOBS_SAFE= no
+
+.include "../../mk/bsd.pkg.mk"
diff -r 63cf4035654f -r 85b106595d8c lang/ats2/PLIST
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/lang/ats2/PLIST Thu Apr 14 17:29:10 2022 +0000
@@ -0,0 +1,1726 @@
+@comment $NetBSD: PLIST,v 1.1 2022/04/14 17:29:10 nikita Exp $
+bin/myatscc
+bin/patscc
+bin/patsopt
+lib/ats2-postiats-${PKGVERSION}/bin/myatscc
+lib/ats2-postiats-${PKGVERSION}/bin/patscc
+lib/ats2-postiats-${PKGVERSION}/bin/patsopt
+lib/ats2-postiats-${PKGVERSION}/ccomp/atslib/lib/libatslib.a
+lib/ats2-postiats-${PKGVERSION}/ccomp/runtime/.keeper
+lib/ats2-postiats-${PKGVERSION}/ccomp/runtime/pats_ccomp_basics.h
+lib/ats2-postiats-${PKGVERSION}/ccomp/runtime/pats_ccomp_config.h
+lib/ats2-postiats-${PKGVERSION}/ccomp/runtime/pats_ccomp_exception.h
+lib/ats2-postiats-${PKGVERSION}/ccomp/runtime/pats_ccomp_instrset.h
+lib/ats2-postiats-${PKGVERSION}/ccomp/runtime/pats_ccomp_memalloc.h
+lib/ats2-postiats-${PKGVERSION}/ccomp/runtime/pats_ccomp_memalloc_gcbdw.h
+lib/ats2-postiats-${PKGVERSION}/ccomp/runtime/pats_ccomp_memalloc_libc.h
+lib/ats2-postiats-${PKGVERSION}/ccomp/runtime/pats_ccomp_memalloc_user.h
+lib/ats2-postiats-${PKGVERSION}/ccomp/runtime/pats_ccomp_memalloc_user2.h
+lib/ats2-postiats-${PKGVERSION}/ccomp/runtime/pats_ccomp_memalloca.h
+lib/ats2-postiats-${PKGVERSION}/ccomp/runtime/pats_ccomp_runtime.c
+lib/ats2-postiats-${PKGVERSION}/ccomp/runtime/pats_ccomp_runtime2_dats.c
+lib/ats2-postiats-${PKGVERSION}/ccomp/runtime/pats_ccomp_runtime_memalloc.c
+lib/ats2-postiats-${PKGVERSION}/ccomp/runtime/pats_ccomp_runtime_trywith.c
+lib/ats2-postiats-${PKGVERSION}/ccomp/runtime/pats_ccomp_typedefs.h
+lib/ats2-postiats-${PKGVERSION}/contrib/.keeper
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve-smt2/.keeper
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve-smt2/ATS-extsolve
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve-smt2/DATS/.keeper
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve-smt2/DATS/SOLVING/myheader.hats
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve-smt2/DATS/SOLVING/patsolve_smt2_solving_ctx.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve-smt2/DATS/SOLVING/patsolve_smt2_solving_emit.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve-smt2/DATS/SOLVING/patsolve_smt2_solving_form.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve-smt2/DATS/SOLVING/patsolve_smt2_solving_interp.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve-smt2/DATS/SOLVING/patsolve_smt2_solving_smtenv.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve-smt2/DATS/patsolve_smt2_commarg.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve-smt2/DATS/patsolve_smt2_main.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve-smt2/DATS/patsolve_smt2_mylib.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve-smt2/DATS/patsolve_smt2_solving.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve-smt2/Makefile
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve-smt2/README
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve-smt2/SATS/.keeper
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve-smt2/SATS/patsolve_smt2_commarg.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve-smt2/SATS/patsolve_smt2_solving.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve-smt2/bin/.keeper
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve-z3/.keeper
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve-z3/ATS-extsolve
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve-z3/DATS/.keeper
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve-z3/DATS/SOLVING/myheader.hats
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve-z3/DATS/SOLVING/patsolve_z3_solving_ctx.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve-z3/DATS/SOLVING/patsolve_z3_solving_form.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve-z3/DATS/SOLVING/patsolve_z3_solving_interp.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve-z3/DATS/SOLVING/patsolve_z3_solving_smtenv.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve-z3/DATS/SOLVING/patsolve_z3_solving_sort.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve-z3/DATS/patsolve_z3_commarg.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve-z3/DATS/patsolve_z3_main.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve-z3/DATS/patsolve_z3_mylib.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve-z3/DATS/patsolve_z3_solving.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve-z3/Makefile
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve-z3/README
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve-z3/SATS/.keeper
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve-z3/SATS/patsolve_z3_commarg.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve-z3/SATS/patsolve_z3_solving.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve-z3/bin/.keeper
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve/.keeper
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve/CATS/.keeper
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve/DATS/.keeper
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve/DATS/CNSTRNT/patsolve_cnstrnt_c3nstr.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve/DATS/CNSTRNT/patsolve_cnstrnt_h3ypo.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve/DATS/CNSTRNT/patsolve_cnstrnt_label.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve/DATS/CNSTRNT/patsolve_cnstrnt_location.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve/DATS/CNSTRNT/patsolve_cnstrnt_s2cst.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve/DATS/CNSTRNT/patsolve_cnstrnt_s2exp.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve/DATS/CNSTRNT/patsolve_cnstrnt_s2rt.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve/DATS/CNSTRNT/patsolve_cnstrnt_s2var.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve/DATS/CNSTRNT/patsolve_cnstrnt_s2vvar.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve/DATS/CNSTRNT/patsolve_cnstrnt_s3itm.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve/DATS/CNSTRNT/patsolve_cnstrnt_stamp.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve/DATS/CNSTRNT/patsolve_cnstrnt_symbol.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve/DATS/PARSING/patsolve_parsing_c3nstr.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve/DATS/PARSING/patsolve_parsing_h3ypo.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve/DATS/PARSING/patsolve_parsing_label.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve/DATS/PARSING/patsolve_parsing_s2cst.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve/DATS/PARSING/patsolve_parsing_s2exp.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve/DATS/PARSING/patsolve_parsing_s2rt.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve/DATS/PARSING/patsolve_parsing_s2var.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve/DATS/PARSING/patsolve_parsing_s2vvar.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve/DATS/PARSING/patsolve_parsing_s3itm.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve/DATS/patsolve_cnstrnt.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve/DATS/patsolve_commarg.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve/DATS/patsolve_main.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve/DATS/patsolve_mylib.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve/DATS/patsolve_parsing.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve/Makefile
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve/README
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve/SATS/.keeper
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve/SATS/patsolve_cnstrnt.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve/SATS/patsolve_commarg.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve/SATS/patsolve_parsing.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/ATS-extsolve/bin/.keeper
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2clj/CATS-parsemit
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2clj/DATS/.keeper
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2clj/DATS/atscc2clj_emit.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2clj/DATS/atscc2clj_emit2.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2clj/DATS/atscc2clj_main.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2clj/Makefile
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2clj/bin/.gitkeep
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2js/.keeper
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2js/CATS-parsemit
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2js/DATS/.keeper
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2js/DATS/atscc2js_emit.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2js/DATS/atscc2js_emit2.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2js/DATS/atscc2js_main.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2js/DATS/libatscc2js_ext.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2js/Makefile
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2js/bin/.gitkeep
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2php/.keeper
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2php/CATS-parsemit
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2php/DATS/.keeper
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2php/DATS/atscc2php_emit.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2php/DATS/atscc2php_emit2.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2php/DATS/atscc2php_main.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2php/Makefile
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2php/bin/.gitkeep
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2pl/.keeper
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2pl/CATS-parsemit
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2pl/DATS/.keeper
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2pl/DATS/atscc2pl_emit.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2pl/DATS/atscc2pl_emit2.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2pl/DATS/atscc2pl_main.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2pl/Makefile
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2pl/bin/.gitkeep
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2py3/.keeper
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2py3/CATS-parsemit
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2py3/DATS/.keeper
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2py3/DATS/atscc2py3_emit.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2py3/DATS/atscc2py3_emit2.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2py3/DATS/atscc2py3_main.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2py3/Makefile
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2py3/bin/.gitkeep
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2r34/.keeper
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2r34/CATS-parsemit
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2r34/DATS/.keeper
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2r34/DATS/atscc2r34_emit.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2r34/DATS/atscc2r34_emit2.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2r34/DATS/atscc2r34_main.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2r34/Makefile
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2r34/bin/.gitkeep
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2scm/.keeper
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2scm/CATS-parsemit
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2scm/DATS/.keeper
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2scm/DATS/atscc2scm_emit.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2scm/DATS/atscc2scm_emit2.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2scm/DATS/atscc2scm_main.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2scm/Makefile
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-atscc2scm/bin/.gitkeep
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-parsemit/.keeper
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-parsemit/CATS/.keeper
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-parsemit/DATS/.keeper
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-parsemit/DATS/catsparse_emit.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-parsemit/DATS/catsparse_error.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-parsemit/DATS/catsparse_fname.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-parsemit/DATS/catsparse_fundecl.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-parsemit/DATS/catsparse_global.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-parsemit/DATS/catsparse_lexbuf.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-parsemit/DATS/catsparse_lexerr.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-parsemit/DATS/catsparse_lexing.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-parsemit/DATS/catsparse_mylib.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-parsemit/DATS/catsparse_parerr.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-parsemit/DATS/catsparse_parsing.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-parsemit/DATS/catsparse_parsing_d0ecl.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-parsemit/DATS/catsparse_parsing_d0exp.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-parsemit/DATS/catsparse_parsing_instr.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-parsemit/DATS/catsparse_posloc.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-parsemit/DATS/catsparse_print.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-parsemit/DATS/catsparse_symbol.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-parsemit/DATS/catsparse_syntax.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-parsemit/DATS/catsparse_tokbuf.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-parsemit/DATS/catsparse_typedef.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-parsemit/Makefile
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-parsemit/SATS/.keeper
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-parsemit/SATS/catsparse.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-parsemit/SATS/catsparse_emit.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-parsemit/SATS/catsparse_fundecl.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-parsemit/SATS/catsparse_parsing.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-parsemit/SATS/catsparse_syntax.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-parsemit/SATS/catsparse_typedef.sats
+lib/ats2-postiats-${PKGVERSION}/contrib/CATS-parsemit/catsparse_all.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/.keeper
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/H
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/STL/CATS/deque.cats
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/STL/CATS/queue.cats
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/STL/CATS/stack.cats
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/STL/CATS/vector.cats
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/STL/DATS/deque_queue.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/STL/DATS/queue_queue.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/STL/DATS/stack_stack.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/STL/DATS/vector_array.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/STL/DATS/vector_stack.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/STL/TEST/Makefile
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/STL/TEST/test_deque_queue.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/STL/TEST/test_queue_queue.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/STL/TEST/test_stack_stack.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/STL/TEST/test_vector_array.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/STL/TEST/test_vector_stack.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/TEST/Makefile
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/TEST/README
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/TEST/test01.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/TEST/test02.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/ccomp/pats_ats2cpp_prelude.h
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/ccomp/pats_ccomp_basics.h
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/ccomp/pats_ccomp_config.h
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/ccomp/pats_ccomp_exception.h
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/ccomp/pats_ccomp_instrset.h
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/ccomp/pats_ccomp_memalloc.h
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/ccomp/pats_ccomp_memalloc_gcbdw.h
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/ccomp/pats_ccomp_memalloc_libc.h
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/ccomp/pats_ccomp_memalloc_user.h
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/ccomp/pats_ccomp_memalloc_user2.h
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/ccomp/pats_ccomp_memalloca.h
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/ccomp/pats_ccomp_runtime.c
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/ccomp/pats_ccomp_runtime_memalloc.c
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/ccomp/pats_ccomp_typedefs.h
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/libats/BUCS520/GraphSearch/DATS/GraphSearch.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/libats/BUCS520/GraphSearch/DATS/GraphSearch_bfs.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/libats/BUCS520/GraphSearch/DATS/GraphSearch_dfs.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/libats/BUCS520/GraphSearch/TEST/DoubletsPlay.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/libats/BUCS520/GraphSearch/TEST/GameOf24Play.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/libats/BUCS520/GraphSearch/TEST/Makefile
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/libats/BUCS520/GraphSearch/TEST/QueenPuzzle.dats
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/libats/CATS/deqarray.cats
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/libats/CATS/dynarray.cats
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/libats/CATS/hashfun.cats
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/libats/CATS/qlist.cats
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/libats/CATS/stkarray.cats
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/libats/CATS/stringbuf.cats
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/libats/ML/CATS/array0.cats
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/libats/ML/CATS/strarr.cats
+lib/ats2-postiats-${PKGVERSION}/contrib/ats2cpp/libats/libc/CATS/dirent.cats
Home |
Main Index |
Thread Index |
Old Index