├── .travis.yml ├── LICENSE ├── README.md ├── VERSION ├── bin └── .keeper ├── ccomp └── runtime │ ├── temptory_basics.h │ ├── temptory_config.h │ ├── temptory_exception.h │ ├── temptory_instrset.h │ ├── temptory_memalloc.h │ ├── temptory_memalloc_gcbdw.h │ ├── temptory_memalloc_libc.h │ ├── temptory_memalloc_user.h │ ├── temptory_memalloc_user2.h │ ├── temptory_memalloca.h │ ├── temptory_runtime.c │ ├── temptory_runtime2.dats │ ├── temptory_runtime2_dats.c │ ├── temptory_runtime_memory.c │ ├── temptory_runtime_trywith.c │ └── temptory_typedefs.h ├── contrib ├── githwxi │ ├── PACKAGE │ │ ├── temptory-hx-csv-parse │ │ │ ├── DATS │ │ │ │ ├── csv_parse.dats │ │ │ │ └── csv_parse_line.dats │ │ │ ├── TEST │ │ │ │ ├── DATA │ │ │ │ │ └── test02.csv │ │ │ │ ├── Makefile │ │ │ │ ├── test01.dats │ │ │ │ ├── test02.dats │ │ │ │ └── test03.dats │ │ │ ├── mylibies.hats │ │ │ └── package.json │ │ ├── temptory-hx-csv-process │ │ │ ├── DATS │ │ │ │ └── csv_process.dats │ │ │ ├── SATS │ │ │ │ └── csv_process.sats │ │ │ ├── TEST │ │ │ │ ├── DATA │ │ │ │ │ └── Accepted-06-06.csv │ │ │ │ ├── Makefile │ │ │ │ └── test01.dats │ │ │ ├── mydepies.hats │ │ │ ├── mylibies.hats │ │ │ └── package.json │ │ └── temptory-hx-libpcre │ │ │ ├── CATS │ │ │ └── pcre.cats │ │ │ ├── DATS │ │ │ └── pcre.dats │ │ │ ├── SATS │ │ │ └── pcre.sats │ │ │ ├── TEST │ │ │ ├── Makefile │ │ │ ├── test00.dats │ │ │ ├── test01.dats │ │ │ ├── test02.dats │ │ │ ├── test03.dats │ │ │ ├── test04.dats │ │ │ └── test05.dats │ │ │ ├── mylibies.hats │ │ │ └── package.json │ ├── TEST00 │ │ ├── DATA │ │ │ └── 2701-0.txt │ │ ├── Makefile │ │ ├── README.md │ │ ├── mylib.dats │ │ ├── mylib.sats │ │ ├── test00.dats │ │ ├── test01.dats │ │ ├── test02.dats │ │ ├── test03.dats │ │ ├── test04.dats │ │ ├── test05.dats │ │ ├── test06.dats │ │ ├── test07.dats │ │ ├── test08.dats │ │ ├── test09.dats │ │ ├── test10.dats │ │ ├── test11.dats │ │ ├── test12.dats │ │ ├── test13.dats │ │ ├── test14.dats │ │ ├── test15.dats │ │ ├── test16.dats │ │ ├── test17.dats │ │ ├── test18.dats │ │ ├── test19.dats │ │ ├── test20.dats │ │ ├── test21.dats │ │ ├── test22.dats │ │ ├── test23.dats │ │ ├── test24.dats │ │ ├── test25.dats │ │ └── test26.dats │ └── TEST01 │ │ ├── DATA │ │ └── test01.csv │ │ ├── Makefile │ │ ├── mylib.dats │ │ ├── mylib.sats │ │ ├── node_modules │ │ ├── temptory-hx-csv-parse │ │ │ ├── DATS │ │ │ │ ├── csv_parse.dats │ │ │ │ └── csv_parse_line.dats │ │ │ ├── TEST │ │ │ │ ├── DATA │ │ │ │ │ └── test02.csv │ │ │ │ ├── Makefile │ │ │ │ ├── test01.dats │ │ │ │ └── test02.dats │ │ │ ├── mylibies.hats │ │ │ └── package.json │ │ └── temptory-hx-libpcre │ │ │ ├── CATS │ │ │ └── pcre.cats │ │ │ ├── DATS │ │ │ └── pcre.dats │ │ │ ├── SATS │ │ │ └── pcre.sats │ │ │ ├── TEST │ │ │ ├── Makefile │ │ │ ├── test00.dats │ │ │ ├── test01.dats │ │ │ ├── test02.dats │ │ │ ├── test03.dats │ │ │ ├── test04.dats │ │ │ └── test05.dats │ │ │ ├── mylibies.hats │ │ │ └── package.json │ │ ├── package.json │ │ ├── test01.dats │ │ ├── test02.dats │ │ └── test03.dats └── sparverius │ ├── .keeper │ ├── DATS │ └── gseq_sint.dats │ ├── Makefile │ ├── test01.dats │ ├── test02.dats │ └── test03.dats ├── docgen ├── CodeBook │ ├── PLAYGROUND │ │ └── .keeper │ ├── README.md │ └── RECIPE │ │ ├── CSV-Processing │ │ ├── CSV-Processing.dats │ │ ├── DATA │ │ │ └── myclass.csv │ │ ├── Makefile │ │ ├── README.md │ │ └── package.json │ │ ├── Doublets │ │ ├── Doublets.dats │ │ ├── Makefile │ │ └── README.md │ │ ├── Game-of-24 │ │ ├── Game-of-24.dats │ │ ├── Makefile │ │ └── README.md │ │ ├── Hello │ │ ├── Hello.dats │ │ ├── Makefile │ │ └── README.md │ │ ├── LambdaCal │ │ ├── LambdaCal.dats │ │ ├── LambdaCal_rc.dats │ │ ├── Makefile │ │ └── README.md │ │ ├── LongestLine │ │ ├── LongestLine.dats │ │ ├── Makefile │ │ └── README.md │ │ ├── Makefile_test │ │ ├── ReadFromSTDIN │ │ ├── Makefile │ │ ├── README.md │ │ └── ReadFromSTDIN.dats │ │ ├── ReadFromSTDIN2 │ │ ├── Makefile │ │ ├── README.md │ │ └── ReadFromSTDIN2.dats │ │ ├── ReadFromSTDIN3 │ │ ├── Makefile │ │ ├── README.md │ │ └── ReadFromSTDIN3.dats │ │ ├── WordFrqncyCnt │ │ ├── Makefile │ │ ├── README.md │ │ └── WordFrqncyCnt.dats │ │ └── WordFrqncyCnt_vt │ │ ├── Makefile │ │ ├── README.md │ │ └── WordFrqncyCnt_vt.dats └── UNSORTED │ ├── CODE │ ├── Makefile │ ├── QueenPuzzle.dats │ └── QueenPuzzle_vt.dats │ ├── GLSEQ-intro.md │ ├── GSEQ-intro.md │ └── TBP-intro.md ├── libats ├── CATS │ ├── basics.cats │ ├── basics_bool.cats │ ├── basics_char.cats │ ├── basics_float.cats │ ├── basics_gint.cats │ ├── basics_gptr.cats │ ├── basics_string.cats │ ├── basics_stropt.cats │ ├── basics_unsafe.cats │ └── gint_fixed.cats ├── DATS │ ├── array.dats │ ├── array_bsearch.dats │ ├── array_quicksort.dats │ ├── basics.dats │ ├── bool.dats │ ├── char.dats │ ├── cmpeq.dats │ ├── filebas.dats │ ├── float.dats │ ├── gbas.dats │ ├── gint.dats │ ├── glseq.dats │ ├── glseq_array.dats │ ├── glseq_list0.dats │ ├── glseq_stream.dats │ ├── glseq_string.dats │ ├── gnum.dats │ ├── gord.dats │ ├── gptr.dats │ ├── grand.dats │ ├── gref.dats │ ├── gseq.dats │ ├── gseq_array.dats │ ├── gseq_cptr.dats │ ├── gseq_gint.dats │ ├── gseq_list0.dats │ ├── gseq_optn0.dats │ ├── gseq_stream.dats │ ├── gseq_string.dats │ ├── list.dats │ ├── list_rc.dats │ ├── list_vt.dats │ ├── list_vt_mergesort.dats │ ├── list_vt_quicksort.dats │ ├── optn.dats │ ├── optn_vt.dats │ ├── print.dats │ ├── qlist.dats │ ├── range.dats │ ├── refcnt.dats │ ├── stdio.dats │ ├── stdlib.dats │ ├── stream.dats │ ├── stream_vt.dats │ ├── string.dats │ ├── stropt.dats │ ├── tuple.dats │ └── unsafe.dats ├── SATS │ ├── array.sats │ ├── bool.sats │ ├── char.sats │ ├── cmpeq.sats │ ├── filebas.sats │ ├── float.sats │ ├── gbas.sats │ ├── gint.sats │ ├── glseq.sats │ ├── gnum.sats │ ├── gord.sats │ ├── gptr.sats │ ├── grand.sats │ ├── gref.sats │ ├── gseq.sats │ ├── list.sats │ ├── list_rc.sats │ ├── list_vt.sats │ ├── memory.sats │ ├── optn.sats │ ├── optn_vt.sats │ ├── print.sats │ ├── qlist.sats │ ├── range.sats │ ├── refcnt.sats │ ├── stdio.sats │ ├── stdlib.sats │ ├── stream.sats │ ├── stream_vt.sats │ ├── string.sats │ ├── stropt.sats │ ├── tuple.sats │ └── unsafe.sats ├── basics_dyn.sats ├── basics_gen.sats ├── basics_mac.hats ├── basics_pre.sats ├── basics_sta.sats ├── fixity.sats ├── libc │ ├── CATS │ │ ├── dirent.cats │ │ ├── math.cats │ │ ├── search.cats │ │ ├── signal.cats │ │ ├── stdlib.cats │ │ └── unistd.cats │ ├── DATS │ │ ├── dirent.dats │ │ ├── math.dats │ │ └── search.dats │ ├── SATS │ │ ├── dirent.sats │ │ ├── math.sats │ │ ├── search.sats │ │ ├── signal.sats │ │ ├── stdlib.sats │ │ └── unistd.sats │ └── TEST │ │ ├── Makefile │ │ ├── dirent │ │ ├── Makefile │ │ └── test01.dats │ │ └── search │ │ ├── Makefile │ │ └── test01.dats ├── params.hats └── temp │ ├── CATS │ ├── .keeper │ └── hashfun.cats │ ├── DATS │ ├── SHARE │ │ ├── funmap.hats │ │ ├── hashmap.hats │ │ └── linmap.hats │ ├── funmap_list.dats │ ├── hashfun.dats │ ├── hashmap_chain.dats │ ├── hmapref.dats │ ├── linmap_list.dats │ ├── qlistref.dats │ ├── slistref.dats │ └── taggedval.dats │ ├── SATS │ ├── SHARE │ │ ├── funmap.hats │ │ ├── hashmap.hats │ │ └── linmap.hats │ ├── funmap_list.sats │ ├── hashfun.sats │ ├── hashmap_chain.sats │ ├── hmapref.sats │ ├── linmap_list.sats │ ├── qlistref.sats │ ├── slistref.sats │ └── taggedval.sats │ ├── TEST │ ├── Makefile │ ├── funmap │ │ ├── Makefile │ │ └── test01.dats │ ├── hashmap │ │ ├── Makefile │ │ ├── test01.dats │ │ ├── test02.dats │ │ └── test03.dats │ ├── linmap │ │ ├── Makefile │ │ └── test01.dats │ ├── qlistref │ │ ├── Makefile │ │ └── test01.dats │ └── slistref │ │ ├── Makefile │ │ └── test01.dats │ ├── bucs320 │ ├── DATS │ │ ├── divconq.dats │ │ ├── glseq.dats │ │ ├── graph.dats │ │ ├── gtree.dats │ │ └── mylist.dats │ ├── SATS │ │ ├── divconq.sats │ │ ├── glseq.sats │ │ ├── graph.sats │ │ ├── gtree.sats │ │ └── mylist.sats │ └── TEST │ │ ├── Makefile │ │ ├── mylib.dats │ │ ├── mylib.sats │ │ ├── test01.dats │ │ ├── test02.dats │ │ ├── test03.dats │ │ ├── test04.dats │ │ ├── test05.dats │ │ ├── test06.dats │ │ └── test07.dats │ └── bucs520 │ ├── DATS │ ├── graph.dats │ └── gtree.dats │ ├── SATS │ ├── graph.sats │ └── gtree.sats │ └── TEST │ ├── Makefile │ ├── test01.dats │ └── test02.dats ├── share ├── HATS │ └── temptory_staload_bucs320.hats └── SCRIPT │ └── mytestall.sh ├── srcgen ├── BUILD │ └── .keeper ├── CBOOT │ ├── Makefile │ ├── README │ ├── ccomp │ │ └── runtime │ │ │ ├── GCATS │ │ │ ├── gcats1.cats │ │ │ ├── gcats1_master.hats │ │ │ ├── m32 │ │ │ │ ├── .keeper │ │ │ │ ├── gcats1_autops_dats.c │ │ │ │ ├── gcats1_chunk_dats.c │ │ │ │ ├── gcats1_collecting_dats.c │ │ │ │ ├── gcats1_freeitmlst_dats.c │ │ │ │ ├── gcats1_globalentry_dats.c │ │ │ │ ├── gcats1_manops_dats.c │ │ │ │ ├── gcats1_marking_dats.c │ │ │ │ ├── gcats1_misc_dats.c │ │ │ │ └── gcats1_top_dats.c │ │ │ └── m64 │ │ │ │ ├── .keeper │ │ │ │ ├── gcats1_autops_dats.c │ │ │ │ ├── gcats1_chunk_dats.c │ │ │ │ ├── gcats1_collecting_dats.c │ │ │ │ ├── gcats1_freeitmlst_dats.c │ │ │ │ ├── gcats1_globalentry_dats.c │ │ │ │ ├── gcats1_manops_dats.c │ │ │ │ ├── gcats1_marking_dats.c │ │ │ │ ├── gcats1_misc_dats.c │ │ │ │ └── gcats1_top_dats.c │ │ │ ├── ats_basics.h │ │ │ ├── ats_config.h │ │ │ ├── ats_exception.h │ │ │ ├── ats_memory.h │ │ │ ├── ats_prelude.c │ │ │ ├── ats_prelude_gcats.c │ │ │ ├── ats_prelude_gcbdw.c │ │ │ ├── ats_prelude_ngc.c │ │ │ ├── ats_types.h │ │ │ └── gcats1_all.cats │ ├── config.h │ ├── libats │ │ ├── CATS │ │ │ ├── hashtable_chain.cats │ │ │ ├── linqueue_arr.cats │ │ │ └── linqueue_lst.cats │ │ ├── DATS_funmap_avltree_dats.c │ │ ├── DATS_funmset_listord_dats.c │ │ ├── DATS_funset_avltree_dats.c │ │ ├── DATS_funset_listord_dats.c │ │ ├── DATS_hashtable_chain_dats.c │ │ ├── DATS_hashtable_linprb_dats.c │ │ ├── DATS_linqueue_arr_dats.c │ │ ├── DATS_linqueue_lst_dats.c │ │ ├── Makefile │ │ ├── SATS_funmap_avltree_sats.c │ │ ├── SATS_funmset_listord_sats.c │ │ ├── SATS_funset_avltree_sats.c │ │ ├── SATS_funset_listord_sats.c │ │ ├── SATS_hashtable_chain_sats.c │ │ ├── SATS_hashtable_linprb_sats.c │ │ ├── SATS_linqueue_arr_sats.c │ │ ├── SATS_linqueue_lst_sats.c │ │ ├── ngc │ │ │ └── CATS │ │ │ │ └── deque_arr.cats │ │ ├── ngc_DATS_deque_arr_dats.c │ │ └── ngc_SATS_deque_arr_sats.c │ ├── libc │ │ ├── CATS │ │ │ ├── errno.cats │ │ │ ├── fcntl.cats │ │ │ ├── gmp.cats │ │ │ ├── stdarg.cats │ │ │ ├── stdio.cats │ │ │ ├── stdlib.cats │ │ │ ├── string.cats │ │ │ ├── time.cats │ │ │ └── unistd.cats │ │ ├── DATS_fcntl_dats.c │ │ ├── DATS_gmp_dats.c │ │ ├── DATS_unistd_dats.c │ │ ├── Makefile │ │ ├── SATS_errno_sats.c │ │ ├── SATS_fcntl_sats.c │ │ ├── SATS_gmp_sats.c │ │ ├── SATS_stdarg_sats.c │ │ ├── SATS_stdio_sats.c │ │ ├── SATS_stdlib_sats.c │ │ ├── SATS_string_sats.c │ │ ├── SATS_time_sats.c │ │ ├── SATS_unistd_sats.c │ │ ├── sys │ │ │ └── CATS │ │ │ │ ├── stat.cats │ │ │ │ ├── types.cats │ │ │ │ └── wait.cats │ │ ├── sys_SATS_stat_sats.c │ │ ├── sys_SATS_types_sats.c │ │ └── sys_SATS_wait_sats.c │ └── prelude │ │ ├── CATS │ │ ├── array.cats │ │ ├── basics.cats │ │ ├── bool.cats │ │ ├── byte.cats │ │ ├── char.cats │ │ ├── float.cats │ │ ├── integer.cats │ │ ├── integer_fixed.cats │ │ ├── integer_ptr.cats │ │ ├── lazy.cats │ │ ├── lazy_vt.cats │ │ ├── list.cats │ │ ├── matrix.cats │ │ ├── option.cats │ │ ├── pointer.cats │ │ ├── printf.cats │ │ ├── reference.cats │ │ ├── sizetype.cats │ │ └── string.cats │ │ ├── DATS_array0_dats.c │ │ ├── DATS_array_dats.c │ │ ├── DATS_basics_dats.c │ │ ├── DATS_bool_dats.c │ │ ├── DATS_char_dats.c │ │ ├── DATS_filebas_dats.c │ │ ├── DATS_float_dats.c │ │ ├── DATS_integer_dats.c │ │ ├── DATS_lazy_dats.c │ │ ├── DATS_lazy_vt_dats.c │ │ ├── DATS_list0_dats.c │ │ ├── DATS_list_dats.c │ │ ├── DATS_list_vt_dats.c │ │ ├── DATS_matrix0_dats.c │ │ ├── DATS_matrix_dats.c │ │ ├── DATS_option0_dats.c │ │ ├── DATS_option_dats.c │ │ ├── DATS_option_vt_dats.c │ │ ├── DATS_pointer_dats.c │ │ ├── DATS_printf_dats.c │ │ ├── DATS_ptrarr_dats.c │ │ ├── DATS_reference_dats.c │ │ ├── DATS_sizetype_dats.c │ │ ├── DATS_string_dats.c │ │ ├── DATS_unsafe_dats.c │ │ ├── Makefile │ │ ├── ats_main_prelude_dats.c │ │ ├── basics_dyn_sats.c │ │ └── basics_sta_sats.c ├── Makefile ├── Makefile.atxt ├── Makefile.exe ├── Makefile.gen ├── Makefile_CBOOTgmp ├── Makefile_CBOOTint ├── pats_atspre.dats ├── pats_basics.dats ├── pats_basics.hats ├── pats_basics.sats ├── pats_ccomp.dats ├── pats_ccomp.sats ├── pats_ccomp_caseof.dats ├── pats_ccomp_ccompenv.dats ├── pats_ccomp_claulst.dats ├── pats_ccomp_d2env.dats ├── pats_ccomp_decl.dats ├── pats_ccomp_dynexp.dats ├── pats_ccomp_emit.dats ├── pats_ccomp_emit2.dats ├── pats_ccomp_emit3.dats ├── pats_ccomp_environ.dats ├── pats_ccomp_funent.dats ├── pats_ccomp_funlab.dats ├── pats_ccomp_hipat.dats ├── pats_ccomp_hitype.dats ├── pats_ccomp_instrseq.dats ├── pats_ccomp_lazyeval.dats ├── pats_ccomp_looping.dats ├── pats_ccomp_main.dats ├── pats_ccomp_print.dats ├── pats_ccomp_subst.dats ├── pats_ccomp_template.dats ├── pats_ccomp_tmplab.dats ├── pats_ccomp_tmpvar.dats ├── pats_ccomp_trywith.dats ├── pats_ccomp_util.dats ├── pats_codegen2.dats ├── pats_codegen2.sats ├── pats_codegen2_absrec.dats ├── pats_codegen2_datype.dats ├── pats_codegen2_fprint.dats ├── pats_codegen2_util.dats ├── pats_comarg.dats ├── pats_comarg.sats ├── pats_constraint3.dats ├── pats_constraint3.sats ├── pats_constraint3_appenv.hats ├── pats_constraint3_icnstr.dats ├── pats_constraint3_init.dats ├── pats_constraint3_jsonize.dats ├── pats_constraint3_mapgen.dats ├── pats_constraint3_print.dats ├── pats_constraint3_simplify.dats ├── pats_constraint3_solve.dats ├── pats_counter.dats ├── pats_counter.sats ├── pats_depgen.dats ├── pats_depgen.sats ├── pats_dmacro2.dats ├── pats_dmacro2.sats ├── pats_dmacro2_eval0.dats ├── pats_dmacro2_eval1.dats ├── pats_dmacro2_print.dats ├── pats_dyncst2.dats ├── pats_dyncst2.sats ├── pats_dynexp1.dats ├── pats_dynexp1.sats ├── pats_dynexp1_print.dats ├── pats_dynexp2.dats ├── pats_dynexp2.sats ├── pats_dynexp2_appenv.hats ├── pats_dynexp2_dcst.dats ├── pats_dynexp2_dmac.dats ├── pats_dynexp2_dvar.dats ├── pats_dynexp2_mapgen.dats ├── pats_dynexp2_print.dats ├── pats_dynexp2_util.dats ├── pats_dynexp3.dats ├── pats_dynexp3.sats ├── pats_dynexp3_print.dats ├── pats_e1xpval.dats ├── pats_e1xpval.sats ├── pats_e1xpval_error.dats ├── pats_effect.dats ├── pats_effect.sats ├── pats_errmsg.dats ├── pats_errmsg.sats ├── pats_error.dats ├── pats_error.sats ├── pats_filename.dats ├── pats_filename.sats ├── pats_filename_reloc.dats ├── pats_fixity.sats ├── pats_fixity_fxty.dats ├── pats_fixity_prec.dats ├── pats_global.dats ├── pats_global.sats ├── pats_hidynexp.dats ├── pats_hidynexp.sats ├── pats_hidynexp_print.dats ├── pats_hidynexp_util.dats ├── pats_histaexp.dats ├── pats_histaexp.sats ├── pats_histaexp_funlab.dats ├── pats_histaexp_print.dats ├── pats_intinf.dats ├── pats_intinf.sats ├── pats_intinf_gmp.hats ├── pats_intinf_int.hats ├── pats_jsonize.dats ├── pats_jsonize.sats ├── pats_jsonize_synent2.dats ├── pats_jsonize_synent2.sats ├── pats_label.dats ├── pats_label.sats ├── pats_lexbuf.cats ├── pats_lexbuf.dats ├── pats_lexbuf.sats ├── pats_lexing.cats ├── pats_lexing.dats ├── pats_lexing.sats ├── pats_lexing_error.dats ├── pats_lexing_print.dats ├── pats_lexing_token.dats ├── pats_lintprgm.dats ├── pats_lintprgm.sats ├── pats_lintprgm_myint.cats ├── pats_lintprgm_myint.dats ├── pats_lintprgm_myint_gmp.dats ├── pats_lintprgm_myint_int.dats ├── pats_lintprgm_print.dats ├── pats_lintprgm_solve.dats ├── pats_location.cats ├── pats_location.dats ├── pats_location.sats ├── pats_main.dats ├── pats_namespace.dats ├── pats_namespace.sats ├── pats_params.hats ├── pats_parsing.dats ├── pats_parsing.sats ├── pats_parsing_base.dats ├── pats_parsing_decl.dats ├── pats_parsing_dynexp.dats ├── pats_parsing_e0xp.dats ├── pats_parsing_error.dats ├── pats_parsing_kwds.dats ├── pats_parsing_p0at.dats ├── pats_parsing_sort.dats ├── pats_parsing_staexp.dats ├── pats_parsing_toplevel.dats ├── pats_parsing_util.dats ├── pats_patcst2.dats ├── pats_patcst2.sats ├── pats_reader.cats ├── pats_reader.dats ├── pats_reader.sats ├── pats_stacst2.dats ├── pats_stacst2.sats ├── pats_staexp1.dats ├── pats_staexp1.sats ├── pats_staexp1_print.dats ├── pats_staexp2.dats ├── pats_staexp2.sats ├── pats_staexp2_appenv.hats ├── pats_staexp2_ctxt.dats ├── pats_staexp2_dcon.dats ├── pats_staexp2_error.dats ├── pats_staexp2_error.sats ├── pats_staexp2_hole.dats ├── pats_staexp2_pprint.dats ├── pats_staexp2_print.dats ├── pats_staexp2_scst.dats ├── pats_staexp2_skexp.dats ├── pats_staexp2_solve.dats ├── pats_staexp2_solve.sats ├── pats_staexp2_sort.dats ├── pats_staexp2_svar.dats ├── pats_staexp2_svvar.dats ├── pats_staexp2_szexp.dats ├── pats_staexp2_util.sats ├── pats_staexp2_util1.dats ├── pats_staexp2_util2.dats ├── pats_staexp2_util3.dats ├── pats_stamp.dats ├── pats_stamp.sats ├── pats_symbol.dats ├── pats_symbol.sats ├── pats_symenv.dats ├── pats_symenv.sats ├── pats_symmap.dats ├── pats_symmap.sats ├── pats_symmap_avltree.hats ├── pats_symmap_htlinprb.hats ├── pats_syntax.dats ├── pats_syntax.sats ├── pats_syntax_print.dats ├── pats_taggen.dats ├── pats_taggen.sats ├── pats_tokbuf.cats ├── pats_tokbuf.dats ├── pats_tokbuf.sats ├── pats_trans1.sats ├── pats_trans1_decl.dats ├── pats_trans1_dynexp.dats ├── pats_trans1_e0xp.dats ├── pats_trans1_effect.dats ├── pats_trans1_env.dats ├── pats_trans1_env.sats ├── pats_trans1_error.dats ├── pats_trans1_p0at.dats ├── pats_trans1_sort.dats ├── pats_trans1_staexp.dats ├── pats_trans1_syndef.dats ├── pats_trans2.sats ├── pats_trans2_decl.dats ├── pats_trans2_dynexp.dats ├── pats_trans2_env.dats ├── pats_trans2_env.sats ├── pats_trans2_error.dats ├── pats_trans2_impdec.dats ├── pats_trans2_p1at.dats ├── pats_trans2_sort.dats ├── pats_trans2_staexp.dats ├── pats_trans3.sats ├── pats_trans3_appsym.dats ├── pats_trans3_assgn.dats ├── pats_trans3_caseof.dats ├── pats_trans3_decl.dats ├── pats_trans3_deref.dats ├── pats_trans3_dynexp_dn.dats ├── pats_trans3_dynexp_up.dats ├── pats_trans3_env.dats ├── pats_trans3_env.sats ├── pats_trans3_env_dvar.dats ├── pats_trans3_env_effect.dats ├── pats_trans3_env_lamlp.dats ├── pats_trans3_env_lstate.dats ├── pats_trans3_env_pfman.dats ├── pats_trans3_env_print.dats ├── pats_trans3_env_scst.dats ├── pats_trans3_env_svar.dats ├── pats_trans3_env_termet.dats ├── pats_trans3_error.dats ├── pats_trans3_fldfrat.dats ├── pats_trans3_looping.dats ├── pats_trans3_lvalres.dats ├── pats_trans3_p2at.dats ├── pats_trans3_patcon.dats ├── pats_trans3_ptrof.dats ├── pats_trans3_selab.dats ├── pats_trans3_syncst.dats ├── pats_trans3_util.dats ├── pats_trans3_viewat.dats ├── pats_trans3_xchng.dats ├── pats_typerase.sats ├── pats_typerase_decl.dats ├── pats_typerase_dynexp.dats ├── pats_typerase_error.dats ├── pats_typerase_staexp.dats ├── pats_utils.dats └── pats_utils.sats ├── travis-ci ├── install-ats1.sh ├── install-ats2.sh └── travis.yml └── utils ├── mytempacc ├── BUILD │ └── .keeper ├── DATS │ └── mytempacc.dats ├── Makefile └── Makefile_build └── tempacc ├── BUILD └── .keeper ├── DATS ├── atscc_main.dats ├── atscc_print.dats ├── atscc_util.dats ├── tempacc.dats └── util.dats ├── DOCUGEN ├── Makefile └── tempaccman.atxt ├── Makefile ├── Makefile_build ├── README └── SATS ├── atscc.sats └── util.sats /.travis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/.travis.yml -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/README.md -------------------------------------------------------------------------------- /VERSION: -------------------------------------------------------------------------------- 1 | 0.0.0 -------------------------------------------------------------------------------- /bin/.keeper: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /ccomp/runtime/temptory_basics.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/ccomp/runtime/temptory_basics.h -------------------------------------------------------------------------------- /ccomp/runtime/temptory_config.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/ccomp/runtime/temptory_config.h -------------------------------------------------------------------------------- /ccomp/runtime/temptory_exception.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/ccomp/runtime/temptory_exception.h -------------------------------------------------------------------------------- /ccomp/runtime/temptory_instrset.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/ccomp/runtime/temptory_instrset.h -------------------------------------------------------------------------------- /ccomp/runtime/temptory_memalloc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/ccomp/runtime/temptory_memalloc.h -------------------------------------------------------------------------------- /ccomp/runtime/temptory_memalloc_gcbdw.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/ccomp/runtime/temptory_memalloc_gcbdw.h -------------------------------------------------------------------------------- /ccomp/runtime/temptory_memalloc_libc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/ccomp/runtime/temptory_memalloc_libc.h -------------------------------------------------------------------------------- /ccomp/runtime/temptory_memalloc_user.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/ccomp/runtime/temptory_memalloc_user.h -------------------------------------------------------------------------------- /ccomp/runtime/temptory_memalloc_user2.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/ccomp/runtime/temptory_memalloc_user2.h -------------------------------------------------------------------------------- /ccomp/runtime/temptory_memalloca.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/ccomp/runtime/temptory_memalloca.h -------------------------------------------------------------------------------- /ccomp/runtime/temptory_runtime.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/ccomp/runtime/temptory_runtime.c -------------------------------------------------------------------------------- /ccomp/runtime/temptory_runtime2.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/ccomp/runtime/temptory_runtime2.dats -------------------------------------------------------------------------------- /ccomp/runtime/temptory_runtime2_dats.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/ccomp/runtime/temptory_runtime2_dats.c -------------------------------------------------------------------------------- /ccomp/runtime/temptory_runtime_memory.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/ccomp/runtime/temptory_runtime_memory.c -------------------------------------------------------------------------------- /ccomp/runtime/temptory_runtime_trywith.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/ccomp/runtime/temptory_runtime_trywith.c -------------------------------------------------------------------------------- /ccomp/runtime/temptory_typedefs.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/ccomp/runtime/temptory_typedefs.h -------------------------------------------------------------------------------- /contrib/githwxi/PACKAGE/temptory-hx-csv-parse/DATS/csv_parse.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/contrib/githwxi/PACKAGE/temptory-hx-csv-parse/DATS/csv_parse.dats -------------------------------------------------------------------------------- /contrib/githwxi/PACKAGE/temptory-hx-csv-parse/DATS/csv_parse_line.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/contrib/githwxi/PACKAGE/temptory-hx-csv-parse/DATS/csv_parse_line.dats -------------------------------------------------------------------------------- /contrib/githwxi/PACKAGE/temptory-hx-csv-parse/TEST/DATA/test02.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/contrib/githwxi/PACKAGE/temptory-hx-csv-parse/TEST/DATA/test02.csv -------------------------------------------------------------------------------- /contrib/githwxi/PACKAGE/temptory-hx-csv-parse/TEST/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/contrib/githwxi/PACKAGE/temptory-hx-csv-parse/TEST/Makefile -------------------------------------------------------------------------------- /contrib/githwxi/PACKAGE/temptory-hx-csv-parse/TEST/test01.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/contrib/githwxi/PACKAGE/temptory-hx-csv-parse/TEST/test01.dats -------------------------------------------------------------------------------- /contrib/githwxi/PACKAGE/temptory-hx-csv-parse/TEST/test02.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/contrib/githwxi/PACKAGE/temptory-hx-csv-parse/TEST/test02.dats -------------------------------------------------------------------------------- /contrib/githwxi/PACKAGE/temptory-hx-csv-parse/TEST/test03.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/contrib/githwxi/PACKAGE/temptory-hx-csv-parse/TEST/test03.dats -------------------------------------------------------------------------------- /contrib/githwxi/PACKAGE/temptory-hx-csv-parse/mylibies.hats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/contrib/githwxi/PACKAGE/temptory-hx-csv-parse/mylibies.hats -------------------------------------------------------------------------------- /contrib/githwxi/PACKAGE/temptory-hx-csv-parse/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/contrib/githwxi/PACKAGE/temptory-hx-csv-parse/package.json -------------------------------------------------------------------------------- /contrib/githwxi/PACKAGE/temptory-hx-csv-process/DATS/csv_process.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/contrib/githwxi/PACKAGE/temptory-hx-csv-process/DATS/csv_process.dats -------------------------------------------------------------------------------- /contrib/githwxi/PACKAGE/temptory-hx-csv-process/SATS/csv_process.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/contrib/githwxi/PACKAGE/temptory-hx-csv-process/SATS/csv_process.sats -------------------------------------------------------------------------------- /contrib/githwxi/PACKAGE/temptory-hx-csv-process/TEST/DATA/Accepted-06-06.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/contrib/githwxi/PACKAGE/temptory-hx-csv-process/TEST/DATA/Accepted-06-06.csv -------------------------------------------------------------------------------- /contrib/githwxi/PACKAGE/temptory-hx-csv-process/TEST/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/contrib/githwxi/PACKAGE/temptory-hx-csv-process/TEST/Makefile -------------------------------------------------------------------------------- /contrib/githwxi/PACKAGE/temptory-hx-csv-process/TEST/test01.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/contrib/githwxi/PACKAGE/temptory-hx-csv-process/TEST/test01.dats -------------------------------------------------------------------------------- /contrib/githwxi/PACKAGE/temptory-hx-csv-process/mydepies.hats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/contrib/githwxi/PACKAGE/temptory-hx-csv-process/mydepies.hats -------------------------------------------------------------------------------- /contrib/githwxi/PACKAGE/temptory-hx-csv-process/mylibies.hats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/contrib/githwxi/PACKAGE/temptory-hx-csv-process/mylibies.hats -------------------------------------------------------------------------------- /contrib/githwxi/PACKAGE/temptory-hx-csv-process/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/contrib/githwxi/PACKAGE/temptory-hx-csv-process/package.json -------------------------------------------------------------------------------- /contrib/githwxi/PACKAGE/temptory-hx-libpcre/CATS/pcre.cats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/contrib/githwxi/PACKAGE/temptory-hx-libpcre/CATS/pcre.cats -------------------------------------------------------------------------------- /contrib/githwxi/PACKAGE/temptory-hx-libpcre/DATS/pcre.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/contrib/githwxi/PACKAGE/temptory-hx-libpcre/DATS/pcre.dats -------------------------------------------------------------------------------- /contrib/githwxi/PACKAGE/temptory-hx-libpcre/SATS/pcre.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/contrib/githwxi/PACKAGE/temptory-hx-libpcre/SATS/pcre.sats -------------------------------------------------------------------------------- /contrib/githwxi/PACKAGE/temptory-hx-libpcre/TEST/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/contrib/githwxi/PACKAGE/temptory-hx-libpcre/TEST/Makefile -------------------------------------------------------------------------------- /contrib/githwxi/PACKAGE/temptory-hx-libpcre/TEST/test00.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/contrib/githwxi/PACKAGE/temptory-hx-libpcre/TEST/test00.dats -------------------------------------------------------------------------------- /contrib/githwxi/PACKAGE/temptory-hx-libpcre/TEST/test01.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/contrib/githwxi/PACKAGE/temptory-hx-libpcre/TEST/test01.dats -------------------------------------------------------------------------------- /contrib/githwxi/PACKAGE/temptory-hx-libpcre/TEST/test02.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/contrib/githwxi/PACKAGE/temptory-hx-libpcre/TEST/test02.dats -------------------------------------------------------------------------------- /contrib/githwxi/PACKAGE/temptory-hx-libpcre/TEST/test03.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/contrib/githwxi/PACKAGE/temptory-hx-libpcre/TEST/test03.dats -------------------------------------------------------------------------------- /contrib/githwxi/PACKAGE/temptory-hx-libpcre/TEST/test04.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/contrib/githwxi/PACKAGE/temptory-hx-libpcre/TEST/test04.dats -------------------------------------------------------------------------------- /contrib/githwxi/PACKAGE/temptory-hx-libpcre/TEST/test05.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/contrib/githwxi/PACKAGE/temptory-hx-libpcre/TEST/test05.dats -------------------------------------------------------------------------------- /contrib/githwxi/PACKAGE/temptory-hx-libpcre/mylibies.hats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/contrib/githwxi/PACKAGE/temptory-hx-libpcre/mylibies.hats -------------------------------------------------------------------------------- /contrib/githwxi/PACKAGE/temptory-hx-libpcre/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/contrib/githwxi/PACKAGE/temptory-hx-libpcre/package.json -------------------------------------------------------------------------------- /contrib/githwxi/TEST00/DATA/2701-0.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/contrib/githwxi/TEST00/DATA/2701-0.txt -------------------------------------------------------------------------------- /contrib/githwxi/TEST00/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/contrib/githwxi/TEST00/Makefile -------------------------------------------------------------------------------- /contrib/githwxi/TEST00/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/contrib/githwxi/TEST00/README.md -------------------------------------------------------------------------------- /contrib/githwxi/TEST00/mylib.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/contrib/githwxi/TEST00/mylib.dats -------------------------------------------------------------------------------- /contrib/githwxi/TEST00/mylib.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/contrib/githwxi/TEST00/mylib.sats -------------------------------------------------------------------------------- /contrib/githwxi/TEST00/test00.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/contrib/githwxi/TEST00/test00.dats -------------------------------------------------------------------------------- /contrib/githwxi/TEST00/test01.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/contrib/githwxi/TEST00/test01.dats -------------------------------------------------------------------------------- /contrib/githwxi/TEST00/test02.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/contrib/githwxi/TEST00/test02.dats -------------------------------------------------------------------------------- /contrib/githwxi/TEST00/test03.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/contrib/githwxi/TEST00/test03.dats -------------------------------------------------------------------------------- /contrib/githwxi/TEST00/test04.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/contrib/githwxi/TEST00/test04.dats -------------------------------------------------------------------------------- /contrib/githwxi/TEST00/test05.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/contrib/githwxi/TEST00/test05.dats -------------------------------------------------------------------------------- /contrib/githwxi/TEST00/test06.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/contrib/githwxi/TEST00/test06.dats -------------------------------------------------------------------------------- /contrib/githwxi/TEST00/test07.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/contrib/githwxi/TEST00/test07.dats -------------------------------------------------------------------------------- /contrib/githwxi/TEST00/test08.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/contrib/githwxi/TEST00/test08.dats -------------------------------------------------------------------------------- /contrib/githwxi/TEST00/test09.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/contrib/githwxi/TEST00/test09.dats -------------------------------------------------------------------------------- /contrib/githwxi/TEST00/test10.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/contrib/githwxi/TEST00/test10.dats -------------------------------------------------------------------------------- /contrib/githwxi/TEST00/test11.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/contrib/githwxi/TEST00/test11.dats -------------------------------------------------------------------------------- /contrib/githwxi/TEST00/test12.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/contrib/githwxi/TEST00/test12.dats -------------------------------------------------------------------------------- /contrib/githwxi/TEST00/test13.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/contrib/githwxi/TEST00/test13.dats -------------------------------------------------------------------------------- /contrib/githwxi/TEST00/test14.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/contrib/githwxi/TEST00/test14.dats -------------------------------------------------------------------------------- /contrib/githwxi/TEST00/test15.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/contrib/githwxi/TEST00/test15.dats -------------------------------------------------------------------------------- /contrib/githwxi/TEST00/test16.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/contrib/githwxi/TEST00/test16.dats -------------------------------------------------------------------------------- /contrib/githwxi/TEST00/test17.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/contrib/githwxi/TEST00/test17.dats -------------------------------------------------------------------------------- /contrib/githwxi/TEST00/test18.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/contrib/githwxi/TEST00/test18.dats -------------------------------------------------------------------------------- /contrib/githwxi/TEST00/test19.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/contrib/githwxi/TEST00/test19.dats -------------------------------------------------------------------------------- /contrib/githwxi/TEST00/test20.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/contrib/githwxi/TEST00/test20.dats -------------------------------------------------------------------------------- /contrib/githwxi/TEST00/test21.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/contrib/githwxi/TEST00/test21.dats -------------------------------------------------------------------------------- /contrib/githwxi/TEST00/test22.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/contrib/githwxi/TEST00/test22.dats -------------------------------------------------------------------------------- /contrib/githwxi/TEST00/test23.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/contrib/githwxi/TEST00/test23.dats -------------------------------------------------------------------------------- /contrib/githwxi/TEST00/test24.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/contrib/githwxi/TEST00/test24.dats -------------------------------------------------------------------------------- /contrib/githwxi/TEST00/test25.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/contrib/githwxi/TEST00/test25.dats -------------------------------------------------------------------------------- /contrib/githwxi/TEST00/test26.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/contrib/githwxi/TEST00/test26.dats -------------------------------------------------------------------------------- /contrib/githwxi/TEST01/DATA/test01.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/contrib/githwxi/TEST01/DATA/test01.csv -------------------------------------------------------------------------------- /contrib/githwxi/TEST01/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/contrib/githwxi/TEST01/Makefile -------------------------------------------------------------------------------- /contrib/githwxi/TEST01/mylib.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/contrib/githwxi/TEST01/mylib.dats -------------------------------------------------------------------------------- /contrib/githwxi/TEST01/mylib.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/contrib/githwxi/TEST01/mylib.sats -------------------------------------------------------------------------------- /contrib/githwxi/TEST01/node_modules/temptory-hx-csv-parse/DATS/csv_parse.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/contrib/githwxi/TEST01/node_modules/temptory-hx-csv-parse/DATS/csv_parse.dats -------------------------------------------------------------------------------- /contrib/githwxi/TEST01/node_modules/temptory-hx-csv-parse/DATS/csv_parse_line.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/contrib/githwxi/TEST01/node_modules/temptory-hx-csv-parse/DATS/csv_parse_line.dats -------------------------------------------------------------------------------- /contrib/githwxi/TEST01/node_modules/temptory-hx-csv-parse/TEST/DATA/test02.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/contrib/githwxi/TEST01/node_modules/temptory-hx-csv-parse/TEST/DATA/test02.csv -------------------------------------------------------------------------------- /contrib/githwxi/TEST01/node_modules/temptory-hx-csv-parse/TEST/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/contrib/githwxi/TEST01/node_modules/temptory-hx-csv-parse/TEST/Makefile -------------------------------------------------------------------------------- /contrib/githwxi/TEST01/node_modules/temptory-hx-csv-parse/TEST/test01.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/contrib/githwxi/TEST01/node_modules/temptory-hx-csv-parse/TEST/test01.dats -------------------------------------------------------------------------------- /contrib/githwxi/TEST01/node_modules/temptory-hx-csv-parse/TEST/test02.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/contrib/githwxi/TEST01/node_modules/temptory-hx-csv-parse/TEST/test02.dats -------------------------------------------------------------------------------- /contrib/githwxi/TEST01/node_modules/temptory-hx-csv-parse/mylibies.hats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/contrib/githwxi/TEST01/node_modules/temptory-hx-csv-parse/mylibies.hats -------------------------------------------------------------------------------- /contrib/githwxi/TEST01/node_modules/temptory-hx-csv-parse/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/contrib/githwxi/TEST01/node_modules/temptory-hx-csv-parse/package.json -------------------------------------------------------------------------------- /contrib/githwxi/TEST01/node_modules/temptory-hx-libpcre/CATS/pcre.cats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/contrib/githwxi/TEST01/node_modules/temptory-hx-libpcre/CATS/pcre.cats -------------------------------------------------------------------------------- /contrib/githwxi/TEST01/node_modules/temptory-hx-libpcre/DATS/pcre.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/contrib/githwxi/TEST01/node_modules/temptory-hx-libpcre/DATS/pcre.dats -------------------------------------------------------------------------------- /contrib/githwxi/TEST01/node_modules/temptory-hx-libpcre/SATS/pcre.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/contrib/githwxi/TEST01/node_modules/temptory-hx-libpcre/SATS/pcre.sats -------------------------------------------------------------------------------- /contrib/githwxi/TEST01/node_modules/temptory-hx-libpcre/TEST/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/contrib/githwxi/TEST01/node_modules/temptory-hx-libpcre/TEST/Makefile -------------------------------------------------------------------------------- /contrib/githwxi/TEST01/node_modules/temptory-hx-libpcre/TEST/test00.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/contrib/githwxi/TEST01/node_modules/temptory-hx-libpcre/TEST/test00.dats -------------------------------------------------------------------------------- /contrib/githwxi/TEST01/node_modules/temptory-hx-libpcre/TEST/test01.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/contrib/githwxi/TEST01/node_modules/temptory-hx-libpcre/TEST/test01.dats -------------------------------------------------------------------------------- /contrib/githwxi/TEST01/node_modules/temptory-hx-libpcre/TEST/test02.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/contrib/githwxi/TEST01/node_modules/temptory-hx-libpcre/TEST/test02.dats -------------------------------------------------------------------------------- /contrib/githwxi/TEST01/node_modules/temptory-hx-libpcre/TEST/test03.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/contrib/githwxi/TEST01/node_modules/temptory-hx-libpcre/TEST/test03.dats -------------------------------------------------------------------------------- /contrib/githwxi/TEST01/node_modules/temptory-hx-libpcre/TEST/test04.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/contrib/githwxi/TEST01/node_modules/temptory-hx-libpcre/TEST/test04.dats -------------------------------------------------------------------------------- /contrib/githwxi/TEST01/node_modules/temptory-hx-libpcre/TEST/test05.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/contrib/githwxi/TEST01/node_modules/temptory-hx-libpcre/TEST/test05.dats -------------------------------------------------------------------------------- /contrib/githwxi/TEST01/node_modules/temptory-hx-libpcre/mylibies.hats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/contrib/githwxi/TEST01/node_modules/temptory-hx-libpcre/mylibies.hats -------------------------------------------------------------------------------- /contrib/githwxi/TEST01/node_modules/temptory-hx-libpcre/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/contrib/githwxi/TEST01/node_modules/temptory-hx-libpcre/package.json -------------------------------------------------------------------------------- /contrib/githwxi/TEST01/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/contrib/githwxi/TEST01/package.json -------------------------------------------------------------------------------- /contrib/githwxi/TEST01/test01.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/contrib/githwxi/TEST01/test01.dats -------------------------------------------------------------------------------- /contrib/githwxi/TEST01/test02.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/contrib/githwxi/TEST01/test02.dats -------------------------------------------------------------------------------- /contrib/githwxi/TEST01/test03.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/contrib/githwxi/TEST01/test03.dats -------------------------------------------------------------------------------- /contrib/sparverius/.keeper: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /contrib/sparverius/DATS/gseq_sint.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/contrib/sparverius/DATS/gseq_sint.dats -------------------------------------------------------------------------------- /contrib/sparverius/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/contrib/sparverius/Makefile -------------------------------------------------------------------------------- /contrib/sparverius/test01.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/contrib/sparverius/test01.dats -------------------------------------------------------------------------------- /contrib/sparverius/test02.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/contrib/sparverius/test02.dats -------------------------------------------------------------------------------- /contrib/sparverius/test03.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/contrib/sparverius/test03.dats -------------------------------------------------------------------------------- /docgen/CodeBook/PLAYGROUND/.keeper: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /docgen/CodeBook/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/docgen/CodeBook/README.md -------------------------------------------------------------------------------- /docgen/CodeBook/RECIPE/CSV-Processing/CSV-Processing.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/docgen/CodeBook/RECIPE/CSV-Processing/CSV-Processing.dats -------------------------------------------------------------------------------- /docgen/CodeBook/RECIPE/CSV-Processing/DATA/myclass.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/docgen/CodeBook/RECIPE/CSV-Processing/DATA/myclass.csv -------------------------------------------------------------------------------- /docgen/CodeBook/RECIPE/CSV-Processing/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/docgen/CodeBook/RECIPE/CSV-Processing/Makefile -------------------------------------------------------------------------------- /docgen/CodeBook/RECIPE/CSV-Processing/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/docgen/CodeBook/RECIPE/CSV-Processing/README.md -------------------------------------------------------------------------------- /docgen/CodeBook/RECIPE/CSV-Processing/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/docgen/CodeBook/RECIPE/CSV-Processing/package.json -------------------------------------------------------------------------------- /docgen/CodeBook/RECIPE/Doublets/Doublets.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/docgen/CodeBook/RECIPE/Doublets/Doublets.dats -------------------------------------------------------------------------------- /docgen/CodeBook/RECIPE/Doublets/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/docgen/CodeBook/RECIPE/Doublets/Makefile -------------------------------------------------------------------------------- /docgen/CodeBook/RECIPE/Doublets/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/docgen/CodeBook/RECIPE/Doublets/README.md -------------------------------------------------------------------------------- /docgen/CodeBook/RECIPE/Game-of-24/Game-of-24.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/docgen/CodeBook/RECIPE/Game-of-24/Game-of-24.dats -------------------------------------------------------------------------------- /docgen/CodeBook/RECIPE/Game-of-24/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/docgen/CodeBook/RECIPE/Game-of-24/Makefile -------------------------------------------------------------------------------- /docgen/CodeBook/RECIPE/Game-of-24/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/docgen/CodeBook/RECIPE/Game-of-24/README.md -------------------------------------------------------------------------------- /docgen/CodeBook/RECIPE/Hello/Hello.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/docgen/CodeBook/RECIPE/Hello/Hello.dats -------------------------------------------------------------------------------- /docgen/CodeBook/RECIPE/Hello/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/docgen/CodeBook/RECIPE/Hello/Makefile -------------------------------------------------------------------------------- /docgen/CodeBook/RECIPE/Hello/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/docgen/CodeBook/RECIPE/Hello/README.md -------------------------------------------------------------------------------- /docgen/CodeBook/RECIPE/LambdaCal/LambdaCal.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/docgen/CodeBook/RECIPE/LambdaCal/LambdaCal.dats -------------------------------------------------------------------------------- /docgen/CodeBook/RECIPE/LambdaCal/LambdaCal_rc.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/docgen/CodeBook/RECIPE/LambdaCal/LambdaCal_rc.dats -------------------------------------------------------------------------------- /docgen/CodeBook/RECIPE/LambdaCal/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/docgen/CodeBook/RECIPE/LambdaCal/Makefile -------------------------------------------------------------------------------- /docgen/CodeBook/RECIPE/LambdaCal/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/docgen/CodeBook/RECIPE/LambdaCal/README.md -------------------------------------------------------------------------------- /docgen/CodeBook/RECIPE/LongestLine/LongestLine.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/docgen/CodeBook/RECIPE/LongestLine/LongestLine.dats -------------------------------------------------------------------------------- /docgen/CodeBook/RECIPE/LongestLine/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/docgen/CodeBook/RECIPE/LongestLine/Makefile -------------------------------------------------------------------------------- /docgen/CodeBook/RECIPE/LongestLine/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/docgen/CodeBook/RECIPE/LongestLine/README.md -------------------------------------------------------------------------------- /docgen/CodeBook/RECIPE/Makefile_test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/docgen/CodeBook/RECIPE/Makefile_test -------------------------------------------------------------------------------- /docgen/CodeBook/RECIPE/ReadFromSTDIN/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/docgen/CodeBook/RECIPE/ReadFromSTDIN/Makefile -------------------------------------------------------------------------------- /docgen/CodeBook/RECIPE/ReadFromSTDIN/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/docgen/CodeBook/RECIPE/ReadFromSTDIN/README.md -------------------------------------------------------------------------------- /docgen/CodeBook/RECIPE/ReadFromSTDIN/ReadFromSTDIN.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/docgen/CodeBook/RECIPE/ReadFromSTDIN/ReadFromSTDIN.dats -------------------------------------------------------------------------------- /docgen/CodeBook/RECIPE/ReadFromSTDIN2/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/docgen/CodeBook/RECIPE/ReadFromSTDIN2/Makefile -------------------------------------------------------------------------------- /docgen/CodeBook/RECIPE/ReadFromSTDIN2/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/docgen/CodeBook/RECIPE/ReadFromSTDIN2/README.md -------------------------------------------------------------------------------- /docgen/CodeBook/RECIPE/ReadFromSTDIN2/ReadFromSTDIN2.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/docgen/CodeBook/RECIPE/ReadFromSTDIN2/ReadFromSTDIN2.dats -------------------------------------------------------------------------------- /docgen/CodeBook/RECIPE/ReadFromSTDIN3/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/docgen/CodeBook/RECIPE/ReadFromSTDIN3/Makefile -------------------------------------------------------------------------------- /docgen/CodeBook/RECIPE/ReadFromSTDIN3/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/docgen/CodeBook/RECIPE/ReadFromSTDIN3/README.md -------------------------------------------------------------------------------- /docgen/CodeBook/RECIPE/ReadFromSTDIN3/ReadFromSTDIN3.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/docgen/CodeBook/RECIPE/ReadFromSTDIN3/ReadFromSTDIN3.dats -------------------------------------------------------------------------------- /docgen/CodeBook/RECIPE/WordFrqncyCnt/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/docgen/CodeBook/RECIPE/WordFrqncyCnt/Makefile -------------------------------------------------------------------------------- /docgen/CodeBook/RECIPE/WordFrqncyCnt/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/docgen/CodeBook/RECIPE/WordFrqncyCnt/README.md -------------------------------------------------------------------------------- /docgen/CodeBook/RECIPE/WordFrqncyCnt/WordFrqncyCnt.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/docgen/CodeBook/RECIPE/WordFrqncyCnt/WordFrqncyCnt.dats -------------------------------------------------------------------------------- /docgen/CodeBook/RECIPE/WordFrqncyCnt_vt/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/docgen/CodeBook/RECIPE/WordFrqncyCnt_vt/Makefile -------------------------------------------------------------------------------- /docgen/CodeBook/RECIPE/WordFrqncyCnt_vt/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/docgen/CodeBook/RECIPE/WordFrqncyCnt_vt/README.md -------------------------------------------------------------------------------- /docgen/CodeBook/RECIPE/WordFrqncyCnt_vt/WordFrqncyCnt_vt.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/docgen/CodeBook/RECIPE/WordFrqncyCnt_vt/WordFrqncyCnt_vt.dats -------------------------------------------------------------------------------- /docgen/UNSORTED/CODE/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/docgen/UNSORTED/CODE/Makefile -------------------------------------------------------------------------------- /docgen/UNSORTED/CODE/QueenPuzzle.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/docgen/UNSORTED/CODE/QueenPuzzle.dats -------------------------------------------------------------------------------- /docgen/UNSORTED/CODE/QueenPuzzle_vt.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/docgen/UNSORTED/CODE/QueenPuzzle_vt.dats -------------------------------------------------------------------------------- /docgen/UNSORTED/GLSEQ-intro.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/docgen/UNSORTED/GLSEQ-intro.md -------------------------------------------------------------------------------- /docgen/UNSORTED/GSEQ-intro.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/docgen/UNSORTED/GSEQ-intro.md -------------------------------------------------------------------------------- /docgen/UNSORTED/TBP-intro.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/docgen/UNSORTED/TBP-intro.md -------------------------------------------------------------------------------- /libats/CATS/basics.cats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/CATS/basics.cats -------------------------------------------------------------------------------- /libats/CATS/basics_bool.cats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/CATS/basics_bool.cats -------------------------------------------------------------------------------- /libats/CATS/basics_char.cats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/CATS/basics_char.cats -------------------------------------------------------------------------------- /libats/CATS/basics_float.cats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/CATS/basics_float.cats -------------------------------------------------------------------------------- /libats/CATS/basics_gint.cats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/CATS/basics_gint.cats -------------------------------------------------------------------------------- /libats/CATS/basics_gptr.cats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/CATS/basics_gptr.cats -------------------------------------------------------------------------------- /libats/CATS/basics_string.cats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/CATS/basics_string.cats -------------------------------------------------------------------------------- /libats/CATS/basics_stropt.cats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/CATS/basics_stropt.cats -------------------------------------------------------------------------------- /libats/CATS/basics_unsafe.cats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/CATS/basics_unsafe.cats -------------------------------------------------------------------------------- /libats/CATS/gint_fixed.cats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/CATS/gint_fixed.cats -------------------------------------------------------------------------------- /libats/DATS/array.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/DATS/array.dats -------------------------------------------------------------------------------- /libats/DATS/array_bsearch.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/DATS/array_bsearch.dats -------------------------------------------------------------------------------- /libats/DATS/array_quicksort.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/DATS/array_quicksort.dats -------------------------------------------------------------------------------- /libats/DATS/basics.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/DATS/basics.dats -------------------------------------------------------------------------------- /libats/DATS/bool.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/DATS/bool.dats -------------------------------------------------------------------------------- /libats/DATS/char.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/DATS/char.dats -------------------------------------------------------------------------------- /libats/DATS/cmpeq.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/DATS/cmpeq.dats -------------------------------------------------------------------------------- /libats/DATS/filebas.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/DATS/filebas.dats -------------------------------------------------------------------------------- /libats/DATS/float.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/DATS/float.dats -------------------------------------------------------------------------------- /libats/DATS/gbas.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/DATS/gbas.dats -------------------------------------------------------------------------------- /libats/DATS/gint.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/DATS/gint.dats -------------------------------------------------------------------------------- /libats/DATS/glseq.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/DATS/glseq.dats -------------------------------------------------------------------------------- /libats/DATS/glseq_array.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/DATS/glseq_array.dats -------------------------------------------------------------------------------- /libats/DATS/glseq_list0.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/DATS/glseq_list0.dats -------------------------------------------------------------------------------- /libats/DATS/glseq_stream.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/DATS/glseq_stream.dats -------------------------------------------------------------------------------- /libats/DATS/glseq_string.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/DATS/glseq_string.dats -------------------------------------------------------------------------------- /libats/DATS/gnum.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/DATS/gnum.dats -------------------------------------------------------------------------------- /libats/DATS/gord.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/DATS/gord.dats -------------------------------------------------------------------------------- /libats/DATS/gptr.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/DATS/gptr.dats -------------------------------------------------------------------------------- /libats/DATS/grand.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/DATS/grand.dats -------------------------------------------------------------------------------- /libats/DATS/gref.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/DATS/gref.dats -------------------------------------------------------------------------------- /libats/DATS/gseq.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/DATS/gseq.dats -------------------------------------------------------------------------------- /libats/DATS/gseq_array.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/DATS/gseq_array.dats -------------------------------------------------------------------------------- /libats/DATS/gseq_cptr.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/DATS/gseq_cptr.dats -------------------------------------------------------------------------------- /libats/DATS/gseq_gint.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/DATS/gseq_gint.dats -------------------------------------------------------------------------------- /libats/DATS/gseq_list0.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/DATS/gseq_list0.dats -------------------------------------------------------------------------------- /libats/DATS/gseq_optn0.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/DATS/gseq_optn0.dats -------------------------------------------------------------------------------- /libats/DATS/gseq_stream.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/DATS/gseq_stream.dats -------------------------------------------------------------------------------- /libats/DATS/gseq_string.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/DATS/gseq_string.dats -------------------------------------------------------------------------------- /libats/DATS/list.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/DATS/list.dats -------------------------------------------------------------------------------- /libats/DATS/list_rc.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/DATS/list_rc.dats -------------------------------------------------------------------------------- /libats/DATS/list_vt.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/DATS/list_vt.dats -------------------------------------------------------------------------------- /libats/DATS/list_vt_mergesort.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/DATS/list_vt_mergesort.dats -------------------------------------------------------------------------------- /libats/DATS/list_vt_quicksort.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/DATS/list_vt_quicksort.dats -------------------------------------------------------------------------------- /libats/DATS/optn.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/DATS/optn.dats -------------------------------------------------------------------------------- /libats/DATS/optn_vt.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/DATS/optn_vt.dats -------------------------------------------------------------------------------- /libats/DATS/print.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/DATS/print.dats -------------------------------------------------------------------------------- /libats/DATS/qlist.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/DATS/qlist.dats -------------------------------------------------------------------------------- /libats/DATS/range.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/DATS/range.dats -------------------------------------------------------------------------------- /libats/DATS/refcnt.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/DATS/refcnt.dats -------------------------------------------------------------------------------- /libats/DATS/stdio.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/DATS/stdio.dats -------------------------------------------------------------------------------- /libats/DATS/stdlib.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/DATS/stdlib.dats -------------------------------------------------------------------------------- /libats/DATS/stream.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/DATS/stream.dats -------------------------------------------------------------------------------- /libats/DATS/stream_vt.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/DATS/stream_vt.dats -------------------------------------------------------------------------------- /libats/DATS/string.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/DATS/string.dats -------------------------------------------------------------------------------- /libats/DATS/stropt.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/DATS/stropt.dats -------------------------------------------------------------------------------- /libats/DATS/tuple.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/DATS/tuple.dats -------------------------------------------------------------------------------- /libats/DATS/unsafe.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/DATS/unsafe.dats -------------------------------------------------------------------------------- /libats/SATS/array.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/SATS/array.sats -------------------------------------------------------------------------------- /libats/SATS/bool.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/SATS/bool.sats -------------------------------------------------------------------------------- /libats/SATS/char.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/SATS/char.sats -------------------------------------------------------------------------------- /libats/SATS/cmpeq.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/SATS/cmpeq.sats -------------------------------------------------------------------------------- /libats/SATS/filebas.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/SATS/filebas.sats -------------------------------------------------------------------------------- /libats/SATS/float.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/SATS/float.sats -------------------------------------------------------------------------------- /libats/SATS/gbas.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/SATS/gbas.sats -------------------------------------------------------------------------------- /libats/SATS/gint.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/SATS/gint.sats -------------------------------------------------------------------------------- /libats/SATS/glseq.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/SATS/glseq.sats -------------------------------------------------------------------------------- /libats/SATS/gnum.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/SATS/gnum.sats -------------------------------------------------------------------------------- /libats/SATS/gord.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/SATS/gord.sats -------------------------------------------------------------------------------- /libats/SATS/gptr.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/SATS/gptr.sats -------------------------------------------------------------------------------- /libats/SATS/grand.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/SATS/grand.sats -------------------------------------------------------------------------------- /libats/SATS/gref.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/SATS/gref.sats -------------------------------------------------------------------------------- /libats/SATS/gseq.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/SATS/gseq.sats -------------------------------------------------------------------------------- /libats/SATS/list.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/SATS/list.sats -------------------------------------------------------------------------------- /libats/SATS/list_rc.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/SATS/list_rc.sats -------------------------------------------------------------------------------- /libats/SATS/list_vt.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/SATS/list_vt.sats -------------------------------------------------------------------------------- /libats/SATS/memory.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/SATS/memory.sats -------------------------------------------------------------------------------- /libats/SATS/optn.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/SATS/optn.sats -------------------------------------------------------------------------------- /libats/SATS/optn_vt.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/SATS/optn_vt.sats -------------------------------------------------------------------------------- /libats/SATS/print.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/SATS/print.sats -------------------------------------------------------------------------------- /libats/SATS/qlist.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/SATS/qlist.sats -------------------------------------------------------------------------------- /libats/SATS/range.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/SATS/range.sats -------------------------------------------------------------------------------- /libats/SATS/refcnt.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/SATS/refcnt.sats -------------------------------------------------------------------------------- /libats/SATS/stdio.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/SATS/stdio.sats -------------------------------------------------------------------------------- /libats/SATS/stdlib.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/SATS/stdlib.sats -------------------------------------------------------------------------------- /libats/SATS/stream.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/SATS/stream.sats -------------------------------------------------------------------------------- /libats/SATS/stream_vt.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/SATS/stream_vt.sats -------------------------------------------------------------------------------- /libats/SATS/string.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/SATS/string.sats -------------------------------------------------------------------------------- /libats/SATS/stropt.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/SATS/stropt.sats -------------------------------------------------------------------------------- /libats/SATS/tuple.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/SATS/tuple.sats -------------------------------------------------------------------------------- /libats/SATS/unsafe.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/SATS/unsafe.sats -------------------------------------------------------------------------------- /libats/basics_dyn.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/basics_dyn.sats -------------------------------------------------------------------------------- /libats/basics_gen.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/basics_gen.sats -------------------------------------------------------------------------------- /libats/basics_mac.hats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/basics_mac.hats -------------------------------------------------------------------------------- /libats/basics_pre.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/basics_pre.sats -------------------------------------------------------------------------------- /libats/basics_sta.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/basics_sta.sats -------------------------------------------------------------------------------- /libats/fixity.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/fixity.sats -------------------------------------------------------------------------------- /libats/libc/CATS/dirent.cats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/libc/CATS/dirent.cats -------------------------------------------------------------------------------- /libats/libc/CATS/math.cats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/libc/CATS/math.cats -------------------------------------------------------------------------------- /libats/libc/CATS/search.cats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/libc/CATS/search.cats -------------------------------------------------------------------------------- /libats/libc/CATS/signal.cats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/libc/CATS/signal.cats -------------------------------------------------------------------------------- /libats/libc/CATS/stdlib.cats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/libc/CATS/stdlib.cats -------------------------------------------------------------------------------- /libats/libc/CATS/unistd.cats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/libc/CATS/unistd.cats -------------------------------------------------------------------------------- /libats/libc/DATS/dirent.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/libc/DATS/dirent.dats -------------------------------------------------------------------------------- /libats/libc/DATS/math.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/libc/DATS/math.dats -------------------------------------------------------------------------------- /libats/libc/DATS/search.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/libc/DATS/search.dats -------------------------------------------------------------------------------- /libats/libc/SATS/dirent.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/libc/SATS/dirent.sats -------------------------------------------------------------------------------- /libats/libc/SATS/math.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/libc/SATS/math.sats -------------------------------------------------------------------------------- /libats/libc/SATS/search.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/libc/SATS/search.sats -------------------------------------------------------------------------------- /libats/libc/SATS/signal.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/libc/SATS/signal.sats -------------------------------------------------------------------------------- /libats/libc/SATS/stdlib.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/libc/SATS/stdlib.sats -------------------------------------------------------------------------------- /libats/libc/SATS/unistd.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/libc/SATS/unistd.sats -------------------------------------------------------------------------------- /libats/libc/TEST/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/libc/TEST/Makefile -------------------------------------------------------------------------------- /libats/libc/TEST/dirent/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/libc/TEST/dirent/Makefile -------------------------------------------------------------------------------- /libats/libc/TEST/dirent/test01.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/libc/TEST/dirent/test01.dats -------------------------------------------------------------------------------- /libats/libc/TEST/search/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/libc/TEST/search/Makefile -------------------------------------------------------------------------------- /libats/libc/TEST/search/test01.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/libc/TEST/search/test01.dats -------------------------------------------------------------------------------- /libats/params.hats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/params.hats -------------------------------------------------------------------------------- /libats/temp/CATS/.keeper: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /libats/temp/CATS/hashfun.cats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/temp/CATS/hashfun.cats -------------------------------------------------------------------------------- /libats/temp/DATS/SHARE/funmap.hats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/temp/DATS/SHARE/funmap.hats -------------------------------------------------------------------------------- /libats/temp/DATS/SHARE/hashmap.hats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/temp/DATS/SHARE/hashmap.hats -------------------------------------------------------------------------------- /libats/temp/DATS/SHARE/linmap.hats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/temp/DATS/SHARE/linmap.hats -------------------------------------------------------------------------------- /libats/temp/DATS/funmap_list.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/temp/DATS/funmap_list.dats -------------------------------------------------------------------------------- /libats/temp/DATS/hashfun.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/temp/DATS/hashfun.dats -------------------------------------------------------------------------------- /libats/temp/DATS/hashmap_chain.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/temp/DATS/hashmap_chain.dats -------------------------------------------------------------------------------- /libats/temp/DATS/hmapref.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/temp/DATS/hmapref.dats -------------------------------------------------------------------------------- /libats/temp/DATS/linmap_list.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/temp/DATS/linmap_list.dats -------------------------------------------------------------------------------- /libats/temp/DATS/qlistref.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/temp/DATS/qlistref.dats -------------------------------------------------------------------------------- /libats/temp/DATS/slistref.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/temp/DATS/slistref.dats -------------------------------------------------------------------------------- /libats/temp/DATS/taggedval.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/temp/DATS/taggedval.dats -------------------------------------------------------------------------------- /libats/temp/SATS/SHARE/funmap.hats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/temp/SATS/SHARE/funmap.hats -------------------------------------------------------------------------------- /libats/temp/SATS/SHARE/hashmap.hats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/temp/SATS/SHARE/hashmap.hats -------------------------------------------------------------------------------- /libats/temp/SATS/SHARE/linmap.hats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/temp/SATS/SHARE/linmap.hats -------------------------------------------------------------------------------- /libats/temp/SATS/funmap_list.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/temp/SATS/funmap_list.sats -------------------------------------------------------------------------------- /libats/temp/SATS/hashfun.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/temp/SATS/hashfun.sats -------------------------------------------------------------------------------- /libats/temp/SATS/hashmap_chain.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/temp/SATS/hashmap_chain.sats -------------------------------------------------------------------------------- /libats/temp/SATS/hmapref.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/temp/SATS/hmapref.sats -------------------------------------------------------------------------------- /libats/temp/SATS/linmap_list.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/temp/SATS/linmap_list.sats -------------------------------------------------------------------------------- /libats/temp/SATS/qlistref.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/temp/SATS/qlistref.sats -------------------------------------------------------------------------------- /libats/temp/SATS/slistref.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/temp/SATS/slistref.sats -------------------------------------------------------------------------------- /libats/temp/SATS/taggedval.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/temp/SATS/taggedval.sats -------------------------------------------------------------------------------- /libats/temp/TEST/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/temp/TEST/Makefile -------------------------------------------------------------------------------- /libats/temp/TEST/funmap/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/temp/TEST/funmap/Makefile -------------------------------------------------------------------------------- /libats/temp/TEST/funmap/test01.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/temp/TEST/funmap/test01.dats -------------------------------------------------------------------------------- /libats/temp/TEST/hashmap/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/temp/TEST/hashmap/Makefile -------------------------------------------------------------------------------- /libats/temp/TEST/hashmap/test01.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/temp/TEST/hashmap/test01.dats -------------------------------------------------------------------------------- /libats/temp/TEST/hashmap/test02.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/temp/TEST/hashmap/test02.dats -------------------------------------------------------------------------------- /libats/temp/TEST/hashmap/test03.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/temp/TEST/hashmap/test03.dats -------------------------------------------------------------------------------- /libats/temp/TEST/linmap/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/temp/TEST/linmap/Makefile -------------------------------------------------------------------------------- /libats/temp/TEST/linmap/test01.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/temp/TEST/linmap/test01.dats -------------------------------------------------------------------------------- /libats/temp/TEST/qlistref/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/temp/TEST/qlistref/Makefile -------------------------------------------------------------------------------- /libats/temp/TEST/qlistref/test01.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/temp/TEST/qlistref/test01.dats -------------------------------------------------------------------------------- /libats/temp/TEST/slistref/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/temp/TEST/slistref/Makefile -------------------------------------------------------------------------------- /libats/temp/TEST/slistref/test01.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/temp/TEST/slistref/test01.dats -------------------------------------------------------------------------------- /libats/temp/bucs320/DATS/divconq.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/temp/bucs320/DATS/divconq.dats -------------------------------------------------------------------------------- /libats/temp/bucs320/DATS/glseq.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/temp/bucs320/DATS/glseq.dats -------------------------------------------------------------------------------- /libats/temp/bucs320/DATS/graph.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/temp/bucs320/DATS/graph.dats -------------------------------------------------------------------------------- /libats/temp/bucs320/DATS/gtree.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/temp/bucs320/DATS/gtree.dats -------------------------------------------------------------------------------- /libats/temp/bucs320/DATS/mylist.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/temp/bucs320/DATS/mylist.dats -------------------------------------------------------------------------------- /libats/temp/bucs320/SATS/divconq.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/temp/bucs320/SATS/divconq.sats -------------------------------------------------------------------------------- /libats/temp/bucs320/SATS/glseq.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/temp/bucs320/SATS/glseq.sats -------------------------------------------------------------------------------- /libats/temp/bucs320/SATS/graph.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/temp/bucs320/SATS/graph.sats -------------------------------------------------------------------------------- /libats/temp/bucs320/SATS/gtree.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/temp/bucs320/SATS/gtree.sats -------------------------------------------------------------------------------- /libats/temp/bucs320/SATS/mylist.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/temp/bucs320/SATS/mylist.sats -------------------------------------------------------------------------------- /libats/temp/bucs320/TEST/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/temp/bucs320/TEST/Makefile -------------------------------------------------------------------------------- /libats/temp/bucs320/TEST/mylib.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/temp/bucs320/TEST/mylib.dats -------------------------------------------------------------------------------- /libats/temp/bucs320/TEST/mylib.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/temp/bucs320/TEST/mylib.sats -------------------------------------------------------------------------------- /libats/temp/bucs320/TEST/test01.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/temp/bucs320/TEST/test01.dats -------------------------------------------------------------------------------- /libats/temp/bucs320/TEST/test02.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/temp/bucs320/TEST/test02.dats -------------------------------------------------------------------------------- /libats/temp/bucs320/TEST/test03.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/temp/bucs320/TEST/test03.dats -------------------------------------------------------------------------------- /libats/temp/bucs320/TEST/test04.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/temp/bucs320/TEST/test04.dats -------------------------------------------------------------------------------- /libats/temp/bucs320/TEST/test05.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/temp/bucs320/TEST/test05.dats -------------------------------------------------------------------------------- /libats/temp/bucs320/TEST/test06.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/temp/bucs320/TEST/test06.dats -------------------------------------------------------------------------------- /libats/temp/bucs320/TEST/test07.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/temp/bucs320/TEST/test07.dats -------------------------------------------------------------------------------- /libats/temp/bucs520/DATS/graph.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/temp/bucs520/DATS/graph.dats -------------------------------------------------------------------------------- /libats/temp/bucs520/DATS/gtree.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/temp/bucs520/DATS/gtree.dats -------------------------------------------------------------------------------- /libats/temp/bucs520/SATS/graph.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/temp/bucs520/SATS/graph.sats -------------------------------------------------------------------------------- /libats/temp/bucs520/SATS/gtree.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/temp/bucs520/SATS/gtree.sats -------------------------------------------------------------------------------- /libats/temp/bucs520/TEST/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/temp/bucs520/TEST/Makefile -------------------------------------------------------------------------------- /libats/temp/bucs520/TEST/test01.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/temp/bucs520/TEST/test01.dats -------------------------------------------------------------------------------- /libats/temp/bucs520/TEST/test02.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/libats/temp/bucs520/TEST/test02.dats -------------------------------------------------------------------------------- /share/HATS/temptory_staload_bucs320.hats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/share/HATS/temptory_staload_bucs320.hats -------------------------------------------------------------------------------- /share/SCRIPT/mytestall.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/share/SCRIPT/mytestall.sh -------------------------------------------------------------------------------- /srcgen/BUILD/.keeper: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /srcgen/CBOOT/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/Makefile -------------------------------------------------------------------------------- /srcgen/CBOOT/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/README -------------------------------------------------------------------------------- /srcgen/CBOOT/ccomp/runtime/GCATS/gcats1.cats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/ccomp/runtime/GCATS/gcats1.cats -------------------------------------------------------------------------------- /srcgen/CBOOT/ccomp/runtime/GCATS/gcats1_master.hats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/ccomp/runtime/GCATS/gcats1_master.hats -------------------------------------------------------------------------------- /srcgen/CBOOT/ccomp/runtime/GCATS/m32/.keeper: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /srcgen/CBOOT/ccomp/runtime/GCATS/m32/gcats1_autops_dats.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/ccomp/runtime/GCATS/m32/gcats1_autops_dats.c -------------------------------------------------------------------------------- /srcgen/CBOOT/ccomp/runtime/GCATS/m32/gcats1_chunk_dats.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/ccomp/runtime/GCATS/m32/gcats1_chunk_dats.c -------------------------------------------------------------------------------- /srcgen/CBOOT/ccomp/runtime/GCATS/m32/gcats1_collecting_dats.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/ccomp/runtime/GCATS/m32/gcats1_collecting_dats.c -------------------------------------------------------------------------------- /srcgen/CBOOT/ccomp/runtime/GCATS/m32/gcats1_freeitmlst_dats.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/ccomp/runtime/GCATS/m32/gcats1_freeitmlst_dats.c -------------------------------------------------------------------------------- /srcgen/CBOOT/ccomp/runtime/GCATS/m32/gcats1_globalentry_dats.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/ccomp/runtime/GCATS/m32/gcats1_globalentry_dats.c -------------------------------------------------------------------------------- /srcgen/CBOOT/ccomp/runtime/GCATS/m32/gcats1_manops_dats.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/ccomp/runtime/GCATS/m32/gcats1_manops_dats.c -------------------------------------------------------------------------------- /srcgen/CBOOT/ccomp/runtime/GCATS/m32/gcats1_marking_dats.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/ccomp/runtime/GCATS/m32/gcats1_marking_dats.c -------------------------------------------------------------------------------- /srcgen/CBOOT/ccomp/runtime/GCATS/m32/gcats1_misc_dats.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/ccomp/runtime/GCATS/m32/gcats1_misc_dats.c -------------------------------------------------------------------------------- /srcgen/CBOOT/ccomp/runtime/GCATS/m32/gcats1_top_dats.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/ccomp/runtime/GCATS/m32/gcats1_top_dats.c -------------------------------------------------------------------------------- /srcgen/CBOOT/ccomp/runtime/GCATS/m64/.keeper: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /srcgen/CBOOT/ccomp/runtime/GCATS/m64/gcats1_autops_dats.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/ccomp/runtime/GCATS/m64/gcats1_autops_dats.c -------------------------------------------------------------------------------- /srcgen/CBOOT/ccomp/runtime/GCATS/m64/gcats1_chunk_dats.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/ccomp/runtime/GCATS/m64/gcats1_chunk_dats.c -------------------------------------------------------------------------------- /srcgen/CBOOT/ccomp/runtime/GCATS/m64/gcats1_collecting_dats.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/ccomp/runtime/GCATS/m64/gcats1_collecting_dats.c -------------------------------------------------------------------------------- /srcgen/CBOOT/ccomp/runtime/GCATS/m64/gcats1_freeitmlst_dats.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/ccomp/runtime/GCATS/m64/gcats1_freeitmlst_dats.c -------------------------------------------------------------------------------- /srcgen/CBOOT/ccomp/runtime/GCATS/m64/gcats1_globalentry_dats.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/ccomp/runtime/GCATS/m64/gcats1_globalentry_dats.c -------------------------------------------------------------------------------- /srcgen/CBOOT/ccomp/runtime/GCATS/m64/gcats1_manops_dats.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/ccomp/runtime/GCATS/m64/gcats1_manops_dats.c -------------------------------------------------------------------------------- /srcgen/CBOOT/ccomp/runtime/GCATS/m64/gcats1_marking_dats.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/ccomp/runtime/GCATS/m64/gcats1_marking_dats.c -------------------------------------------------------------------------------- /srcgen/CBOOT/ccomp/runtime/GCATS/m64/gcats1_misc_dats.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/ccomp/runtime/GCATS/m64/gcats1_misc_dats.c -------------------------------------------------------------------------------- /srcgen/CBOOT/ccomp/runtime/GCATS/m64/gcats1_top_dats.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/ccomp/runtime/GCATS/m64/gcats1_top_dats.c -------------------------------------------------------------------------------- /srcgen/CBOOT/ccomp/runtime/ats_basics.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/ccomp/runtime/ats_basics.h -------------------------------------------------------------------------------- /srcgen/CBOOT/ccomp/runtime/ats_config.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/ccomp/runtime/ats_config.h -------------------------------------------------------------------------------- /srcgen/CBOOT/ccomp/runtime/ats_exception.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/ccomp/runtime/ats_exception.h -------------------------------------------------------------------------------- /srcgen/CBOOT/ccomp/runtime/ats_memory.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/ccomp/runtime/ats_memory.h -------------------------------------------------------------------------------- /srcgen/CBOOT/ccomp/runtime/ats_prelude.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/ccomp/runtime/ats_prelude.c -------------------------------------------------------------------------------- /srcgen/CBOOT/ccomp/runtime/ats_prelude_gcats.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/ccomp/runtime/ats_prelude_gcats.c -------------------------------------------------------------------------------- /srcgen/CBOOT/ccomp/runtime/ats_prelude_gcbdw.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/ccomp/runtime/ats_prelude_gcbdw.c -------------------------------------------------------------------------------- /srcgen/CBOOT/ccomp/runtime/ats_prelude_ngc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/ccomp/runtime/ats_prelude_ngc.c -------------------------------------------------------------------------------- /srcgen/CBOOT/ccomp/runtime/ats_types.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/ccomp/runtime/ats_types.h -------------------------------------------------------------------------------- /srcgen/CBOOT/ccomp/runtime/gcats1_all.cats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/ccomp/runtime/gcats1_all.cats -------------------------------------------------------------------------------- /srcgen/CBOOT/config.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/config.h -------------------------------------------------------------------------------- /srcgen/CBOOT/libats/CATS/hashtable_chain.cats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/libats/CATS/hashtable_chain.cats -------------------------------------------------------------------------------- /srcgen/CBOOT/libats/CATS/linqueue_arr.cats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/libats/CATS/linqueue_arr.cats -------------------------------------------------------------------------------- /srcgen/CBOOT/libats/CATS/linqueue_lst.cats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/libats/CATS/linqueue_lst.cats -------------------------------------------------------------------------------- /srcgen/CBOOT/libats/DATS_funmap_avltree_dats.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/libats/DATS_funmap_avltree_dats.c -------------------------------------------------------------------------------- /srcgen/CBOOT/libats/DATS_funmset_listord_dats.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/libats/DATS_funmset_listord_dats.c -------------------------------------------------------------------------------- /srcgen/CBOOT/libats/DATS_funset_avltree_dats.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/libats/DATS_funset_avltree_dats.c -------------------------------------------------------------------------------- /srcgen/CBOOT/libats/DATS_funset_listord_dats.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/libats/DATS_funset_listord_dats.c -------------------------------------------------------------------------------- /srcgen/CBOOT/libats/DATS_hashtable_chain_dats.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/libats/DATS_hashtable_chain_dats.c -------------------------------------------------------------------------------- /srcgen/CBOOT/libats/DATS_hashtable_linprb_dats.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/libats/DATS_hashtable_linprb_dats.c -------------------------------------------------------------------------------- /srcgen/CBOOT/libats/DATS_linqueue_arr_dats.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/libats/DATS_linqueue_arr_dats.c -------------------------------------------------------------------------------- /srcgen/CBOOT/libats/DATS_linqueue_lst_dats.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/libats/DATS_linqueue_lst_dats.c -------------------------------------------------------------------------------- /srcgen/CBOOT/libats/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/libats/Makefile -------------------------------------------------------------------------------- /srcgen/CBOOT/libats/SATS_funmap_avltree_sats.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/libats/SATS_funmap_avltree_sats.c -------------------------------------------------------------------------------- /srcgen/CBOOT/libats/SATS_funmset_listord_sats.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/libats/SATS_funmset_listord_sats.c -------------------------------------------------------------------------------- /srcgen/CBOOT/libats/SATS_funset_avltree_sats.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/libats/SATS_funset_avltree_sats.c -------------------------------------------------------------------------------- /srcgen/CBOOT/libats/SATS_funset_listord_sats.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/libats/SATS_funset_listord_sats.c -------------------------------------------------------------------------------- /srcgen/CBOOT/libats/SATS_hashtable_chain_sats.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/libats/SATS_hashtable_chain_sats.c -------------------------------------------------------------------------------- /srcgen/CBOOT/libats/SATS_hashtable_linprb_sats.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/libats/SATS_hashtable_linprb_sats.c -------------------------------------------------------------------------------- /srcgen/CBOOT/libats/SATS_linqueue_arr_sats.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/libats/SATS_linqueue_arr_sats.c -------------------------------------------------------------------------------- /srcgen/CBOOT/libats/SATS_linqueue_lst_sats.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/libats/SATS_linqueue_lst_sats.c -------------------------------------------------------------------------------- /srcgen/CBOOT/libats/ngc/CATS/deque_arr.cats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/libats/ngc/CATS/deque_arr.cats -------------------------------------------------------------------------------- /srcgen/CBOOT/libats/ngc_DATS_deque_arr_dats.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/libats/ngc_DATS_deque_arr_dats.c -------------------------------------------------------------------------------- /srcgen/CBOOT/libats/ngc_SATS_deque_arr_sats.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/libats/ngc_SATS_deque_arr_sats.c -------------------------------------------------------------------------------- /srcgen/CBOOT/libc/CATS/errno.cats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/libc/CATS/errno.cats -------------------------------------------------------------------------------- /srcgen/CBOOT/libc/CATS/fcntl.cats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/libc/CATS/fcntl.cats -------------------------------------------------------------------------------- /srcgen/CBOOT/libc/CATS/gmp.cats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/libc/CATS/gmp.cats -------------------------------------------------------------------------------- /srcgen/CBOOT/libc/CATS/stdarg.cats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/libc/CATS/stdarg.cats -------------------------------------------------------------------------------- /srcgen/CBOOT/libc/CATS/stdio.cats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/libc/CATS/stdio.cats -------------------------------------------------------------------------------- /srcgen/CBOOT/libc/CATS/stdlib.cats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/libc/CATS/stdlib.cats -------------------------------------------------------------------------------- /srcgen/CBOOT/libc/CATS/string.cats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/libc/CATS/string.cats -------------------------------------------------------------------------------- /srcgen/CBOOT/libc/CATS/time.cats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/libc/CATS/time.cats -------------------------------------------------------------------------------- /srcgen/CBOOT/libc/CATS/unistd.cats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/libc/CATS/unistd.cats -------------------------------------------------------------------------------- /srcgen/CBOOT/libc/DATS_fcntl_dats.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/libc/DATS_fcntl_dats.c -------------------------------------------------------------------------------- /srcgen/CBOOT/libc/DATS_gmp_dats.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/libc/DATS_gmp_dats.c -------------------------------------------------------------------------------- /srcgen/CBOOT/libc/DATS_unistd_dats.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/libc/DATS_unistd_dats.c -------------------------------------------------------------------------------- /srcgen/CBOOT/libc/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/libc/Makefile -------------------------------------------------------------------------------- /srcgen/CBOOT/libc/SATS_errno_sats.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/libc/SATS_errno_sats.c -------------------------------------------------------------------------------- /srcgen/CBOOT/libc/SATS_fcntl_sats.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/libc/SATS_fcntl_sats.c -------------------------------------------------------------------------------- /srcgen/CBOOT/libc/SATS_gmp_sats.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/libc/SATS_gmp_sats.c -------------------------------------------------------------------------------- /srcgen/CBOOT/libc/SATS_stdarg_sats.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/libc/SATS_stdarg_sats.c -------------------------------------------------------------------------------- /srcgen/CBOOT/libc/SATS_stdio_sats.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/libc/SATS_stdio_sats.c -------------------------------------------------------------------------------- /srcgen/CBOOT/libc/SATS_stdlib_sats.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/libc/SATS_stdlib_sats.c -------------------------------------------------------------------------------- /srcgen/CBOOT/libc/SATS_string_sats.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/libc/SATS_string_sats.c -------------------------------------------------------------------------------- /srcgen/CBOOT/libc/SATS_time_sats.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/libc/SATS_time_sats.c -------------------------------------------------------------------------------- /srcgen/CBOOT/libc/SATS_unistd_sats.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/libc/SATS_unistd_sats.c -------------------------------------------------------------------------------- /srcgen/CBOOT/libc/sys/CATS/stat.cats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/libc/sys/CATS/stat.cats -------------------------------------------------------------------------------- /srcgen/CBOOT/libc/sys/CATS/types.cats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/libc/sys/CATS/types.cats -------------------------------------------------------------------------------- /srcgen/CBOOT/libc/sys/CATS/wait.cats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/libc/sys/CATS/wait.cats -------------------------------------------------------------------------------- /srcgen/CBOOT/libc/sys_SATS_stat_sats.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/libc/sys_SATS_stat_sats.c -------------------------------------------------------------------------------- /srcgen/CBOOT/libc/sys_SATS_types_sats.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/libc/sys_SATS_types_sats.c -------------------------------------------------------------------------------- /srcgen/CBOOT/libc/sys_SATS_wait_sats.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/libc/sys_SATS_wait_sats.c -------------------------------------------------------------------------------- /srcgen/CBOOT/prelude/CATS/array.cats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/prelude/CATS/array.cats -------------------------------------------------------------------------------- /srcgen/CBOOT/prelude/CATS/basics.cats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/prelude/CATS/basics.cats -------------------------------------------------------------------------------- /srcgen/CBOOT/prelude/CATS/bool.cats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/prelude/CATS/bool.cats -------------------------------------------------------------------------------- /srcgen/CBOOT/prelude/CATS/byte.cats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/prelude/CATS/byte.cats -------------------------------------------------------------------------------- /srcgen/CBOOT/prelude/CATS/char.cats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/prelude/CATS/char.cats -------------------------------------------------------------------------------- /srcgen/CBOOT/prelude/CATS/float.cats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/prelude/CATS/float.cats -------------------------------------------------------------------------------- /srcgen/CBOOT/prelude/CATS/integer.cats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/prelude/CATS/integer.cats -------------------------------------------------------------------------------- /srcgen/CBOOT/prelude/CATS/integer_fixed.cats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/prelude/CATS/integer_fixed.cats -------------------------------------------------------------------------------- /srcgen/CBOOT/prelude/CATS/integer_ptr.cats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/prelude/CATS/integer_ptr.cats -------------------------------------------------------------------------------- /srcgen/CBOOT/prelude/CATS/lazy.cats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/prelude/CATS/lazy.cats -------------------------------------------------------------------------------- /srcgen/CBOOT/prelude/CATS/lazy_vt.cats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/prelude/CATS/lazy_vt.cats -------------------------------------------------------------------------------- /srcgen/CBOOT/prelude/CATS/list.cats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/prelude/CATS/list.cats -------------------------------------------------------------------------------- /srcgen/CBOOT/prelude/CATS/matrix.cats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/prelude/CATS/matrix.cats -------------------------------------------------------------------------------- /srcgen/CBOOT/prelude/CATS/option.cats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/prelude/CATS/option.cats -------------------------------------------------------------------------------- /srcgen/CBOOT/prelude/CATS/pointer.cats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/prelude/CATS/pointer.cats -------------------------------------------------------------------------------- /srcgen/CBOOT/prelude/CATS/printf.cats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/prelude/CATS/printf.cats -------------------------------------------------------------------------------- /srcgen/CBOOT/prelude/CATS/reference.cats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/prelude/CATS/reference.cats -------------------------------------------------------------------------------- /srcgen/CBOOT/prelude/CATS/sizetype.cats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/prelude/CATS/sizetype.cats -------------------------------------------------------------------------------- /srcgen/CBOOT/prelude/CATS/string.cats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/prelude/CATS/string.cats -------------------------------------------------------------------------------- /srcgen/CBOOT/prelude/DATS_array0_dats.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/prelude/DATS_array0_dats.c -------------------------------------------------------------------------------- /srcgen/CBOOT/prelude/DATS_array_dats.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/prelude/DATS_array_dats.c -------------------------------------------------------------------------------- /srcgen/CBOOT/prelude/DATS_basics_dats.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/prelude/DATS_basics_dats.c -------------------------------------------------------------------------------- /srcgen/CBOOT/prelude/DATS_bool_dats.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/prelude/DATS_bool_dats.c -------------------------------------------------------------------------------- /srcgen/CBOOT/prelude/DATS_char_dats.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/prelude/DATS_char_dats.c -------------------------------------------------------------------------------- /srcgen/CBOOT/prelude/DATS_filebas_dats.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/prelude/DATS_filebas_dats.c -------------------------------------------------------------------------------- /srcgen/CBOOT/prelude/DATS_float_dats.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/prelude/DATS_float_dats.c -------------------------------------------------------------------------------- /srcgen/CBOOT/prelude/DATS_integer_dats.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/prelude/DATS_integer_dats.c -------------------------------------------------------------------------------- /srcgen/CBOOT/prelude/DATS_lazy_dats.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/prelude/DATS_lazy_dats.c -------------------------------------------------------------------------------- /srcgen/CBOOT/prelude/DATS_lazy_vt_dats.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/prelude/DATS_lazy_vt_dats.c -------------------------------------------------------------------------------- /srcgen/CBOOT/prelude/DATS_list0_dats.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/prelude/DATS_list0_dats.c -------------------------------------------------------------------------------- /srcgen/CBOOT/prelude/DATS_list_dats.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/prelude/DATS_list_dats.c -------------------------------------------------------------------------------- /srcgen/CBOOT/prelude/DATS_list_vt_dats.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/prelude/DATS_list_vt_dats.c -------------------------------------------------------------------------------- /srcgen/CBOOT/prelude/DATS_matrix0_dats.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/prelude/DATS_matrix0_dats.c -------------------------------------------------------------------------------- /srcgen/CBOOT/prelude/DATS_matrix_dats.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/prelude/DATS_matrix_dats.c -------------------------------------------------------------------------------- /srcgen/CBOOT/prelude/DATS_option0_dats.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/prelude/DATS_option0_dats.c -------------------------------------------------------------------------------- /srcgen/CBOOT/prelude/DATS_option_dats.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/prelude/DATS_option_dats.c -------------------------------------------------------------------------------- /srcgen/CBOOT/prelude/DATS_option_vt_dats.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/prelude/DATS_option_vt_dats.c -------------------------------------------------------------------------------- /srcgen/CBOOT/prelude/DATS_pointer_dats.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/prelude/DATS_pointer_dats.c -------------------------------------------------------------------------------- /srcgen/CBOOT/prelude/DATS_printf_dats.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/prelude/DATS_printf_dats.c -------------------------------------------------------------------------------- /srcgen/CBOOT/prelude/DATS_ptrarr_dats.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/prelude/DATS_ptrarr_dats.c -------------------------------------------------------------------------------- /srcgen/CBOOT/prelude/DATS_reference_dats.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/prelude/DATS_reference_dats.c -------------------------------------------------------------------------------- /srcgen/CBOOT/prelude/DATS_sizetype_dats.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/prelude/DATS_sizetype_dats.c -------------------------------------------------------------------------------- /srcgen/CBOOT/prelude/DATS_string_dats.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/prelude/DATS_string_dats.c -------------------------------------------------------------------------------- /srcgen/CBOOT/prelude/DATS_unsafe_dats.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/prelude/DATS_unsafe_dats.c -------------------------------------------------------------------------------- /srcgen/CBOOT/prelude/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/prelude/Makefile -------------------------------------------------------------------------------- /srcgen/CBOOT/prelude/ats_main_prelude_dats.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/prelude/ats_main_prelude_dats.c -------------------------------------------------------------------------------- /srcgen/CBOOT/prelude/basics_dyn_sats.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/prelude/basics_dyn_sats.c -------------------------------------------------------------------------------- /srcgen/CBOOT/prelude/basics_sta_sats.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/CBOOT/prelude/basics_sta_sats.c -------------------------------------------------------------------------------- /srcgen/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/Makefile -------------------------------------------------------------------------------- /srcgen/Makefile.atxt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/Makefile.atxt -------------------------------------------------------------------------------- /srcgen/Makefile.exe: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/Makefile.exe -------------------------------------------------------------------------------- /srcgen/Makefile.gen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/Makefile.gen -------------------------------------------------------------------------------- /srcgen/Makefile_CBOOTgmp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/Makefile_CBOOTgmp -------------------------------------------------------------------------------- /srcgen/Makefile_CBOOTint: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/Makefile_CBOOTint -------------------------------------------------------------------------------- /srcgen/pats_atspre.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_atspre.dats -------------------------------------------------------------------------------- /srcgen/pats_basics.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_basics.dats -------------------------------------------------------------------------------- /srcgen/pats_basics.hats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_basics.hats -------------------------------------------------------------------------------- /srcgen/pats_basics.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_basics.sats -------------------------------------------------------------------------------- /srcgen/pats_ccomp.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_ccomp.dats -------------------------------------------------------------------------------- /srcgen/pats_ccomp.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_ccomp.sats -------------------------------------------------------------------------------- /srcgen/pats_ccomp_caseof.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_ccomp_caseof.dats -------------------------------------------------------------------------------- /srcgen/pats_ccomp_ccompenv.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_ccomp_ccompenv.dats -------------------------------------------------------------------------------- /srcgen/pats_ccomp_claulst.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_ccomp_claulst.dats -------------------------------------------------------------------------------- /srcgen/pats_ccomp_d2env.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_ccomp_d2env.dats -------------------------------------------------------------------------------- /srcgen/pats_ccomp_decl.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_ccomp_decl.dats -------------------------------------------------------------------------------- /srcgen/pats_ccomp_dynexp.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_ccomp_dynexp.dats -------------------------------------------------------------------------------- /srcgen/pats_ccomp_emit.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_ccomp_emit.dats -------------------------------------------------------------------------------- /srcgen/pats_ccomp_emit2.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_ccomp_emit2.dats -------------------------------------------------------------------------------- /srcgen/pats_ccomp_emit3.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_ccomp_emit3.dats -------------------------------------------------------------------------------- /srcgen/pats_ccomp_environ.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_ccomp_environ.dats -------------------------------------------------------------------------------- /srcgen/pats_ccomp_funent.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_ccomp_funent.dats -------------------------------------------------------------------------------- /srcgen/pats_ccomp_funlab.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_ccomp_funlab.dats -------------------------------------------------------------------------------- /srcgen/pats_ccomp_hipat.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_ccomp_hipat.dats -------------------------------------------------------------------------------- /srcgen/pats_ccomp_hitype.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_ccomp_hitype.dats -------------------------------------------------------------------------------- /srcgen/pats_ccomp_instrseq.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_ccomp_instrseq.dats -------------------------------------------------------------------------------- /srcgen/pats_ccomp_lazyeval.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_ccomp_lazyeval.dats -------------------------------------------------------------------------------- /srcgen/pats_ccomp_looping.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_ccomp_looping.dats -------------------------------------------------------------------------------- /srcgen/pats_ccomp_main.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_ccomp_main.dats -------------------------------------------------------------------------------- /srcgen/pats_ccomp_print.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_ccomp_print.dats -------------------------------------------------------------------------------- /srcgen/pats_ccomp_subst.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_ccomp_subst.dats -------------------------------------------------------------------------------- /srcgen/pats_ccomp_template.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_ccomp_template.dats -------------------------------------------------------------------------------- /srcgen/pats_ccomp_tmplab.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_ccomp_tmplab.dats -------------------------------------------------------------------------------- /srcgen/pats_ccomp_tmpvar.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_ccomp_tmpvar.dats -------------------------------------------------------------------------------- /srcgen/pats_ccomp_trywith.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_ccomp_trywith.dats -------------------------------------------------------------------------------- /srcgen/pats_ccomp_util.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_ccomp_util.dats -------------------------------------------------------------------------------- /srcgen/pats_codegen2.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_codegen2.dats -------------------------------------------------------------------------------- /srcgen/pats_codegen2.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_codegen2.sats -------------------------------------------------------------------------------- /srcgen/pats_codegen2_absrec.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_codegen2_absrec.dats -------------------------------------------------------------------------------- /srcgen/pats_codegen2_datype.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_codegen2_datype.dats -------------------------------------------------------------------------------- /srcgen/pats_codegen2_fprint.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_codegen2_fprint.dats -------------------------------------------------------------------------------- /srcgen/pats_codegen2_util.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_codegen2_util.dats -------------------------------------------------------------------------------- /srcgen/pats_comarg.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_comarg.dats -------------------------------------------------------------------------------- /srcgen/pats_comarg.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_comarg.sats -------------------------------------------------------------------------------- /srcgen/pats_constraint3.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_constraint3.dats -------------------------------------------------------------------------------- /srcgen/pats_constraint3.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_constraint3.sats -------------------------------------------------------------------------------- /srcgen/pats_constraint3_appenv.hats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_constraint3_appenv.hats -------------------------------------------------------------------------------- /srcgen/pats_constraint3_icnstr.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_constraint3_icnstr.dats -------------------------------------------------------------------------------- /srcgen/pats_constraint3_init.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_constraint3_init.dats -------------------------------------------------------------------------------- /srcgen/pats_constraint3_jsonize.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_constraint3_jsonize.dats -------------------------------------------------------------------------------- /srcgen/pats_constraint3_mapgen.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_constraint3_mapgen.dats -------------------------------------------------------------------------------- /srcgen/pats_constraint3_print.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_constraint3_print.dats -------------------------------------------------------------------------------- /srcgen/pats_constraint3_simplify.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_constraint3_simplify.dats -------------------------------------------------------------------------------- /srcgen/pats_constraint3_solve.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_constraint3_solve.dats -------------------------------------------------------------------------------- /srcgen/pats_counter.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_counter.dats -------------------------------------------------------------------------------- /srcgen/pats_counter.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_counter.sats -------------------------------------------------------------------------------- /srcgen/pats_depgen.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_depgen.dats -------------------------------------------------------------------------------- /srcgen/pats_depgen.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_depgen.sats -------------------------------------------------------------------------------- /srcgen/pats_dmacro2.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_dmacro2.dats -------------------------------------------------------------------------------- /srcgen/pats_dmacro2.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_dmacro2.sats -------------------------------------------------------------------------------- /srcgen/pats_dmacro2_eval0.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_dmacro2_eval0.dats -------------------------------------------------------------------------------- /srcgen/pats_dmacro2_eval1.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_dmacro2_eval1.dats -------------------------------------------------------------------------------- /srcgen/pats_dmacro2_print.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_dmacro2_print.dats -------------------------------------------------------------------------------- /srcgen/pats_dyncst2.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_dyncst2.dats -------------------------------------------------------------------------------- /srcgen/pats_dyncst2.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_dyncst2.sats -------------------------------------------------------------------------------- /srcgen/pats_dynexp1.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_dynexp1.dats -------------------------------------------------------------------------------- /srcgen/pats_dynexp1.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_dynexp1.sats -------------------------------------------------------------------------------- /srcgen/pats_dynexp1_print.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_dynexp1_print.dats -------------------------------------------------------------------------------- /srcgen/pats_dynexp2.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_dynexp2.dats -------------------------------------------------------------------------------- /srcgen/pats_dynexp2.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_dynexp2.sats -------------------------------------------------------------------------------- /srcgen/pats_dynexp2_appenv.hats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_dynexp2_appenv.hats -------------------------------------------------------------------------------- /srcgen/pats_dynexp2_dcst.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_dynexp2_dcst.dats -------------------------------------------------------------------------------- /srcgen/pats_dynexp2_dmac.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_dynexp2_dmac.dats -------------------------------------------------------------------------------- /srcgen/pats_dynexp2_dvar.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_dynexp2_dvar.dats -------------------------------------------------------------------------------- /srcgen/pats_dynexp2_mapgen.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_dynexp2_mapgen.dats -------------------------------------------------------------------------------- /srcgen/pats_dynexp2_print.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_dynexp2_print.dats -------------------------------------------------------------------------------- /srcgen/pats_dynexp2_util.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_dynexp2_util.dats -------------------------------------------------------------------------------- /srcgen/pats_dynexp3.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_dynexp3.dats -------------------------------------------------------------------------------- /srcgen/pats_dynexp3.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_dynexp3.sats -------------------------------------------------------------------------------- /srcgen/pats_dynexp3_print.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_dynexp3_print.dats -------------------------------------------------------------------------------- /srcgen/pats_e1xpval.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_e1xpval.dats -------------------------------------------------------------------------------- /srcgen/pats_e1xpval.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_e1xpval.sats -------------------------------------------------------------------------------- /srcgen/pats_e1xpval_error.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_e1xpval_error.dats -------------------------------------------------------------------------------- /srcgen/pats_effect.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_effect.dats -------------------------------------------------------------------------------- /srcgen/pats_effect.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_effect.sats -------------------------------------------------------------------------------- /srcgen/pats_errmsg.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_errmsg.dats -------------------------------------------------------------------------------- /srcgen/pats_errmsg.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_errmsg.sats -------------------------------------------------------------------------------- /srcgen/pats_error.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_error.dats -------------------------------------------------------------------------------- /srcgen/pats_error.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_error.sats -------------------------------------------------------------------------------- /srcgen/pats_filename.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_filename.dats -------------------------------------------------------------------------------- /srcgen/pats_filename.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_filename.sats -------------------------------------------------------------------------------- /srcgen/pats_filename_reloc.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_filename_reloc.dats -------------------------------------------------------------------------------- /srcgen/pats_fixity.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_fixity.sats -------------------------------------------------------------------------------- /srcgen/pats_fixity_fxty.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_fixity_fxty.dats -------------------------------------------------------------------------------- /srcgen/pats_fixity_prec.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_fixity_prec.dats -------------------------------------------------------------------------------- /srcgen/pats_global.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_global.dats -------------------------------------------------------------------------------- /srcgen/pats_global.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_global.sats -------------------------------------------------------------------------------- /srcgen/pats_hidynexp.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_hidynexp.dats -------------------------------------------------------------------------------- /srcgen/pats_hidynexp.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_hidynexp.sats -------------------------------------------------------------------------------- /srcgen/pats_hidynexp_print.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_hidynexp_print.dats -------------------------------------------------------------------------------- /srcgen/pats_hidynexp_util.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_hidynexp_util.dats -------------------------------------------------------------------------------- /srcgen/pats_histaexp.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_histaexp.dats -------------------------------------------------------------------------------- /srcgen/pats_histaexp.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_histaexp.sats -------------------------------------------------------------------------------- /srcgen/pats_histaexp_funlab.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_histaexp_funlab.dats -------------------------------------------------------------------------------- /srcgen/pats_histaexp_print.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_histaexp_print.dats -------------------------------------------------------------------------------- /srcgen/pats_intinf.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_intinf.dats -------------------------------------------------------------------------------- /srcgen/pats_intinf.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_intinf.sats -------------------------------------------------------------------------------- /srcgen/pats_intinf_gmp.hats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_intinf_gmp.hats -------------------------------------------------------------------------------- /srcgen/pats_intinf_int.hats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_intinf_int.hats -------------------------------------------------------------------------------- /srcgen/pats_jsonize.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_jsonize.dats -------------------------------------------------------------------------------- /srcgen/pats_jsonize.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_jsonize.sats -------------------------------------------------------------------------------- /srcgen/pats_jsonize_synent2.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_jsonize_synent2.dats -------------------------------------------------------------------------------- /srcgen/pats_jsonize_synent2.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_jsonize_synent2.sats -------------------------------------------------------------------------------- /srcgen/pats_label.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_label.dats -------------------------------------------------------------------------------- /srcgen/pats_label.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_label.sats -------------------------------------------------------------------------------- /srcgen/pats_lexbuf.cats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_lexbuf.cats -------------------------------------------------------------------------------- /srcgen/pats_lexbuf.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_lexbuf.dats -------------------------------------------------------------------------------- /srcgen/pats_lexbuf.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_lexbuf.sats -------------------------------------------------------------------------------- /srcgen/pats_lexing.cats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_lexing.cats -------------------------------------------------------------------------------- /srcgen/pats_lexing.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_lexing.dats -------------------------------------------------------------------------------- /srcgen/pats_lexing.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_lexing.sats -------------------------------------------------------------------------------- /srcgen/pats_lexing_error.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_lexing_error.dats -------------------------------------------------------------------------------- /srcgen/pats_lexing_print.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_lexing_print.dats -------------------------------------------------------------------------------- /srcgen/pats_lexing_token.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_lexing_token.dats -------------------------------------------------------------------------------- /srcgen/pats_lintprgm.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_lintprgm.dats -------------------------------------------------------------------------------- /srcgen/pats_lintprgm.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_lintprgm.sats -------------------------------------------------------------------------------- /srcgen/pats_lintprgm_myint.cats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_lintprgm_myint.cats -------------------------------------------------------------------------------- /srcgen/pats_lintprgm_myint.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_lintprgm_myint.dats -------------------------------------------------------------------------------- /srcgen/pats_lintprgm_myint_gmp.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_lintprgm_myint_gmp.dats -------------------------------------------------------------------------------- /srcgen/pats_lintprgm_myint_int.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_lintprgm_myint_int.dats -------------------------------------------------------------------------------- /srcgen/pats_lintprgm_print.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_lintprgm_print.dats -------------------------------------------------------------------------------- /srcgen/pats_lintprgm_solve.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_lintprgm_solve.dats -------------------------------------------------------------------------------- /srcgen/pats_location.cats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_location.cats -------------------------------------------------------------------------------- /srcgen/pats_location.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_location.dats -------------------------------------------------------------------------------- /srcgen/pats_location.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_location.sats -------------------------------------------------------------------------------- /srcgen/pats_main.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_main.dats -------------------------------------------------------------------------------- /srcgen/pats_namespace.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_namespace.dats -------------------------------------------------------------------------------- /srcgen/pats_namespace.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_namespace.sats -------------------------------------------------------------------------------- /srcgen/pats_params.hats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_params.hats -------------------------------------------------------------------------------- /srcgen/pats_parsing.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_parsing.dats -------------------------------------------------------------------------------- /srcgen/pats_parsing.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_parsing.sats -------------------------------------------------------------------------------- /srcgen/pats_parsing_base.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_parsing_base.dats -------------------------------------------------------------------------------- /srcgen/pats_parsing_decl.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_parsing_decl.dats -------------------------------------------------------------------------------- /srcgen/pats_parsing_dynexp.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_parsing_dynexp.dats -------------------------------------------------------------------------------- /srcgen/pats_parsing_e0xp.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_parsing_e0xp.dats -------------------------------------------------------------------------------- /srcgen/pats_parsing_error.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_parsing_error.dats -------------------------------------------------------------------------------- /srcgen/pats_parsing_kwds.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_parsing_kwds.dats -------------------------------------------------------------------------------- /srcgen/pats_parsing_p0at.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_parsing_p0at.dats -------------------------------------------------------------------------------- /srcgen/pats_parsing_sort.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_parsing_sort.dats -------------------------------------------------------------------------------- /srcgen/pats_parsing_staexp.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_parsing_staexp.dats -------------------------------------------------------------------------------- /srcgen/pats_parsing_toplevel.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_parsing_toplevel.dats -------------------------------------------------------------------------------- /srcgen/pats_parsing_util.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_parsing_util.dats -------------------------------------------------------------------------------- /srcgen/pats_patcst2.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_patcst2.dats -------------------------------------------------------------------------------- /srcgen/pats_patcst2.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_patcst2.sats -------------------------------------------------------------------------------- /srcgen/pats_reader.cats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_reader.cats -------------------------------------------------------------------------------- /srcgen/pats_reader.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_reader.dats -------------------------------------------------------------------------------- /srcgen/pats_reader.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_reader.sats -------------------------------------------------------------------------------- /srcgen/pats_stacst2.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_stacst2.dats -------------------------------------------------------------------------------- /srcgen/pats_stacst2.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_stacst2.sats -------------------------------------------------------------------------------- /srcgen/pats_staexp1.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_staexp1.dats -------------------------------------------------------------------------------- /srcgen/pats_staexp1.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_staexp1.sats -------------------------------------------------------------------------------- /srcgen/pats_staexp1_print.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_staexp1_print.dats -------------------------------------------------------------------------------- /srcgen/pats_staexp2.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_staexp2.dats -------------------------------------------------------------------------------- /srcgen/pats_staexp2.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_staexp2.sats -------------------------------------------------------------------------------- /srcgen/pats_staexp2_appenv.hats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_staexp2_appenv.hats -------------------------------------------------------------------------------- /srcgen/pats_staexp2_ctxt.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_staexp2_ctxt.dats -------------------------------------------------------------------------------- /srcgen/pats_staexp2_dcon.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_staexp2_dcon.dats -------------------------------------------------------------------------------- /srcgen/pats_staexp2_error.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_staexp2_error.dats -------------------------------------------------------------------------------- /srcgen/pats_staexp2_error.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_staexp2_error.sats -------------------------------------------------------------------------------- /srcgen/pats_staexp2_hole.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_staexp2_hole.dats -------------------------------------------------------------------------------- /srcgen/pats_staexp2_pprint.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_staexp2_pprint.dats -------------------------------------------------------------------------------- /srcgen/pats_staexp2_print.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_staexp2_print.dats -------------------------------------------------------------------------------- /srcgen/pats_staexp2_scst.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_staexp2_scst.dats -------------------------------------------------------------------------------- /srcgen/pats_staexp2_skexp.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_staexp2_skexp.dats -------------------------------------------------------------------------------- /srcgen/pats_staexp2_solve.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_staexp2_solve.dats -------------------------------------------------------------------------------- /srcgen/pats_staexp2_solve.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_staexp2_solve.sats -------------------------------------------------------------------------------- /srcgen/pats_staexp2_sort.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_staexp2_sort.dats -------------------------------------------------------------------------------- /srcgen/pats_staexp2_svar.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_staexp2_svar.dats -------------------------------------------------------------------------------- /srcgen/pats_staexp2_svvar.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_staexp2_svvar.dats -------------------------------------------------------------------------------- /srcgen/pats_staexp2_szexp.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_staexp2_szexp.dats -------------------------------------------------------------------------------- /srcgen/pats_staexp2_util.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_staexp2_util.sats -------------------------------------------------------------------------------- /srcgen/pats_staexp2_util1.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_staexp2_util1.dats -------------------------------------------------------------------------------- /srcgen/pats_staexp2_util2.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_staexp2_util2.dats -------------------------------------------------------------------------------- /srcgen/pats_staexp2_util3.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_staexp2_util3.dats -------------------------------------------------------------------------------- /srcgen/pats_stamp.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_stamp.dats -------------------------------------------------------------------------------- /srcgen/pats_stamp.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_stamp.sats -------------------------------------------------------------------------------- /srcgen/pats_symbol.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_symbol.dats -------------------------------------------------------------------------------- /srcgen/pats_symbol.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_symbol.sats -------------------------------------------------------------------------------- /srcgen/pats_symenv.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_symenv.dats -------------------------------------------------------------------------------- /srcgen/pats_symenv.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_symenv.sats -------------------------------------------------------------------------------- /srcgen/pats_symmap.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_symmap.dats -------------------------------------------------------------------------------- /srcgen/pats_symmap.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_symmap.sats -------------------------------------------------------------------------------- /srcgen/pats_symmap_avltree.hats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_symmap_avltree.hats -------------------------------------------------------------------------------- /srcgen/pats_symmap_htlinprb.hats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_symmap_htlinprb.hats -------------------------------------------------------------------------------- /srcgen/pats_syntax.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_syntax.dats -------------------------------------------------------------------------------- /srcgen/pats_syntax.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_syntax.sats -------------------------------------------------------------------------------- /srcgen/pats_syntax_print.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_syntax_print.dats -------------------------------------------------------------------------------- /srcgen/pats_taggen.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_taggen.dats -------------------------------------------------------------------------------- /srcgen/pats_taggen.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_taggen.sats -------------------------------------------------------------------------------- /srcgen/pats_tokbuf.cats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_tokbuf.cats -------------------------------------------------------------------------------- /srcgen/pats_tokbuf.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_tokbuf.dats -------------------------------------------------------------------------------- /srcgen/pats_tokbuf.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_tokbuf.sats -------------------------------------------------------------------------------- /srcgen/pats_trans1.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_trans1.sats -------------------------------------------------------------------------------- /srcgen/pats_trans1_decl.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_trans1_decl.dats -------------------------------------------------------------------------------- /srcgen/pats_trans1_dynexp.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_trans1_dynexp.dats -------------------------------------------------------------------------------- /srcgen/pats_trans1_e0xp.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_trans1_e0xp.dats -------------------------------------------------------------------------------- /srcgen/pats_trans1_effect.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_trans1_effect.dats -------------------------------------------------------------------------------- /srcgen/pats_trans1_env.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_trans1_env.dats -------------------------------------------------------------------------------- /srcgen/pats_trans1_env.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_trans1_env.sats -------------------------------------------------------------------------------- /srcgen/pats_trans1_error.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_trans1_error.dats -------------------------------------------------------------------------------- /srcgen/pats_trans1_p0at.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_trans1_p0at.dats -------------------------------------------------------------------------------- /srcgen/pats_trans1_sort.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_trans1_sort.dats -------------------------------------------------------------------------------- /srcgen/pats_trans1_staexp.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_trans1_staexp.dats -------------------------------------------------------------------------------- /srcgen/pats_trans1_syndef.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_trans1_syndef.dats -------------------------------------------------------------------------------- /srcgen/pats_trans2.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_trans2.sats -------------------------------------------------------------------------------- /srcgen/pats_trans2_decl.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_trans2_decl.dats -------------------------------------------------------------------------------- /srcgen/pats_trans2_dynexp.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_trans2_dynexp.dats -------------------------------------------------------------------------------- /srcgen/pats_trans2_env.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_trans2_env.dats -------------------------------------------------------------------------------- /srcgen/pats_trans2_env.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_trans2_env.sats -------------------------------------------------------------------------------- /srcgen/pats_trans2_error.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_trans2_error.dats -------------------------------------------------------------------------------- /srcgen/pats_trans2_impdec.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_trans2_impdec.dats -------------------------------------------------------------------------------- /srcgen/pats_trans2_p1at.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_trans2_p1at.dats -------------------------------------------------------------------------------- /srcgen/pats_trans2_sort.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_trans2_sort.dats -------------------------------------------------------------------------------- /srcgen/pats_trans2_staexp.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_trans2_staexp.dats -------------------------------------------------------------------------------- /srcgen/pats_trans3.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_trans3.sats -------------------------------------------------------------------------------- /srcgen/pats_trans3_appsym.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_trans3_appsym.dats -------------------------------------------------------------------------------- /srcgen/pats_trans3_assgn.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_trans3_assgn.dats -------------------------------------------------------------------------------- /srcgen/pats_trans3_caseof.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_trans3_caseof.dats -------------------------------------------------------------------------------- /srcgen/pats_trans3_decl.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_trans3_decl.dats -------------------------------------------------------------------------------- /srcgen/pats_trans3_deref.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_trans3_deref.dats -------------------------------------------------------------------------------- /srcgen/pats_trans3_dynexp_dn.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_trans3_dynexp_dn.dats -------------------------------------------------------------------------------- /srcgen/pats_trans3_dynexp_up.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_trans3_dynexp_up.dats -------------------------------------------------------------------------------- /srcgen/pats_trans3_env.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_trans3_env.dats -------------------------------------------------------------------------------- /srcgen/pats_trans3_env.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_trans3_env.sats -------------------------------------------------------------------------------- /srcgen/pats_trans3_env_dvar.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_trans3_env_dvar.dats -------------------------------------------------------------------------------- /srcgen/pats_trans3_env_effect.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_trans3_env_effect.dats -------------------------------------------------------------------------------- /srcgen/pats_trans3_env_lamlp.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_trans3_env_lamlp.dats -------------------------------------------------------------------------------- /srcgen/pats_trans3_env_lstate.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_trans3_env_lstate.dats -------------------------------------------------------------------------------- /srcgen/pats_trans3_env_pfman.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_trans3_env_pfman.dats -------------------------------------------------------------------------------- /srcgen/pats_trans3_env_print.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_trans3_env_print.dats -------------------------------------------------------------------------------- /srcgen/pats_trans3_env_scst.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_trans3_env_scst.dats -------------------------------------------------------------------------------- /srcgen/pats_trans3_env_svar.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_trans3_env_svar.dats -------------------------------------------------------------------------------- /srcgen/pats_trans3_env_termet.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_trans3_env_termet.dats -------------------------------------------------------------------------------- /srcgen/pats_trans3_error.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_trans3_error.dats -------------------------------------------------------------------------------- /srcgen/pats_trans3_fldfrat.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_trans3_fldfrat.dats -------------------------------------------------------------------------------- /srcgen/pats_trans3_looping.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_trans3_looping.dats -------------------------------------------------------------------------------- /srcgen/pats_trans3_lvalres.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_trans3_lvalres.dats -------------------------------------------------------------------------------- /srcgen/pats_trans3_p2at.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_trans3_p2at.dats -------------------------------------------------------------------------------- /srcgen/pats_trans3_patcon.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_trans3_patcon.dats -------------------------------------------------------------------------------- /srcgen/pats_trans3_ptrof.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_trans3_ptrof.dats -------------------------------------------------------------------------------- /srcgen/pats_trans3_selab.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_trans3_selab.dats -------------------------------------------------------------------------------- /srcgen/pats_trans3_syncst.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_trans3_syncst.dats -------------------------------------------------------------------------------- /srcgen/pats_trans3_util.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_trans3_util.dats -------------------------------------------------------------------------------- /srcgen/pats_trans3_viewat.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_trans3_viewat.dats -------------------------------------------------------------------------------- /srcgen/pats_trans3_xchng.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_trans3_xchng.dats -------------------------------------------------------------------------------- /srcgen/pats_typerase.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_typerase.sats -------------------------------------------------------------------------------- /srcgen/pats_typerase_decl.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_typerase_decl.dats -------------------------------------------------------------------------------- /srcgen/pats_typerase_dynexp.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_typerase_dynexp.dats -------------------------------------------------------------------------------- /srcgen/pats_typerase_error.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_typerase_error.dats -------------------------------------------------------------------------------- /srcgen/pats_typerase_staexp.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_typerase_staexp.dats -------------------------------------------------------------------------------- /srcgen/pats_utils.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_utils.dats -------------------------------------------------------------------------------- /srcgen/pats_utils.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/srcgen/pats_utils.sats -------------------------------------------------------------------------------- /travis-ci/install-ats1.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/travis-ci/install-ats1.sh -------------------------------------------------------------------------------- /travis-ci/install-ats2.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/travis-ci/install-ats2.sh -------------------------------------------------------------------------------- /travis-ci/travis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/travis-ci/travis.yml -------------------------------------------------------------------------------- /utils/mytempacc/BUILD/.keeper: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /utils/mytempacc/DATS/mytempacc.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/utils/mytempacc/DATS/mytempacc.dats -------------------------------------------------------------------------------- /utils/mytempacc/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/utils/mytempacc/Makefile -------------------------------------------------------------------------------- /utils/mytempacc/Makefile_build: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/utils/mytempacc/Makefile_build -------------------------------------------------------------------------------- /utils/tempacc/BUILD/.keeper: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /utils/tempacc/DATS/atscc_main.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/utils/tempacc/DATS/atscc_main.dats -------------------------------------------------------------------------------- /utils/tempacc/DATS/atscc_print.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/utils/tempacc/DATS/atscc_print.dats -------------------------------------------------------------------------------- /utils/tempacc/DATS/atscc_util.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/utils/tempacc/DATS/atscc_util.dats -------------------------------------------------------------------------------- /utils/tempacc/DATS/tempacc.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/utils/tempacc/DATS/tempacc.dats -------------------------------------------------------------------------------- /utils/tempacc/DATS/util.dats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/utils/tempacc/DATS/util.dats -------------------------------------------------------------------------------- /utils/tempacc/DOCUGEN/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/utils/tempacc/DOCUGEN/Makefile -------------------------------------------------------------------------------- /utils/tempacc/DOCUGEN/tempaccman.atxt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/utils/tempacc/DOCUGEN/tempaccman.atxt -------------------------------------------------------------------------------- /utils/tempacc/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/utils/tempacc/Makefile -------------------------------------------------------------------------------- /utils/tempacc/Makefile_build: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/utils/tempacc/Makefile_build -------------------------------------------------------------------------------- /utils/tempacc/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/utils/tempacc/README -------------------------------------------------------------------------------- /utils/tempacc/SATS/atscc.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/utils/tempacc/SATS/atscc.sats -------------------------------------------------------------------------------- /utils/tempacc/SATS/util.sats: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/githwxi/ATS-Temptory/HEAD/utils/tempacc/SATS/util.sats --------------------------------------------------------------------------------