ats-lang-anairiats-examples - i386

Documentation

Binaries

atsopt

compile units

includes

ats_array_sats.c

ats_array_dats.c

pointer.cats

string.cats

ats_charlst_sats.c

ats_charlst_dats.c

integer.cats

string.cats

sizetype.cats

pointer.cats

ats_comarg_sats.c

ats_comarg_dats.c

string.cats

sizetype.cats

integer.cats

char.cats

pointer.cats

ats_counter_sats.c

ats_counter_dats.c

ats_counter.cats

integer.cats

basics.cats

pointer.cats

string.cats

ats_debug_sats.c

ats_debug_dats.c

pointer.cats

string.cats

ats_effect_sats.c

ats_effect_dats.c

integer.cats

string.cats

basics.cats

pointer.cats

printf.cats

ats_error_sats.c

unassigned

string.cats

ats_error_dats.c

basics.cats

pointer.cats

printf.cats

ats_filename_sats.c

ats_filename_dats.c

sizetype.cats

string.cats

integer.cats

basics.cats

reference.cats

char.cats

pointer.cats

printf.cats

ats_fixity_sats.c

ats_fixity_prec_dats.c

integer.cats

pointer.cats

string.cats

ats_fixity_fxty_dats.c

string.cats

basics.cats

integer.cats

pointer.cats

printf.cats

ats_global_sats.c

ats_global_dats.c

reference.cats

pointer.cats

string.cats

ats_hashtbl_sats.c

string.cats

ats_hashtbl_dats.c

array.cats

reference.cats

integer.cats

sizetype.cats

pointer.cats

ats_intinf_sats.c

ats_intinf_dats.c

pointer.cats

ats_gmp.cats

reference.cats

basics.cats

string.cats

ats_keyword_sats.c

ats_keyword_dats.c

pointer.cats

string.cats

ats_label_sats.c

ats_label_dats.c

integer.cats

basics.cats

pointer.cats

string.cats

printf.cats

ats_location_sats.c

ats_location_dats.c

integer.cats

string.cats

basics.cats

pointer.cats

printf.cats

ats_namespace_sats.c

ats_namespace_dats.c

string.cats

basics.cats

reference.cats

pointer.cats

printf.cats

ats_posmark_sats.c

ats_posmark_dats.c

integer.cats

printf.cats

stdio.cats

string.cats

char.cats

pointer.cats

stdlib.cats

array.cats

basics.cats

reference.cats

sizetype.cats

ats_stamp_sats.c

ats_stamp_dats.c

ats_counter.cats

basics.cats

pointer.cats

string.cats

ats_symbol_sats.c

ats_symbol_dats.c

ats_counter.cats

string.cats

char.cats

basics.cats

pointer.cats

printf.cats

ats_symenv_sats.c

ats_symenv_dats.c

reference.cats

pointer.cats

string.cats

ats_symtbl_sats.c

ats_symtbl_dats.c

pointer.cats

integer.cats

string.cats

basics.cats

ats_list_sats.c

ats_list_dats.c

integer.cats

string.cats

basics.cats

pointer.cats

printf.cats

ats_map_lin_sats.c

ats_map_lin_dats.c

pointer.cats

string.cats

ats_reference_sats.c

ats_reference_dats.c

pointer.cats

string.cats

ats_set_fun_sats.c

ats_set_fun_dats.c

pointer.cats

string.cats

ats_parser_sats.c

ats_parser_dats.c

stdio.cats

integer.cats

pointer.cats

string.cats

ats_syntax_sats.c

ats_syntax_dats.c

printf.cats

string.cats

integer.cats

basics.cats

char.cats

pointer.cats

ats_syntax_depgen_dats.c

printf.cats

string.cats

sizetype.cats

char.cats

basics.cats

reference.cats

pointer.cats

ats_syntax_taggen_dats.c

string.cats

integer.cats

pointer.cats

printf.cats

ats_syntax_posmark_dats.c

pointer.cats

string.cats

ats_staexp1_sats.c

ats_staexp1_dats.c

string.cats

basics.cats

pointer.cats

printf.cats

ats_staexp1_print_dats.c

string.cats

char.cats

integer.cats

basics.cats

pointer.cats

printf.cats

ats_dynexp1_sats.c

ats_dynexp1_dats.c

string.cats

basics.cats

pointer.cats

printf.cats

ats_dynexp1_print_dats.c

printf.cats

string.cats

integer.cats

char.cats

bool.cats

basics.cats

pointer.cats

ats_dynexp1_syndef_dats.c

basics.cats

string.cats

integer.cats

pointer.cats

printf.cats

ats_dynexp1_syndef_sats.c

ats_trans1_env_sats.c

ats_trans1_env_dats.c

integer.cats

array.cats

string.cats

basics.cats

reference.cats

sizetype.cats

pointer.cats

printf.cats

ats_e1xp_eval_sats.c

string.cats

basics.cats

ats_e1xp_eval_dats.c

char.cats

integer.cats

sizetype.cats

float.cats

bool.cats

pointer.cats

printf.cats

ats_trans1_sats.c

ats_trans1_sta_dats.c

string.cats

basics.cats

char.cats

float.cats

integer.cats

pointer.cats

printf.cats

ats_trans1_dyn_dats.c

string.cats

basics.cats

integer.cats

pointer.cats

printf.cats

ats_staexp2_sats.c

ats_staexp2_dats.c

string.cats

basics.cats

pointer.cats

ats_counter.cats

integer.cats

printf.cats

ats_staexp2_print_dats.c

string.cats

char.cats

integer.cats

ats_counter.cats

basics.cats

pointer.cats

printf.cats

ats_staexp2_scst_dats.c

string.cats

pointer.cats

integer.cats

ats_counter.cats

basics.cats

printf.cats

ats_staexp2_svVar_dats.c

integer.cats

ats_counter.cats

basics.cats

string.cats

pointer.cats

bool.cats

printf.cats

ats_staexp2_dcon_dats.c

string.cats

integer.cats

pointer.cats

ats_counter.cats

basics.cats

printf.cats

ats_staexp2_util1_dats.c

integer.cats

string.cats

basics.cats

ats_counter.cats

bool.cats

pointer.cats

printf.cats

ats_staexp2_util2_dats.c

integer.cats

string.cats

basics.cats

char.cats

ats_intinf.cats

ats_gmp.cats

ats_counter.cats

pointer.cats

printf.cats

ats_staexp2_pprint_sats.c

ats_staexp2_pprint_dats.c

integer.cats

string.cats

pointer.cats

printf.cats

ats_dynexp2_sats.c

ats_dynexp2_dats.c

integer.cats

string.cats

basics.cats

reference.cats

pointer.cats

ats_dynexp2_dcst_dats.c

pointer.cats

integer.cats

ats_counter.cats

basics.cats

string.cats

ats_dynexp2_dmac_dats.c

pointer.cats

ats_counter.cats

basics.cats

integer.cats

string.cats

ats_dynexp2_dvar_dats.c

integer.cats

basics.cats

string.cats

pointer.cats

ats_counter.cats

printf.cats

string.cats

integer.cats

ats_dynexp2_print_dats.c

printf.cats

bool.cats

char.cats

basics.cats

pointer.cats

ats_dynexp2_util_dats.c

string.cats

basics.cats

integer.cats

pointer.cats

ats_trans2_env_sats.c

ats_trans2_env_dats.c

integer.cats

array.cats

string.cats

basics.cats

reference.cats

sizetype.cats

pointer.cats

printf.cats

ats_stadyncst2_sats.c

ats_stadyncst2_dats.c

pointer.cats

string.cats

basics.cats

printf.cats

ats_trans2_sats.c

ats_trans2_sta_dats.c

string.cats

basics.cats

integer.cats

ats_counter.cats

bool.cats

pointer.cats

printf.cats

ats_trans2_dyn1_dats.c

string.cats

basics.cats

printf.cats

integer.cats

pointer.cats

ats_trans2_dyn2_dats.c

string.cats

basics.cats

integer.cats

bool.cats

pointer.cats

printf.cats

ats_macro2_sats.c

ats_macro2_dats.c

integer.cats

string.cats

basics.cats

ats_gmp.cats

ats_intinf.cats

ats_counter.cats

pointer.cats

printf.cats

ats_patcst2_sats.c

ats_patcst2_dats.c

printf.cats

ats_gmp.cats

ats_intinf.cats

string.cats

basics.cats

char.cats

integer.cats

bool.cats

pointer.cats

ats_string_parse_sats.c

ats_string_parse_dats.c

pointer.cats

string.cats

string.cats

ats_printf_c_lats_dats.c

integer.cats

char.cats

basics.cats

sizetype.cats

bool.cats

pointer.cats

printf.cats

ats_dynexp3_sats.c

ats_dynexp3_dats.c

pointer.cats

string.cats

integer.cats

string.cats

printf.cats

ats_dynexp3_print_dats.c

bool.cats

char.cats

basics.cats

pointer.cats

ats_trans3_env_sats.c

ats_trans3_env_dats.c

integer.cats

string.cats

basics.cats

reference.cats

ats_counter.cats

pointer.cats

printf.cats

ats_trans3_env_eff_dats.c

string.cats

basics.cats

integer.cats

reference.cats

pointer.cats

printf.cats

ats_trans3_env_loop_dats.c

string.cats

basics.cats

reference.cats

pointer.cats

printf.cats

ats_trans3_env_met_dats.c

string.cats

basics.cats

reference.cats

ats_counter.cats

integer.cats

pointer.cats

printf.cats

ats_trans3_env_scst_dats.c

string.cats

basics.cats

reference.cats

bool.cats

integer.cats

pointer.cats

printf.cats

ats_trans3_env_state_dats.c

string.cats

basics.cats

reference.cats

integer.cats

pointer.cats

printf.cats

ats_trans3_env_print_dats.c

string.cats

integer.cats

basics.cats

pointer.cats

printf.cats

ats_staexp2_solve_sats.c

ats_staexp2_solve_dats.c

integer.cats

string.cats

basics.cats

ats_counter.cats

pointer.cats

printf.cats

ats_trans3_sats.c

string.cats

basics.cats

ats_trans3_pat_dats.c

printf.cats

integer.cats

sizetype.cats

pointer.cats

ats_trans3_assgn_dats.c

string.cats

basics.cats

bool.cats

integer.cats

pointer.cats

printf.cats

ats_trans3_deref_dats.c

string.cats

basics.cats

pointer.cats

ats_trans3_view_dats.c

string.cats

basics.cats

integer.cats

pointer.cats

printf.cats

ats_trans3_util_dats.c

string.cats

basics.cats

integer.cats

pointer.cats

printf.cats

ats_trans3_exp_up_dats.c

string.cats

basics.cats

integer.cats

sizetype.cats

pointer.cats

printf.cats

ats_trans3_exp_dn_dats.c

string.cats

basics.cats

ats_intinf.cats

integer.cats

sizetype.cats

ats_gmp.cats

pointer.cats

printf.cats

ats_trans3_loop_dats.c

string.cats

basics.cats

bool.cats

integer.cats

pointer.cats

printf.cats

ats_trans3_dec_dats.c

string.cats

basics.cats

integer.cats

bool.cats

pointer.cats

printf.cats

ats_constraint_sats.c

ats_constraint_dats.c

integer.cats

basics.cats

string.cats

bool.cats

ats_intinf.cats

ats_gmp.cats

ats_solver_fm.cats

ats_counter.cats

pointer.cats

printf.cats

ats_constraint_print_dats.c

string.cats

integer.cats

bool.cats

basics.cats

pointer.cats

printf.cats

ats_solver_fm_sats.c

ats_solver_fm_dats.c

ats_solver_fm.cats

array.cats

integer.cats

string.cats

basics.cats

sizetype.cats

pointer.cats

printf.cats

ats_hiexp_sats.c

ats_hiexp_dats.c

string.cats

integer.cats

pointer.cats

string.cats

ats_hiexp_print_dats.c

printf.cats

integer.cats

bool.cats

char.cats

basics.cats

pointer.cats

ats_hiexp_util_dats.c

integer.cats

string.cats

basics.cats

reference.cats

bool.cats

pointer.cats

printf.cats

ats_trans4_sats.c

ats_trans4_dats.c

string.cats

basics.cats

integer.cats

bool.cats

pointer.cats

printf.cats

ats_ccomp_sats.c

ats_ccomp_dats.c

string.cats

basics.cats

integer.cats

ats_counter.cats

pointer.cats

printf.cats

ats_ccomp_env_sats.c

ats_ccomp_env_dats.c

integer.cats

basics.cats

string.cats

reference.cats

pointer.cats

printf.cats

string.cats

printf.cats

ats_ccomp_print_dats.c

bool.cats

char.cats

integer.cats

basics.cats

pointer.cats

ats_ccomp_util_dats.c

integer.cats

string.cats

pointer.cats

ats_ccomp_trans_dats.c

integer.cats

string.cats

basics.cats

reference.cats

pointer.cats

printf.cats

ats_ccomp_trans_clau_dats.c

integer.cats

string.cats

bool.cats

char.cats

ats_intinf.cats

ats_gmp.cats

pointer.cats

printf.cats

ats_ccomp_trans_tailcal_dats.c

integer.cats

string.cats

printf.cats

basics.cats

reference.cats

sizetype.cats

pointer.cats

ats_ccomp_trans_temp_dats.c

integer.cats

array.cats

string.cats

basics.cats

reference.cats

ats_counter.cats

sizetype.cats

pointer.cats

printf.cats

char.cats

string.cats

printf.cats

ats_ccomp_emit_dats.c

integer.cats

reference.cats

basics.cats

ats_counter.cats

sizetype.cats

bool.cats

pointer.cats

printf.cats

ats_ccomp_main_dats.c

integer.cats

string.cats

basics.cats

char.cats

time.cats

types.cats

pointer.cats

bool.cats

sizetype.cats

ats_lexer_lats_dats.c

string.cats

sizetype.cats

basics.cats

char.cats

integer.cats

pointer.cats

printf.cats

ats_lexer_sats.c

ats_grammar.yats

ats_grammar_yats.c

prelude_dats_basics_dats.c

pointer.cats

string.cats

sizetype.cats

prelude_dats_bool_dats.c

pointer.cats

string.cats

prelude_dats_char_dats.c

pointer.cats

string.cats

prelude_dats_integer_dats.c

pointer.cats

string.cats

prelude_dats_array_dats.c

pointer.cats

string.cats

basics.cats

prelude_dats_string_dats.c

string.cats

sizetype.cats

pointer.cats

prelude_dats_printf_dats.c

pointer.cats

string.cats

sizetype.cats

printf.cats

prelude_dats_filebas_dats.c

pointer.cats

string.cats

libc_sats_gmp_sats.c

libc_sats_time_sats.c

time.cats

libc_dats_unistd_dats.c

pointer.cats

string.cats

printf.cats

sizetype.cats

libats_lex_lexing_sats.c

libats_lex_lexing_dats.c

sizetype.cats

integer.cats

pointer.cats

stdio.cats

printf.cats

string.cats

basics.cats

libats_lex_tables_dats.c

reference.cats

integer.cats

pointer.cats

string.cats

printf.cats

printf.cats

ats_main_dats.c

string.cats

sizetype.cats

basics.cats

stdio.cats

ats_main.cats

reference.cats

integer.cats

pointer.cats

stdlib.cats

ats_prelude.c

ats_prelude_ngc.c

ats_bootstrap.c

libraries


manual