├── CHANGELOG.md ├── COPYING ├── COPYING.LESSER ├── Manifest ├── Manifest.pl ├── ciaopp.hooks.pl └── ciaopp_config.hooks.pl ├── README.md ├── batch ├── analyze_opts.pl ├── cache_persdb_dir.pl ├── ciaopp_batch.pl ├── ciaopp_batch_aux.pl ├── ciaopp_batch_report.pl ├── ciaopp_master.pl ├── ciaopp_worker.pl ├── db_analysis.pl └── tasks_db.pl ├── cmds ├── README.md ├── ciaopp-batch.pl ├── ciaopp-client.bash ├── ciaopp-dump-cmp.pl ├── ciaopp-dump-ctcheck.pl ├── ciaopp-dump-fmt.pl ├── ciaopp-dump-report.pl ├── ciaopp-dump-show.pl ├── ciaopp-dump-stats.pl ├── ciaopp-dump-syntactic.pl ├── ciaopp-dump.pl ├── ciaopp_actmod.pl ├── ciaopp_client.pl ├── ciaopp_client.stub.pl └── ciaoppcl.pl ├── doc ├── docpaths.pl ├── figs │ ├── README.pl │ ├── apcompiler.ps │ ├── button-options.eps │ ├── ciaopp.eps │ ├── framework_all_nmsu.eps │ ├── infer.eps │ ├── infer.ps │ ├── infercost.eps │ ├── infernf.eps │ ├── naive-menu.eps │ ├── par_process_wide.ps │ ├── plai.eps │ └── punit.eps ├── reference │ ├── CiaoPPRefSummary.lpdoc │ ├── DebugFixp.pl │ ├── Debug_plai.pl │ ├── Infer1.pl │ ├── Plai0.pl │ ├── Plai1.pl │ ├── Punit.pl │ ├── Punit0.pl │ ├── SETTINGS.pl │ ├── TestingBenchmarking.pl │ ├── Trust.pl │ ├── TypeWidening.pl │ ├── adding_new_domain.pl │ ├── ciao-logo.png │ ├── ciaopp_ref_man.pl │ ├── menu_tour.lpdoc │ ├── part_domains.pl │ ├── part_extensions.pl │ ├── part_fixpoint.pl │ ├── part_internals.pl │ ├── part_other_commands.pl │ ├── part_transformations.pl │ └── part_usage.pl └── tutorials │ ├── Attic │ └── tut_advanced-old.pl │ ├── Figs │ ├── analysis-cost.png │ ├── analysis-det-new.png │ ├── analysis-eterms-analyzed-new.png │ ├── analysis-eterms-new.png │ ├── analysis-module-aware.png │ ├── analysis-nf-new.png │ ├── analysis-nfg-det.png │ ├── analysis-resources-new.png │ ├── analysis-shfr-new.png │ ├── analysis-type-analysis1.png │ ├── analysis-type-analysis2.png │ ├── button-options-new.png │ ├── button-options.png │ ├── ciaopp-flag-menu.png │ ├── ciaopp-framework.png │ ├── ciaopp-framework.tex │ ├── debugging-acc1.png │ ├── debugging-acc2.png │ ├── debugging-acc3.png │ ├── debugging-ctchecking1a-new.png │ ├── debugging-ctchecking1a.png │ ├── debugging-ctchecking1b-new.png │ ├── debugging-ctchecking1b.png │ ├── debugging-ctchecking1c.png │ ├── debugging-performance1-new.png │ ├── debugging-performance1.png │ ├── debugging-performance2-new.png │ ├── debugging-performance2.png │ ├── debugging-performance3.png │ ├── framework_all.eps │ ├── framework_all.fig │ ├── framework_all.pdf │ ├── naive-menu-new.png │ ├── naive-menu.png │ ├── optimization-aipe1.png │ ├── optimization-granularity.png │ ├── optimization-parallelization.png │ ├── optimization-parallelization2.png │ ├── optimization-pe1.png │ ├── optimization-pe2.png │ ├── quick-analyze-after.png │ ├── quick-checked-assertion.png │ ├── quick-ciaoanalysis.png │ ├── quick-ciaoasr.png │ ├── quick-ciaopt.png │ ├── quick-false-assertion-full.png │ ├── quick-false-assertion.png │ └── quick-optimization.png │ ├── README.md │ ├── SETTINGS.pl │ ├── basicdom_tutorial │ ├── SETTINGS.pl │ ├── polyhedra_clpq.pl │ ├── sign.pl │ └── tut.pl │ ├── ciaopp_tutorials.pl │ ├── code │ ├── app.pl │ ├── app_assrt_false.pl │ ├── bugqsort.pl │ ├── bugqsort2.pl │ ├── bugqsort3.pl │ ├── bugqsort_assertions.pl │ ├── dup_first.pl │ ├── incompatible_type_f_error.pl │ ├── incompatible_type_f_fixed.pl │ ├── nrev.pl │ ├── nrev2.pl │ ├── nrev3.pl │ ├── power_testing.pl │ ├── power_without_assertions.pl │ ├── power_without_assertions1.pl │ ├── power_without_assertions3.pl │ ├── powers.pl │ ├── qsort.pl │ ├── qsort2.pl │ ├── qsort_assrt_det.pl │ ├── qsort_without_assertions.pl │ ├── regtypes1.pl │ ├── regtypes2.pl │ ├── regtypes_int.pl │ ├── remove_power_bug1.pl │ ├── remove_power_bug3.pl │ ├── remove_power_bug4.pl │ ├── revf_n_o_det_error.pl │ ├── revf_n_o_det_verified.pl │ ├── revf_n_ub_det_error.pl │ ├── revf_n_ub_det_verified.pl │ └── sorted_insert_multi.pl │ ├── interactive_usage.lpdoc │ ├── quick_start.pl │ ├── results │ ├── app--V--output=on--filter=check_pred.txt │ ├── app_assrt_false--A--filter=tpred.txt │ ├── app_assrt_false--V--filter=warn_error.txt │ ├── app_assrt_false--V--output=on--filter=check_pred.txt │ ├── bugqsort--A--types=eterms--name=qsort--modes=none--filter=tpred.txt │ ├── bugqsort2--V--filter=warn_error.txt │ ├── bugqsort3--V--filter=warn_error.txt │ ├── bugqsort_assertions--V--output=on--filter=check_pred.txt │ ├── bugqsort_assertions--V--output=on--simplify_checks=on--filter=check_pred.txt │ ├── bugqsort_assertions--V--simplify_checks=on--filter=warnings.txt │ ├── dup_first--O--filter=all.txt │ ├── incompatible_type_f_error--V--filter=warn_error.txt │ ├── incompatible_type_f_fixed--V--filter=warn_error.txt │ ├── nrev--V--asr_not_stat_eval=warning--ctchecks_intervals=off--filter=errors.txt │ ├── nrev2--V--asr_not_stat_eval=warning--ctchecks_intervals=off--filter=errors.txt │ ├── nrev3--V--output=on--asr_not_stat_eval=warning--ctchecks_intervals=off--filter=check_pred.txt │ ├── power_testing--V--output=on--testing=on--filter=test.txt │ ├── power_testing--V--output=on--testing=on--test_gen=on--filter=check_pred.txt │ ├── power_testing--V--testing=on--test_gen=on--filter=errors.txt │ ├── power_without_assertions--V--filter=warnings.txt │ ├── power_without_assertions1--V--filter=warnings.txt │ ├── power_without_assertions3--A--absdomain=modes--name=remove_power--filter=tpred.txt │ ├── power_without_assertions3--A--absdomain=types--name=remove_power--filter=tpred.txt │ ├── power_without_assertions3--A--absdomain=types--name=sorted_insert--filter=tpred.txt │ ├── power_without_assertions3--A--filter=regtype.txt │ ├── power_without_assertions3--V--output=on--comments=on--filter=check_pred.txt │ ├── powers--V--output=on--filter=check_pred.txt │ ├── qsort--A--ana_nf=nf--name=qsort--filter=tpred_plus.txt │ ├── qsort--A--types=eterms--modes=none--filter=tpred.txt │ ├── qsort--A--types=none--modes=shfr--filter=tpred.txt │ ├── qsort2--A--ana_nf=nf--ana_cost=resources--name=append--assertion=[cost,ub]--filter=tpred_plus.txt │ ├── qsort2--A--ana_nf=nfdet--ana_cost=resources--name=append--assertion=[cost,lb]--filter=tpred_plus.txt │ ├── qsort2--A--ana_nf=nfdet--ana_cost=resources--name=append--assertion=[cost,ub]--filter=tpred_plus.txt │ ├── qsort2--A--ana_nf=nfdet--ana_cost=resources--name=qsort--assertion=[cost,lb]--filter=tpred_plus.txt │ ├── qsort2--A--ana_nf=nfdet--ana_cost=resources--name=qsort--assertion=[cost,ub]--filter=tpred_plus.txt │ ├── qsort_assrt_det--V--ana_det=nfdet--output=on--filter=check_pred.txt │ ├── qsort_without_assertions--V--filter=warnings.txt │ ├── remove_power_bug1--V--filter=warn_error.txt │ ├── remove_power_bug3--V--filter=warn_error.txt │ ├── remove_power_bug4--V--filter=errors.txt │ ├── revf_n_o_det_error--V--output=on--filter=check_pred.txt │ ├── revf_n_o_det_error--V--output=on--name=nrev--assertion=[steps_lb]--filter=tpred_plus.txt │ ├── revf_n_o_det_verified--V--output=on--filter=check_pred.txt │ ├── revf_n_ub_det_error--V--output=on--filter=check_pred.txt │ ├── revf_n_ub_det_error--V--output=on--name=conc--assertion=[steps_lb]--filter=tpred_plus.txt │ ├── revf_n_ub_det_verified--V--output=on--filter=check_pred.txt │ ├── sorted_insert_multi--A--ana_det=nfdet--name=sorted_insert--filter=tpred_plus.txt │ └── sorted_insert_multi--V--comments=on--output=on--filter=check_pred.txt │ ├── tut_advanced.pl │ ├── tut_assrts.pl │ ├── tut_examples │ ├── app.pl │ ├── app_assrt.pl │ ├── app_assrt_false.pl │ ├── app_getting_started.pl │ ├── app_spec.pl │ ├── dup_first.pl │ ├── exponential_ac.pl │ ├── nrev.pl │ ├── nrev_assrts.pl │ ├── peano.pl │ ├── qsort.pl │ ├── qsort2.pl │ ├── qsort3.pl │ ├── qsort_assrts.pl │ ├── qsort_bug.pl │ ├── qsort_eterms_analyzed.pl │ ├── qsort_eterms_shfr_det_analyzed.pl │ ├── qsort_par.pl │ ├── qsort_resources.pl │ └── qsort_shfr_analyzed.pl │ ├── tut_gentle_intro.pl │ ├── tut_quick_start.pl │ ├── tutorial.lpdoc │ └── tutorial.pl ├── domains ├── Attic │ ├── delaytools.pl │ ├── evalterms.pl │ └── polyhedra_new.pl ├── aeq.pl ├── basicdom_base.pl ├── basicdom_base_doc.pl ├── basicdom_nonrel_base.pl ├── basicdom_nonrel_base_doc.pl ├── def.pl ├── deftools.pl ├── deftypes.pl ├── depthk.pl ├── eterms.pl ├── etermsvar.pl ├── fd_aux.pl ├── fd_top.pl ├── fr_aux.pl ├── fr_sets.pl ├── fr_shared.pl ├── fr_top.pl ├── frdef.pl ├── gr.pl ├── lsign.pl ├── lsigndiff.pl ├── nfdet │ ├── cover.pl │ ├── detabs.pl │ ├── detplai.pl │ ├── mutexcheck.pl │ ├── nfabs.pl │ ├── nfbool.pl │ ├── nfdet.pl │ ├── nfdet_common.pl │ ├── nfdet_statistics.pl │ ├── nfdetabs.pl │ ├── nfplai.pl │ ├── nfsets.pl │ └── subproblems.pl ├── nonrel_base.pl ├── nonrel_base_doc.pl ├── nonrel_intervals.pl ├── pd.pl ├── pdb.pl ├── polyhedra.pl ├── ppl_dummy.pl ├── ppl_interface.pl ├── ptypes.pl ├── s_eqs.pl ├── s_grshfr.pl ├── share_amgu_aux.pl ├── share_amgu_sets.pl ├── share_aux.pl ├── share_clique_1_aux.pl ├── share_clique_aux.pl ├── sharefree.pl ├── sharefree_amgu.pl ├── sharefree_amgu_aux.pl ├── sharefree_clique.pl ├── sharefree_clique_aux.pl ├── sharefree_clique_def.pl ├── sharefree_non_var.pl ├── shareson.pl ├── sharing.pl ├── sharing_amgu.pl ├── sharing_clique.pl ├── sharing_clique_1.pl ├── sharing_clique_def.pl ├── shfret.pl ├── shfrlin_amgu.pl ├── shfrlin_amgu_aux.pl ├── shfrson.pl ├── sondergaard.pl ├── svterms.pl ├── termsd.pl └── top_path_sharing.pl ├── etc └── new_domain.pl ├── examples ├── README.md ├── assrt-tutorial │ ├── README.md │ ├── incompatible_type_base.pl │ ├── incompatible_type_base_f.pl │ ├── incompatible_type_f_error.pl │ ├── incompatible_type_f_fixed.pl │ ├── qsort_assrt_det.pl │ ├── qsort_det_may_fail.pl │ ├── qsort_det_nondet.pl │ ├── qsort_modes_doccomments.pl │ ├── qsort_modes_doccomments_det.pl │ ├── qsort_noassrt_nowarnings.pl │ ├── qsort_noassrt_warnings.pl │ ├── revf_n_o_det_error.pl │ ├── revf_n_o_det_verified.pl │ ├── revf_n_ub_det_error.pl │ └── revf_n_ub_det_verified.pl ├── basicdom_examples │ ├── polyhedra_clpq.pl │ └── sign.pl └── verifly │ ├── README.md │ ├── ann.pl │ ├── builtin_violation.pl │ ├── incompatible_type.pl │ ├── never_succeeds.pl │ ├── qsortdl.pl │ ├── revf-bug.pl │ └── revf.pl ├── lib ├── aidomain │ ├── aidomain.pl │ └── aidomain_tr.pl ├── pe_types │ └── pe_types.pl ├── term_filtering │ ├── fr_notation.pl │ ├── fr_tests.txt │ └── term_filtering.pl ├── wrap_assertions.pl ├── wrap_nativeprops.pl └── wrap_regtypes.pl ├── spec ├── abs_exec.pl ├── abs_exec_cond.pl ├── abs_exec_ops.pl ├── arg_filtering.pl ├── arith_simplify.pl ├── ch_trees.pl ├── codegen.pl ├── debug_write_atoms.pl ├── filter.pl ├── generalize_emb_atoms.pl ├── global_control.pl ├── global_trees.pl ├── homeo_emb.pl ├── isomorphism.pl ├── mem_usage.pl ├── min_unf.pl ├── modular_spec.pl ├── no_debug.pl ├── no_debug_tr.pl ├── nomem_usage.pl ├── nomem_usage_tr.pl ├── nounfold_stats.pl ├── nounfold_stats_tr.pl ├── s_simpspec.pl ├── slicing.pl ├── sp_clauses.pl ├── spec.pl ├── spec_delay.pl ├── spec_gen_pred_vers.pl ├── spec_iterate.pl ├── spec_multiple.pl ├── spec_support.pl ├── static_abs_exec_table.pl ├── unfold.pl ├── unfold_builtins.pl ├── unfold_decompile.pl ├── unfold_df_hom_emb.pl ├── unfold_df_hom_emb_as.pl ├── unfold_df_hom_emb_as_orig.pl ├── unfold_df_operations.pl ├── unfold_df_operations_decompile.pl ├── unfold_df_tree_hom_emb.pl ├── unfold_local.pl ├── unfold_operations.pl ├── unfold_stats.pl ├── unfold_times.pl └── useless_clauses.pl └── src ├── analysis_register.pl ├── analysis_stats.pl ├── analyze_driver.pl ├── auto_interface.pl ├── auto_old_menu.pl ├── auto_unified_menu.pl ├── ciaopp.pl ├── ciaopp_log.pl ├── ciaopp_options.pl ├── ciaoppcl_common.pl ├── ctchecks ├── comp_ctchecks.pl ├── ctchecks_common.pl ├── ctchecks_pp.pl ├── ctchecks_pp_messages.pl ├── ctchecks_pred.pl ├── ctchecks_pred_messages.pl ├── diagnosis │ ├── diag.pl │ └── diag_supp.pl └── preproc_errors.pl ├── frontend_driver.pl ├── infer ├── domain_dep.pl ├── gather_modes.pl ├── gather_modes_basic.pl ├── infer.pl ├── infer_db.pl ├── infer_dom.pl ├── inferseff.pl ├── low_level_props.pl ├── prepare_ai_output.pl └── vartypes.pl ├── p_dump.pl ├── plai ├── acc_ops.pl ├── apply_assertions.pl ├── apply_assertions_inc.pl ├── apply_assertions_old.pl ├── auxinfo_dump.pl ├── domains.pl ├── domains_hooks.pl ├── fixpo_bu.pl ├── fixpo_check_di.pl ├── fixpo_check_di2.pl ├── fixpo_check_di3.pl ├── fixpo_check_di4.pl ├── fixpo_check_di5.pl ├── fixpo_check_reduced_di.pl ├── fixpo_dd.pl ├── fixpo_di.pl ├── fixpo_dx_check_common.pl ├── fixpo_dx_common.pl ├── fixpo_ops.pl ├── fixpo_ops_gfp.pl ├── fixpo_plai.pl ├── fixpo_plai_gfp.pl ├── fixpoint_options.pl ├── incanal │ ├── incanal.pl │ ├── incanal_db.pl │ ├── incanal_deletion.pl │ ├── incanal_driver.pl │ ├── incanal_experiments.pl │ ├── incanal_options.pl │ ├── incanal_persistent_db.pl │ ├── plai_db_comparator.pl │ ├── plai_db_instances.pl │ ├── tarjan_inc.pl │ └── tests │ │ └── bench │ │ └── NOCOMPILE ├── intermod.pl ├── intermod_db.pl ├── intermod_entry.pl ├── intermod_ops.pl ├── intermod_options.pl ├── intermod_punit.pl ├── intermod_schedule.pl ├── intermod_success.pl ├── normalize_args.pl ├── notrace.pl ├── notrace_tr.pl ├── plai.pl ├── plai_db.pl ├── plai_domain.pl ├── plai_errors.pl ├── program_tarjan.pl ├── psets.pl ├── re_analysis.pl ├── tarjan.pl ├── trace_fixp.pl ├── transform.pl └── view_fixp.pl ├── pool.pl ├── preprocess_flags.lpdoc ├── preprocess_flags.pl ├── raw_printer.pl ├── test_aux └── compare_dump.pl ├── tr_ctrt ├── examples │ └── boyerf.pl └── tr_ctrt.pl ├── tr_unfold ├── README.md ├── chclibs_balanced_tree.pl ├── chclibs_canonical.pl ├── chclibs_readprog.pl ├── chclibs_scc.pl ├── unfold_core.pl └── unfold_non_rec.pl └── transform_driver.pl /CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/CHANGELOG.md -------------------------------------------------------------------------------- /COPYING: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/COPYING -------------------------------------------------------------------------------- /COPYING.LESSER: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/COPYING.LESSER -------------------------------------------------------------------------------- /Manifest/Manifest.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/Manifest/Manifest.pl -------------------------------------------------------------------------------- /Manifest/ciaopp.hooks.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/Manifest/ciaopp.hooks.pl -------------------------------------------------------------------------------- /Manifest/ciaopp_config.hooks.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/Manifest/ciaopp_config.hooks.pl -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/README.md -------------------------------------------------------------------------------- /batch/analyze_opts.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/batch/analyze_opts.pl -------------------------------------------------------------------------------- /batch/cache_persdb_dir.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/batch/cache_persdb_dir.pl -------------------------------------------------------------------------------- /batch/ciaopp_batch.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/batch/ciaopp_batch.pl -------------------------------------------------------------------------------- /batch/ciaopp_batch_aux.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/batch/ciaopp_batch_aux.pl -------------------------------------------------------------------------------- /batch/ciaopp_batch_report.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/batch/ciaopp_batch_report.pl -------------------------------------------------------------------------------- /batch/ciaopp_master.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/batch/ciaopp_master.pl -------------------------------------------------------------------------------- /batch/ciaopp_worker.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/batch/ciaopp_worker.pl -------------------------------------------------------------------------------- /batch/db_analysis.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/batch/db_analysis.pl -------------------------------------------------------------------------------- /batch/tasks_db.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/batch/tasks_db.pl -------------------------------------------------------------------------------- /cmds/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/cmds/README.md -------------------------------------------------------------------------------- /cmds/ciaopp-batch.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/cmds/ciaopp-batch.pl -------------------------------------------------------------------------------- /cmds/ciaopp-client.bash: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/cmds/ciaopp-client.bash -------------------------------------------------------------------------------- /cmds/ciaopp-dump-cmp.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/cmds/ciaopp-dump-cmp.pl -------------------------------------------------------------------------------- /cmds/ciaopp-dump-ctcheck.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/cmds/ciaopp-dump-ctcheck.pl -------------------------------------------------------------------------------- /cmds/ciaopp-dump-fmt.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/cmds/ciaopp-dump-fmt.pl -------------------------------------------------------------------------------- /cmds/ciaopp-dump-report.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/cmds/ciaopp-dump-report.pl -------------------------------------------------------------------------------- /cmds/ciaopp-dump-show.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/cmds/ciaopp-dump-show.pl -------------------------------------------------------------------------------- /cmds/ciaopp-dump-stats.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/cmds/ciaopp-dump-stats.pl -------------------------------------------------------------------------------- /cmds/ciaopp-dump-syntactic.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/cmds/ciaopp-dump-syntactic.pl -------------------------------------------------------------------------------- /cmds/ciaopp-dump.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/cmds/ciaopp-dump.pl -------------------------------------------------------------------------------- /cmds/ciaopp_actmod.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/cmds/ciaopp_actmod.pl -------------------------------------------------------------------------------- /cmds/ciaopp_client.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/cmds/ciaopp_client.pl -------------------------------------------------------------------------------- /cmds/ciaopp_client.stub.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/cmds/ciaopp_client.stub.pl -------------------------------------------------------------------------------- /cmds/ciaoppcl.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/cmds/ciaoppcl.pl -------------------------------------------------------------------------------- /doc/docpaths.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/docpaths.pl -------------------------------------------------------------------------------- /doc/figs/README.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/figs/README.pl -------------------------------------------------------------------------------- /doc/figs/apcompiler.ps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/figs/apcompiler.ps -------------------------------------------------------------------------------- /doc/figs/button-options.eps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/figs/button-options.eps -------------------------------------------------------------------------------- /doc/figs/ciaopp.eps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/figs/ciaopp.eps -------------------------------------------------------------------------------- /doc/figs/framework_all_nmsu.eps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/figs/framework_all_nmsu.eps -------------------------------------------------------------------------------- /doc/figs/infer.eps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/figs/infer.eps -------------------------------------------------------------------------------- /doc/figs/infer.ps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/figs/infer.ps -------------------------------------------------------------------------------- /doc/figs/infercost.eps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/figs/infercost.eps -------------------------------------------------------------------------------- /doc/figs/infernf.eps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/figs/infernf.eps -------------------------------------------------------------------------------- /doc/figs/naive-menu.eps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/figs/naive-menu.eps -------------------------------------------------------------------------------- /doc/figs/par_process_wide.ps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/figs/par_process_wide.ps -------------------------------------------------------------------------------- /doc/figs/plai.eps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/figs/plai.eps -------------------------------------------------------------------------------- /doc/figs/punit.eps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/figs/punit.eps -------------------------------------------------------------------------------- /doc/reference/CiaoPPRefSummary.lpdoc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/reference/CiaoPPRefSummary.lpdoc -------------------------------------------------------------------------------- /doc/reference/DebugFixp.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/reference/DebugFixp.pl -------------------------------------------------------------------------------- /doc/reference/Debug_plai.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/reference/Debug_plai.pl -------------------------------------------------------------------------------- /doc/reference/Infer1.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/reference/Infer1.pl -------------------------------------------------------------------------------- /doc/reference/Plai0.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/reference/Plai0.pl -------------------------------------------------------------------------------- /doc/reference/Plai1.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/reference/Plai1.pl -------------------------------------------------------------------------------- /doc/reference/Punit.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/reference/Punit.pl -------------------------------------------------------------------------------- /doc/reference/Punit0.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/reference/Punit0.pl -------------------------------------------------------------------------------- /doc/reference/SETTINGS.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/reference/SETTINGS.pl -------------------------------------------------------------------------------- /doc/reference/TestingBenchmarking.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/reference/TestingBenchmarking.pl -------------------------------------------------------------------------------- /doc/reference/Trust.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/reference/Trust.pl -------------------------------------------------------------------------------- /doc/reference/TypeWidening.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/reference/TypeWidening.pl -------------------------------------------------------------------------------- /doc/reference/adding_new_domain.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/reference/adding_new_domain.pl -------------------------------------------------------------------------------- /doc/reference/ciao-logo.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/reference/ciao-logo.png -------------------------------------------------------------------------------- /doc/reference/ciaopp_ref_man.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/reference/ciaopp_ref_man.pl -------------------------------------------------------------------------------- /doc/reference/menu_tour.lpdoc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/reference/menu_tour.lpdoc -------------------------------------------------------------------------------- /doc/reference/part_domains.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/reference/part_domains.pl -------------------------------------------------------------------------------- /doc/reference/part_extensions.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/reference/part_extensions.pl -------------------------------------------------------------------------------- /doc/reference/part_fixpoint.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/reference/part_fixpoint.pl -------------------------------------------------------------------------------- /doc/reference/part_internals.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/reference/part_internals.pl -------------------------------------------------------------------------------- /doc/reference/part_other_commands.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/reference/part_other_commands.pl -------------------------------------------------------------------------------- /doc/reference/part_transformations.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/reference/part_transformations.pl -------------------------------------------------------------------------------- /doc/reference/part_usage.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/reference/part_usage.pl -------------------------------------------------------------------------------- /doc/tutorials/Attic/tut_advanced-old.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/Attic/tut_advanced-old.pl -------------------------------------------------------------------------------- /doc/tutorials/Figs/analysis-cost.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/Figs/analysis-cost.png -------------------------------------------------------------------------------- /doc/tutorials/Figs/analysis-det-new.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/Figs/analysis-det-new.png -------------------------------------------------------------------------------- /doc/tutorials/Figs/analysis-eterms-analyzed-new.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/Figs/analysis-eterms-analyzed-new.png -------------------------------------------------------------------------------- /doc/tutorials/Figs/analysis-eterms-new.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/Figs/analysis-eterms-new.png -------------------------------------------------------------------------------- /doc/tutorials/Figs/analysis-module-aware.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/Figs/analysis-module-aware.png -------------------------------------------------------------------------------- /doc/tutorials/Figs/analysis-nf-new.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/Figs/analysis-nf-new.png -------------------------------------------------------------------------------- /doc/tutorials/Figs/analysis-nfg-det.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/Figs/analysis-nfg-det.png -------------------------------------------------------------------------------- /doc/tutorials/Figs/analysis-resources-new.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/Figs/analysis-resources-new.png -------------------------------------------------------------------------------- /doc/tutorials/Figs/analysis-shfr-new.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/Figs/analysis-shfr-new.png -------------------------------------------------------------------------------- /doc/tutorials/Figs/analysis-type-analysis1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/Figs/analysis-type-analysis1.png -------------------------------------------------------------------------------- /doc/tutorials/Figs/analysis-type-analysis2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/Figs/analysis-type-analysis2.png -------------------------------------------------------------------------------- /doc/tutorials/Figs/button-options-new.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/Figs/button-options-new.png -------------------------------------------------------------------------------- /doc/tutorials/Figs/button-options.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/Figs/button-options.png -------------------------------------------------------------------------------- /doc/tutorials/Figs/ciaopp-flag-menu.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/Figs/ciaopp-flag-menu.png -------------------------------------------------------------------------------- /doc/tutorials/Figs/ciaopp-framework.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/Figs/ciaopp-framework.png -------------------------------------------------------------------------------- /doc/tutorials/Figs/ciaopp-framework.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/Figs/ciaopp-framework.tex -------------------------------------------------------------------------------- /doc/tutorials/Figs/debugging-acc1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/Figs/debugging-acc1.png -------------------------------------------------------------------------------- /doc/tutorials/Figs/debugging-acc2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/Figs/debugging-acc2.png -------------------------------------------------------------------------------- /doc/tutorials/Figs/debugging-acc3.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/Figs/debugging-acc3.png -------------------------------------------------------------------------------- /doc/tutorials/Figs/debugging-ctchecking1a-new.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/Figs/debugging-ctchecking1a-new.png -------------------------------------------------------------------------------- /doc/tutorials/Figs/debugging-ctchecking1a.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/Figs/debugging-ctchecking1a.png -------------------------------------------------------------------------------- /doc/tutorials/Figs/debugging-ctchecking1b-new.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/Figs/debugging-ctchecking1b-new.png -------------------------------------------------------------------------------- /doc/tutorials/Figs/debugging-ctchecking1b.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/Figs/debugging-ctchecking1b.png -------------------------------------------------------------------------------- /doc/tutorials/Figs/debugging-ctchecking1c.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/Figs/debugging-ctchecking1c.png -------------------------------------------------------------------------------- /doc/tutorials/Figs/debugging-performance1-new.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/Figs/debugging-performance1-new.png -------------------------------------------------------------------------------- /doc/tutorials/Figs/debugging-performance1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/Figs/debugging-performance1.png -------------------------------------------------------------------------------- /doc/tutorials/Figs/debugging-performance2-new.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/Figs/debugging-performance2-new.png -------------------------------------------------------------------------------- /doc/tutorials/Figs/debugging-performance2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/Figs/debugging-performance2.png -------------------------------------------------------------------------------- /doc/tutorials/Figs/debugging-performance3.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/Figs/debugging-performance3.png -------------------------------------------------------------------------------- /doc/tutorials/Figs/framework_all.eps: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/Figs/framework_all.eps -------------------------------------------------------------------------------- /doc/tutorials/Figs/framework_all.fig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/Figs/framework_all.fig -------------------------------------------------------------------------------- /doc/tutorials/Figs/framework_all.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/Figs/framework_all.pdf -------------------------------------------------------------------------------- /doc/tutorials/Figs/naive-menu-new.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/Figs/naive-menu-new.png -------------------------------------------------------------------------------- /doc/tutorials/Figs/naive-menu.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/Figs/naive-menu.png -------------------------------------------------------------------------------- /doc/tutorials/Figs/optimization-aipe1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/Figs/optimization-aipe1.png -------------------------------------------------------------------------------- /doc/tutorials/Figs/optimization-granularity.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/Figs/optimization-granularity.png -------------------------------------------------------------------------------- /doc/tutorials/Figs/optimization-parallelization.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/Figs/optimization-parallelization.png -------------------------------------------------------------------------------- /doc/tutorials/Figs/optimization-parallelization2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/Figs/optimization-parallelization2.png -------------------------------------------------------------------------------- /doc/tutorials/Figs/optimization-pe1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/Figs/optimization-pe1.png -------------------------------------------------------------------------------- /doc/tutorials/Figs/optimization-pe2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/Figs/optimization-pe2.png -------------------------------------------------------------------------------- /doc/tutorials/Figs/quick-analyze-after.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/Figs/quick-analyze-after.png -------------------------------------------------------------------------------- /doc/tutorials/Figs/quick-checked-assertion.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/Figs/quick-checked-assertion.png -------------------------------------------------------------------------------- /doc/tutorials/Figs/quick-ciaoanalysis.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/Figs/quick-ciaoanalysis.png -------------------------------------------------------------------------------- /doc/tutorials/Figs/quick-ciaoasr.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/Figs/quick-ciaoasr.png -------------------------------------------------------------------------------- /doc/tutorials/Figs/quick-ciaopt.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/Figs/quick-ciaopt.png -------------------------------------------------------------------------------- /doc/tutorials/Figs/quick-false-assertion-full.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/Figs/quick-false-assertion-full.png -------------------------------------------------------------------------------- /doc/tutorials/Figs/quick-false-assertion.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/Figs/quick-false-assertion.png -------------------------------------------------------------------------------- /doc/tutorials/Figs/quick-optimization.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/Figs/quick-optimization.png -------------------------------------------------------------------------------- /doc/tutorials/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/README.md -------------------------------------------------------------------------------- /doc/tutorials/SETTINGS.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/SETTINGS.pl -------------------------------------------------------------------------------- /doc/tutorials/basicdom_tutorial/SETTINGS.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/basicdom_tutorial/SETTINGS.pl -------------------------------------------------------------------------------- /doc/tutorials/basicdom_tutorial/polyhedra_clpq.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/basicdom_tutorial/polyhedra_clpq.pl -------------------------------------------------------------------------------- /doc/tutorials/basicdom_tutorial/sign.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/basicdom_tutorial/sign.pl -------------------------------------------------------------------------------- /doc/tutorials/basicdom_tutorial/tut.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/basicdom_tutorial/tut.pl -------------------------------------------------------------------------------- /doc/tutorials/ciaopp_tutorials.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/ciaopp_tutorials.pl -------------------------------------------------------------------------------- /doc/tutorials/code/app.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/code/app.pl -------------------------------------------------------------------------------- /doc/tutorials/code/app_assrt_false.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/code/app_assrt_false.pl -------------------------------------------------------------------------------- /doc/tutorials/code/bugqsort.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/code/bugqsort.pl -------------------------------------------------------------------------------- /doc/tutorials/code/bugqsort2.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/code/bugqsort2.pl -------------------------------------------------------------------------------- /doc/tutorials/code/bugqsort3.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/code/bugqsort3.pl -------------------------------------------------------------------------------- /doc/tutorials/code/bugqsort_assertions.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/code/bugqsort_assertions.pl -------------------------------------------------------------------------------- /doc/tutorials/code/dup_first.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/code/dup_first.pl -------------------------------------------------------------------------------- /doc/tutorials/code/incompatible_type_f_error.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/code/incompatible_type_f_error.pl -------------------------------------------------------------------------------- /doc/tutorials/code/incompatible_type_f_fixed.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/code/incompatible_type_f_fixed.pl -------------------------------------------------------------------------------- /doc/tutorials/code/nrev.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/code/nrev.pl -------------------------------------------------------------------------------- /doc/tutorials/code/nrev2.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/code/nrev2.pl -------------------------------------------------------------------------------- /doc/tutorials/code/nrev3.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/code/nrev3.pl -------------------------------------------------------------------------------- /doc/tutorials/code/power_testing.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/code/power_testing.pl -------------------------------------------------------------------------------- /doc/tutorials/code/power_without_assertions.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/code/power_without_assertions.pl -------------------------------------------------------------------------------- /doc/tutorials/code/power_without_assertions1.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/code/power_without_assertions1.pl -------------------------------------------------------------------------------- /doc/tutorials/code/power_without_assertions3.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/code/power_without_assertions3.pl -------------------------------------------------------------------------------- /doc/tutorials/code/powers.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/code/powers.pl -------------------------------------------------------------------------------- /doc/tutorials/code/qsort.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/code/qsort.pl -------------------------------------------------------------------------------- /doc/tutorials/code/qsort2.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/code/qsort2.pl -------------------------------------------------------------------------------- /doc/tutorials/code/qsort_assrt_det.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/code/qsort_assrt_det.pl -------------------------------------------------------------------------------- /doc/tutorials/code/qsort_without_assertions.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/code/qsort_without_assertions.pl -------------------------------------------------------------------------------- /doc/tutorials/code/regtypes1.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/code/regtypes1.pl -------------------------------------------------------------------------------- /doc/tutorials/code/regtypes2.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/code/regtypes2.pl -------------------------------------------------------------------------------- /doc/tutorials/code/regtypes_int.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/code/regtypes_int.pl -------------------------------------------------------------------------------- /doc/tutorials/code/remove_power_bug1.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/code/remove_power_bug1.pl -------------------------------------------------------------------------------- /doc/tutorials/code/remove_power_bug3.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/code/remove_power_bug3.pl -------------------------------------------------------------------------------- /doc/tutorials/code/remove_power_bug4.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/code/remove_power_bug4.pl -------------------------------------------------------------------------------- /doc/tutorials/code/revf_n_o_det_error.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/code/revf_n_o_det_error.pl -------------------------------------------------------------------------------- /doc/tutorials/code/revf_n_o_det_verified.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/code/revf_n_o_det_verified.pl -------------------------------------------------------------------------------- /doc/tutorials/code/revf_n_ub_det_error.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/code/revf_n_ub_det_error.pl -------------------------------------------------------------------------------- /doc/tutorials/code/revf_n_ub_det_verified.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/code/revf_n_ub_det_verified.pl -------------------------------------------------------------------------------- /doc/tutorials/code/sorted_insert_multi.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/code/sorted_insert_multi.pl -------------------------------------------------------------------------------- /doc/tutorials/interactive_usage.lpdoc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/interactive_usage.lpdoc -------------------------------------------------------------------------------- /doc/tutorials/quick_start.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/quick_start.pl -------------------------------------------------------------------------------- /doc/tutorials/results/app--V--output=on--filter=check_pred.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/results/app--V--output=on--filter=check_pred.txt -------------------------------------------------------------------------------- /doc/tutorials/results/app_assrt_false--A--filter=tpred.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/results/app_assrt_false--A--filter=tpred.txt -------------------------------------------------------------------------------- /doc/tutorials/results/app_assrt_false--V--filter=warn_error.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/results/app_assrt_false--V--filter=warn_error.txt -------------------------------------------------------------------------------- /doc/tutorials/results/app_assrt_false--V--output=on--filter=check_pred.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/results/app_assrt_false--V--output=on--filter=check_pred.txt -------------------------------------------------------------------------------- /doc/tutorials/results/bugqsort--A--types=eterms--name=qsort--modes=none--filter=tpred.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/results/bugqsort--A--types=eterms--name=qsort--modes=none--filter=tpred.txt -------------------------------------------------------------------------------- /doc/tutorials/results/bugqsort2--V--filter=warn_error.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/results/bugqsort2--V--filter=warn_error.txt -------------------------------------------------------------------------------- /doc/tutorials/results/bugqsort3--V--filter=warn_error.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/results/bugqsort3--V--filter=warn_error.txt -------------------------------------------------------------------------------- /doc/tutorials/results/bugqsort_assertions--V--output=on--filter=check_pred.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/results/bugqsort_assertions--V--output=on--filter=check_pred.txt -------------------------------------------------------------------------------- /doc/tutorials/results/bugqsort_assertions--V--output=on--simplify_checks=on--filter=check_pred.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/results/bugqsort_assertions--V--output=on--simplify_checks=on--filter=check_pred.txt -------------------------------------------------------------------------------- /doc/tutorials/results/bugqsort_assertions--V--simplify_checks=on--filter=warnings.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/results/bugqsort_assertions--V--simplify_checks=on--filter=warnings.txt -------------------------------------------------------------------------------- /doc/tutorials/results/dup_first--O--filter=all.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/results/dup_first--O--filter=all.txt -------------------------------------------------------------------------------- /doc/tutorials/results/incompatible_type_f_error--V--filter=warn_error.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/results/incompatible_type_f_error--V--filter=warn_error.txt -------------------------------------------------------------------------------- /doc/tutorials/results/incompatible_type_f_fixed--V--filter=warn_error.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/results/incompatible_type_f_fixed--V--filter=warn_error.txt -------------------------------------------------------------------------------- /doc/tutorials/results/nrev--V--asr_not_stat_eval=warning--ctchecks_intervals=off--filter=errors.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/results/nrev--V--asr_not_stat_eval=warning--ctchecks_intervals=off--filter=errors.txt -------------------------------------------------------------------------------- /doc/tutorials/results/nrev2--V--asr_not_stat_eval=warning--ctchecks_intervals=off--filter=errors.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/results/nrev2--V--asr_not_stat_eval=warning--ctchecks_intervals=off--filter=errors.txt -------------------------------------------------------------------------------- /doc/tutorials/results/nrev3--V--output=on--asr_not_stat_eval=warning--ctchecks_intervals=off--filter=check_pred.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/results/nrev3--V--output=on--asr_not_stat_eval=warning--ctchecks_intervals=off--filter=check_pred.txt -------------------------------------------------------------------------------- /doc/tutorials/results/power_testing--V--output=on--testing=on--filter=test.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/results/power_testing--V--output=on--testing=on--filter=test.txt -------------------------------------------------------------------------------- /doc/tutorials/results/power_testing--V--output=on--testing=on--test_gen=on--filter=check_pred.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/results/power_testing--V--output=on--testing=on--test_gen=on--filter=check_pred.txt -------------------------------------------------------------------------------- /doc/tutorials/results/power_testing--V--testing=on--test_gen=on--filter=errors.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/results/power_testing--V--testing=on--test_gen=on--filter=errors.txt -------------------------------------------------------------------------------- /doc/tutorials/results/power_without_assertions--V--filter=warnings.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/results/power_without_assertions--V--filter=warnings.txt -------------------------------------------------------------------------------- /doc/tutorials/results/power_without_assertions1--V--filter=warnings.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/results/power_without_assertions1--V--filter=warnings.txt -------------------------------------------------------------------------------- /doc/tutorials/results/power_without_assertions3--A--absdomain=modes--name=remove_power--filter=tpred.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/results/power_without_assertions3--A--absdomain=modes--name=remove_power--filter=tpred.txt -------------------------------------------------------------------------------- /doc/tutorials/results/power_without_assertions3--A--absdomain=types--name=remove_power--filter=tpred.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/results/power_without_assertions3--A--absdomain=types--name=remove_power--filter=tpred.txt -------------------------------------------------------------------------------- /doc/tutorials/results/power_without_assertions3--A--absdomain=types--name=sorted_insert--filter=tpred.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/results/power_without_assertions3--A--absdomain=types--name=sorted_insert--filter=tpred.txt -------------------------------------------------------------------------------- /doc/tutorials/results/power_without_assertions3--A--filter=regtype.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/results/power_without_assertions3--A--filter=regtype.txt -------------------------------------------------------------------------------- /doc/tutorials/results/power_without_assertions3--V--output=on--comments=on--filter=check_pred.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/results/power_without_assertions3--V--output=on--comments=on--filter=check_pred.txt -------------------------------------------------------------------------------- /doc/tutorials/results/powers--V--output=on--filter=check_pred.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/results/powers--V--output=on--filter=check_pred.txt -------------------------------------------------------------------------------- /doc/tutorials/results/qsort--A--ana_nf=nf--name=qsort--filter=tpred_plus.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/results/qsort--A--ana_nf=nf--name=qsort--filter=tpred_plus.txt -------------------------------------------------------------------------------- /doc/tutorials/results/qsort--A--types=eterms--modes=none--filter=tpred.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/results/qsort--A--types=eterms--modes=none--filter=tpred.txt -------------------------------------------------------------------------------- /doc/tutorials/results/qsort--A--types=none--modes=shfr--filter=tpred.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/results/qsort--A--types=none--modes=shfr--filter=tpred.txt -------------------------------------------------------------------------------- /doc/tutorials/results/qsort2--A--ana_nf=nf--ana_cost=resources--name=append--assertion=[cost,ub]--filter=tpred_plus.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/results/qsort2--A--ana_nf=nf--ana_cost=resources--name=append--assertion=[cost,ub]--filter=tpred_plus.txt -------------------------------------------------------------------------------- /doc/tutorials/results/qsort2--A--ana_nf=nfdet--ana_cost=resources--name=append--assertion=[cost,lb]--filter=tpred_plus.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/results/qsort2--A--ana_nf=nfdet--ana_cost=resources--name=append--assertion=[cost,lb]--filter=tpred_plus.txt -------------------------------------------------------------------------------- /doc/tutorials/results/qsort2--A--ana_nf=nfdet--ana_cost=resources--name=append--assertion=[cost,ub]--filter=tpred_plus.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/results/qsort2--A--ana_nf=nfdet--ana_cost=resources--name=append--assertion=[cost,ub]--filter=tpred_plus.txt -------------------------------------------------------------------------------- /doc/tutorials/results/qsort2--A--ana_nf=nfdet--ana_cost=resources--name=qsort--assertion=[cost,lb]--filter=tpred_plus.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/results/qsort2--A--ana_nf=nfdet--ana_cost=resources--name=qsort--assertion=[cost,lb]--filter=tpred_plus.txt -------------------------------------------------------------------------------- /doc/tutorials/results/qsort2--A--ana_nf=nfdet--ana_cost=resources--name=qsort--assertion=[cost,ub]--filter=tpred_plus.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/results/qsort2--A--ana_nf=nfdet--ana_cost=resources--name=qsort--assertion=[cost,ub]--filter=tpred_plus.txt -------------------------------------------------------------------------------- /doc/tutorials/results/qsort_assrt_det--V--ana_det=nfdet--output=on--filter=check_pred.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/results/qsort_assrt_det--V--ana_det=nfdet--output=on--filter=check_pred.txt -------------------------------------------------------------------------------- /doc/tutorials/results/qsort_without_assertions--V--filter=warnings.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/results/qsort_without_assertions--V--filter=warnings.txt -------------------------------------------------------------------------------- /doc/tutorials/results/remove_power_bug1--V--filter=warn_error.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/results/remove_power_bug1--V--filter=warn_error.txt -------------------------------------------------------------------------------- /doc/tutorials/results/remove_power_bug3--V--filter=warn_error.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/results/remove_power_bug3--V--filter=warn_error.txt -------------------------------------------------------------------------------- /doc/tutorials/results/remove_power_bug4--V--filter=errors.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/results/remove_power_bug4--V--filter=errors.txt -------------------------------------------------------------------------------- /doc/tutorials/results/revf_n_o_det_error--V--output=on--filter=check_pred.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/results/revf_n_o_det_error--V--output=on--filter=check_pred.txt -------------------------------------------------------------------------------- /doc/tutorials/results/revf_n_o_det_error--V--output=on--name=nrev--assertion=[steps_lb]--filter=tpred_plus.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/results/revf_n_o_det_error--V--output=on--name=nrev--assertion=[steps_lb]--filter=tpred_plus.txt -------------------------------------------------------------------------------- /doc/tutorials/results/revf_n_o_det_verified--V--output=on--filter=check_pred.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/results/revf_n_o_det_verified--V--output=on--filter=check_pred.txt -------------------------------------------------------------------------------- /doc/tutorials/results/revf_n_ub_det_error--V--output=on--filter=check_pred.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/results/revf_n_ub_det_error--V--output=on--filter=check_pred.txt -------------------------------------------------------------------------------- /doc/tutorials/results/revf_n_ub_det_error--V--output=on--name=conc--assertion=[steps_lb]--filter=tpred_plus.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/results/revf_n_ub_det_error--V--output=on--name=conc--assertion=[steps_lb]--filter=tpred_plus.txt -------------------------------------------------------------------------------- /doc/tutorials/results/revf_n_ub_det_verified--V--output=on--filter=check_pred.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/results/revf_n_ub_det_verified--V--output=on--filter=check_pred.txt -------------------------------------------------------------------------------- /doc/tutorials/results/sorted_insert_multi--A--ana_det=nfdet--name=sorted_insert--filter=tpred_plus.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/results/sorted_insert_multi--A--ana_det=nfdet--name=sorted_insert--filter=tpred_plus.txt -------------------------------------------------------------------------------- /doc/tutorials/results/sorted_insert_multi--V--comments=on--output=on--filter=check_pred.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/results/sorted_insert_multi--V--comments=on--output=on--filter=check_pred.txt -------------------------------------------------------------------------------- /doc/tutorials/tut_advanced.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/tut_advanced.pl -------------------------------------------------------------------------------- /doc/tutorials/tut_assrts.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/tut_assrts.pl -------------------------------------------------------------------------------- /doc/tutorials/tut_examples/app.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/tut_examples/app.pl -------------------------------------------------------------------------------- /doc/tutorials/tut_examples/app_assrt.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/tut_examples/app_assrt.pl -------------------------------------------------------------------------------- /doc/tutorials/tut_examples/app_assrt_false.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/tut_examples/app_assrt_false.pl -------------------------------------------------------------------------------- /doc/tutorials/tut_examples/app_getting_started.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/tut_examples/app_getting_started.pl -------------------------------------------------------------------------------- /doc/tutorials/tut_examples/app_spec.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/tut_examples/app_spec.pl -------------------------------------------------------------------------------- /doc/tutorials/tut_examples/dup_first.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/tut_examples/dup_first.pl -------------------------------------------------------------------------------- /doc/tutorials/tut_examples/exponential_ac.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/tut_examples/exponential_ac.pl -------------------------------------------------------------------------------- /doc/tutorials/tut_examples/nrev.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/tut_examples/nrev.pl -------------------------------------------------------------------------------- /doc/tutorials/tut_examples/nrev_assrts.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/tut_examples/nrev_assrts.pl -------------------------------------------------------------------------------- /doc/tutorials/tut_examples/peano.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/tut_examples/peano.pl -------------------------------------------------------------------------------- /doc/tutorials/tut_examples/qsort.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/tut_examples/qsort.pl -------------------------------------------------------------------------------- /doc/tutorials/tut_examples/qsort2.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/tut_examples/qsort2.pl -------------------------------------------------------------------------------- /doc/tutorials/tut_examples/qsort3.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/tut_examples/qsort3.pl -------------------------------------------------------------------------------- /doc/tutorials/tut_examples/qsort_assrts.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/tut_examples/qsort_assrts.pl -------------------------------------------------------------------------------- /doc/tutorials/tut_examples/qsort_bug.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/tut_examples/qsort_bug.pl -------------------------------------------------------------------------------- /doc/tutorials/tut_examples/qsort_eterms_analyzed.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/tut_examples/qsort_eterms_analyzed.pl -------------------------------------------------------------------------------- /doc/tutorials/tut_examples/qsort_eterms_shfr_det_analyzed.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/tut_examples/qsort_eterms_shfr_det_analyzed.pl -------------------------------------------------------------------------------- /doc/tutorials/tut_examples/qsort_par.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/tut_examples/qsort_par.pl -------------------------------------------------------------------------------- /doc/tutorials/tut_examples/qsort_resources.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/tut_examples/qsort_resources.pl -------------------------------------------------------------------------------- /doc/tutorials/tut_examples/qsort_shfr_analyzed.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/tut_examples/qsort_shfr_analyzed.pl -------------------------------------------------------------------------------- /doc/tutorials/tut_gentle_intro.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/tut_gentle_intro.pl -------------------------------------------------------------------------------- /doc/tutorials/tut_quick_start.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/tut_quick_start.pl -------------------------------------------------------------------------------- /doc/tutorials/tutorial.lpdoc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/tutorial.lpdoc -------------------------------------------------------------------------------- /doc/tutorials/tutorial.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/doc/tutorials/tutorial.pl -------------------------------------------------------------------------------- /domains/Attic/delaytools.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/domains/Attic/delaytools.pl -------------------------------------------------------------------------------- /domains/Attic/evalterms.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/domains/Attic/evalterms.pl -------------------------------------------------------------------------------- /domains/Attic/polyhedra_new.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/domains/Attic/polyhedra_new.pl -------------------------------------------------------------------------------- /domains/aeq.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/domains/aeq.pl -------------------------------------------------------------------------------- /domains/basicdom_base.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/domains/basicdom_base.pl -------------------------------------------------------------------------------- /domains/basicdom_base_doc.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/domains/basicdom_base_doc.pl -------------------------------------------------------------------------------- /domains/basicdom_nonrel_base.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/domains/basicdom_nonrel_base.pl -------------------------------------------------------------------------------- /domains/basicdom_nonrel_base_doc.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/domains/basicdom_nonrel_base_doc.pl -------------------------------------------------------------------------------- /domains/def.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/domains/def.pl -------------------------------------------------------------------------------- /domains/deftools.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/domains/deftools.pl -------------------------------------------------------------------------------- /domains/deftypes.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/domains/deftypes.pl -------------------------------------------------------------------------------- /domains/depthk.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/domains/depthk.pl -------------------------------------------------------------------------------- /domains/eterms.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/domains/eterms.pl -------------------------------------------------------------------------------- /domains/etermsvar.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/domains/etermsvar.pl -------------------------------------------------------------------------------- /domains/fd_aux.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/domains/fd_aux.pl -------------------------------------------------------------------------------- /domains/fd_top.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/domains/fd_top.pl -------------------------------------------------------------------------------- /domains/fr_aux.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/domains/fr_aux.pl -------------------------------------------------------------------------------- /domains/fr_sets.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/domains/fr_sets.pl -------------------------------------------------------------------------------- /domains/fr_shared.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/domains/fr_shared.pl -------------------------------------------------------------------------------- /domains/fr_top.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/domains/fr_top.pl -------------------------------------------------------------------------------- /domains/frdef.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/domains/frdef.pl -------------------------------------------------------------------------------- /domains/gr.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/domains/gr.pl -------------------------------------------------------------------------------- /domains/lsign.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/domains/lsign.pl -------------------------------------------------------------------------------- /domains/lsigndiff.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/domains/lsigndiff.pl -------------------------------------------------------------------------------- /domains/nfdet/cover.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/domains/nfdet/cover.pl -------------------------------------------------------------------------------- /domains/nfdet/detabs.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/domains/nfdet/detabs.pl -------------------------------------------------------------------------------- /domains/nfdet/detplai.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/domains/nfdet/detplai.pl -------------------------------------------------------------------------------- /domains/nfdet/mutexcheck.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/domains/nfdet/mutexcheck.pl -------------------------------------------------------------------------------- /domains/nfdet/nfabs.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/domains/nfdet/nfabs.pl -------------------------------------------------------------------------------- /domains/nfdet/nfbool.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/domains/nfdet/nfbool.pl -------------------------------------------------------------------------------- /domains/nfdet/nfdet.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/domains/nfdet/nfdet.pl -------------------------------------------------------------------------------- /domains/nfdet/nfdet_common.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/domains/nfdet/nfdet_common.pl -------------------------------------------------------------------------------- /domains/nfdet/nfdet_statistics.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/domains/nfdet/nfdet_statistics.pl -------------------------------------------------------------------------------- /domains/nfdet/nfdetabs.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/domains/nfdet/nfdetabs.pl -------------------------------------------------------------------------------- /domains/nfdet/nfplai.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/domains/nfdet/nfplai.pl -------------------------------------------------------------------------------- /domains/nfdet/nfsets.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/domains/nfdet/nfsets.pl -------------------------------------------------------------------------------- /domains/nfdet/subproblems.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/domains/nfdet/subproblems.pl -------------------------------------------------------------------------------- /domains/nonrel_base.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/domains/nonrel_base.pl -------------------------------------------------------------------------------- /domains/nonrel_base_doc.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/domains/nonrel_base_doc.pl -------------------------------------------------------------------------------- /domains/nonrel_intervals.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/domains/nonrel_intervals.pl -------------------------------------------------------------------------------- /domains/pd.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/domains/pd.pl -------------------------------------------------------------------------------- /domains/pdb.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/domains/pdb.pl -------------------------------------------------------------------------------- /domains/polyhedra.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/domains/polyhedra.pl -------------------------------------------------------------------------------- /domains/ppl_dummy.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/domains/ppl_dummy.pl -------------------------------------------------------------------------------- /domains/ppl_interface.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/domains/ppl_interface.pl -------------------------------------------------------------------------------- /domains/ptypes.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/domains/ptypes.pl -------------------------------------------------------------------------------- /domains/s_eqs.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/domains/s_eqs.pl -------------------------------------------------------------------------------- /domains/s_grshfr.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/domains/s_grshfr.pl -------------------------------------------------------------------------------- /domains/share_amgu_aux.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/domains/share_amgu_aux.pl -------------------------------------------------------------------------------- /domains/share_amgu_sets.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/domains/share_amgu_sets.pl -------------------------------------------------------------------------------- /domains/share_aux.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/domains/share_aux.pl -------------------------------------------------------------------------------- /domains/share_clique_1_aux.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/domains/share_clique_1_aux.pl -------------------------------------------------------------------------------- /domains/share_clique_aux.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/domains/share_clique_aux.pl -------------------------------------------------------------------------------- /domains/sharefree.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/domains/sharefree.pl -------------------------------------------------------------------------------- /domains/sharefree_amgu.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/domains/sharefree_amgu.pl -------------------------------------------------------------------------------- /domains/sharefree_amgu_aux.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/domains/sharefree_amgu_aux.pl -------------------------------------------------------------------------------- /domains/sharefree_clique.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/domains/sharefree_clique.pl -------------------------------------------------------------------------------- /domains/sharefree_clique_aux.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/domains/sharefree_clique_aux.pl -------------------------------------------------------------------------------- /domains/sharefree_clique_def.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/domains/sharefree_clique_def.pl -------------------------------------------------------------------------------- /domains/sharefree_non_var.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/domains/sharefree_non_var.pl -------------------------------------------------------------------------------- /domains/shareson.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/domains/shareson.pl -------------------------------------------------------------------------------- /domains/sharing.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/domains/sharing.pl -------------------------------------------------------------------------------- /domains/sharing_amgu.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/domains/sharing_amgu.pl -------------------------------------------------------------------------------- /domains/sharing_clique.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/domains/sharing_clique.pl -------------------------------------------------------------------------------- /domains/sharing_clique_1.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/domains/sharing_clique_1.pl -------------------------------------------------------------------------------- /domains/sharing_clique_def.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/domains/sharing_clique_def.pl -------------------------------------------------------------------------------- /domains/shfret.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/domains/shfret.pl -------------------------------------------------------------------------------- /domains/shfrlin_amgu.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/domains/shfrlin_amgu.pl -------------------------------------------------------------------------------- /domains/shfrlin_amgu_aux.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/domains/shfrlin_amgu_aux.pl -------------------------------------------------------------------------------- /domains/shfrson.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/domains/shfrson.pl -------------------------------------------------------------------------------- /domains/sondergaard.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/domains/sondergaard.pl -------------------------------------------------------------------------------- /domains/svterms.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/domains/svterms.pl -------------------------------------------------------------------------------- /domains/termsd.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/domains/termsd.pl -------------------------------------------------------------------------------- /domains/top_path_sharing.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/domains/top_path_sharing.pl -------------------------------------------------------------------------------- /etc/new_domain.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/etc/new_domain.pl -------------------------------------------------------------------------------- /examples/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/examples/README.md -------------------------------------------------------------------------------- /examples/assrt-tutorial/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/examples/assrt-tutorial/README.md -------------------------------------------------------------------------------- /examples/assrt-tutorial/incompatible_type_base.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/examples/assrt-tutorial/incompatible_type_base.pl -------------------------------------------------------------------------------- /examples/assrt-tutorial/incompatible_type_base_f.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/examples/assrt-tutorial/incompatible_type_base_f.pl -------------------------------------------------------------------------------- /examples/assrt-tutorial/incompatible_type_f_error.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/examples/assrt-tutorial/incompatible_type_f_error.pl -------------------------------------------------------------------------------- /examples/assrt-tutorial/incompatible_type_f_fixed.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/examples/assrt-tutorial/incompatible_type_f_fixed.pl -------------------------------------------------------------------------------- /examples/assrt-tutorial/qsort_assrt_det.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/examples/assrt-tutorial/qsort_assrt_det.pl -------------------------------------------------------------------------------- /examples/assrt-tutorial/qsort_det_may_fail.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/examples/assrt-tutorial/qsort_det_may_fail.pl -------------------------------------------------------------------------------- /examples/assrt-tutorial/qsort_det_nondet.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/examples/assrt-tutorial/qsort_det_nondet.pl -------------------------------------------------------------------------------- /examples/assrt-tutorial/qsort_modes_doccomments.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/examples/assrt-tutorial/qsort_modes_doccomments.pl -------------------------------------------------------------------------------- /examples/assrt-tutorial/qsort_modes_doccomments_det.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/examples/assrt-tutorial/qsort_modes_doccomments_det.pl -------------------------------------------------------------------------------- /examples/assrt-tutorial/qsort_noassrt_nowarnings.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/examples/assrt-tutorial/qsort_noassrt_nowarnings.pl -------------------------------------------------------------------------------- /examples/assrt-tutorial/qsort_noassrt_warnings.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/examples/assrt-tutorial/qsort_noassrt_warnings.pl -------------------------------------------------------------------------------- /examples/assrt-tutorial/revf_n_o_det_error.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/examples/assrt-tutorial/revf_n_o_det_error.pl -------------------------------------------------------------------------------- /examples/assrt-tutorial/revf_n_o_det_verified.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/examples/assrt-tutorial/revf_n_o_det_verified.pl -------------------------------------------------------------------------------- /examples/assrt-tutorial/revf_n_ub_det_error.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/examples/assrt-tutorial/revf_n_ub_det_error.pl -------------------------------------------------------------------------------- /examples/assrt-tutorial/revf_n_ub_det_verified.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/examples/assrt-tutorial/revf_n_ub_det_verified.pl -------------------------------------------------------------------------------- /examples/basicdom_examples/polyhedra_clpq.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/examples/basicdom_examples/polyhedra_clpq.pl -------------------------------------------------------------------------------- /examples/basicdom_examples/sign.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/examples/basicdom_examples/sign.pl -------------------------------------------------------------------------------- /examples/verifly/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/examples/verifly/README.md -------------------------------------------------------------------------------- /examples/verifly/ann.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/examples/verifly/ann.pl -------------------------------------------------------------------------------- /examples/verifly/builtin_violation.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/examples/verifly/builtin_violation.pl -------------------------------------------------------------------------------- /examples/verifly/incompatible_type.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/examples/verifly/incompatible_type.pl -------------------------------------------------------------------------------- /examples/verifly/never_succeeds.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/examples/verifly/never_succeeds.pl -------------------------------------------------------------------------------- /examples/verifly/qsortdl.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/examples/verifly/qsortdl.pl -------------------------------------------------------------------------------- /examples/verifly/revf-bug.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/examples/verifly/revf-bug.pl -------------------------------------------------------------------------------- /examples/verifly/revf.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/examples/verifly/revf.pl -------------------------------------------------------------------------------- /lib/aidomain/aidomain.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/lib/aidomain/aidomain.pl -------------------------------------------------------------------------------- /lib/aidomain/aidomain_tr.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/lib/aidomain/aidomain_tr.pl -------------------------------------------------------------------------------- /lib/pe_types/pe_types.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/lib/pe_types/pe_types.pl -------------------------------------------------------------------------------- /lib/term_filtering/fr_notation.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/lib/term_filtering/fr_notation.pl -------------------------------------------------------------------------------- /lib/term_filtering/fr_tests.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/lib/term_filtering/fr_tests.txt -------------------------------------------------------------------------------- /lib/term_filtering/term_filtering.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/lib/term_filtering/term_filtering.pl -------------------------------------------------------------------------------- /lib/wrap_assertions.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/lib/wrap_assertions.pl -------------------------------------------------------------------------------- /lib/wrap_nativeprops.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/lib/wrap_nativeprops.pl -------------------------------------------------------------------------------- /lib/wrap_regtypes.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/lib/wrap_regtypes.pl -------------------------------------------------------------------------------- /spec/abs_exec.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/spec/abs_exec.pl -------------------------------------------------------------------------------- /spec/abs_exec_cond.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/spec/abs_exec_cond.pl -------------------------------------------------------------------------------- /spec/abs_exec_ops.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/spec/abs_exec_ops.pl -------------------------------------------------------------------------------- /spec/arg_filtering.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/spec/arg_filtering.pl -------------------------------------------------------------------------------- /spec/arith_simplify.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/spec/arith_simplify.pl -------------------------------------------------------------------------------- /spec/ch_trees.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/spec/ch_trees.pl -------------------------------------------------------------------------------- /spec/codegen.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/spec/codegen.pl -------------------------------------------------------------------------------- /spec/debug_write_atoms.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/spec/debug_write_atoms.pl -------------------------------------------------------------------------------- /spec/filter.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/spec/filter.pl -------------------------------------------------------------------------------- /spec/generalize_emb_atoms.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/spec/generalize_emb_atoms.pl -------------------------------------------------------------------------------- /spec/global_control.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/spec/global_control.pl -------------------------------------------------------------------------------- /spec/global_trees.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/spec/global_trees.pl -------------------------------------------------------------------------------- /spec/homeo_emb.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/spec/homeo_emb.pl -------------------------------------------------------------------------------- /spec/isomorphism.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/spec/isomorphism.pl -------------------------------------------------------------------------------- /spec/mem_usage.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/spec/mem_usage.pl -------------------------------------------------------------------------------- /spec/min_unf.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/spec/min_unf.pl -------------------------------------------------------------------------------- /spec/modular_spec.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/spec/modular_spec.pl -------------------------------------------------------------------------------- /spec/no_debug.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/spec/no_debug.pl -------------------------------------------------------------------------------- /spec/no_debug_tr.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/spec/no_debug_tr.pl -------------------------------------------------------------------------------- /spec/nomem_usage.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/spec/nomem_usage.pl -------------------------------------------------------------------------------- /spec/nomem_usage_tr.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/spec/nomem_usage_tr.pl -------------------------------------------------------------------------------- /spec/nounfold_stats.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/spec/nounfold_stats.pl -------------------------------------------------------------------------------- /spec/nounfold_stats_tr.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/spec/nounfold_stats_tr.pl -------------------------------------------------------------------------------- /spec/s_simpspec.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/spec/s_simpspec.pl -------------------------------------------------------------------------------- /spec/slicing.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/spec/slicing.pl -------------------------------------------------------------------------------- /spec/sp_clauses.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/spec/sp_clauses.pl -------------------------------------------------------------------------------- /spec/spec.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/spec/spec.pl -------------------------------------------------------------------------------- /spec/spec_delay.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/spec/spec_delay.pl -------------------------------------------------------------------------------- /spec/spec_gen_pred_vers.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/spec/spec_gen_pred_vers.pl -------------------------------------------------------------------------------- /spec/spec_iterate.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/spec/spec_iterate.pl -------------------------------------------------------------------------------- /spec/spec_multiple.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/spec/spec_multiple.pl -------------------------------------------------------------------------------- /spec/spec_support.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/spec/spec_support.pl -------------------------------------------------------------------------------- /spec/static_abs_exec_table.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/spec/static_abs_exec_table.pl -------------------------------------------------------------------------------- /spec/unfold.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/spec/unfold.pl -------------------------------------------------------------------------------- /spec/unfold_builtins.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/spec/unfold_builtins.pl -------------------------------------------------------------------------------- /spec/unfold_decompile.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/spec/unfold_decompile.pl -------------------------------------------------------------------------------- /spec/unfold_df_hom_emb.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/spec/unfold_df_hom_emb.pl -------------------------------------------------------------------------------- /spec/unfold_df_hom_emb_as.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/spec/unfold_df_hom_emb_as.pl -------------------------------------------------------------------------------- /spec/unfold_df_hom_emb_as_orig.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/spec/unfold_df_hom_emb_as_orig.pl -------------------------------------------------------------------------------- /spec/unfold_df_operations.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/spec/unfold_df_operations.pl -------------------------------------------------------------------------------- /spec/unfold_df_operations_decompile.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/spec/unfold_df_operations_decompile.pl -------------------------------------------------------------------------------- /spec/unfold_df_tree_hom_emb.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/spec/unfold_df_tree_hom_emb.pl -------------------------------------------------------------------------------- /spec/unfold_local.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/spec/unfold_local.pl -------------------------------------------------------------------------------- /spec/unfold_operations.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/spec/unfold_operations.pl -------------------------------------------------------------------------------- /spec/unfold_stats.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/spec/unfold_stats.pl -------------------------------------------------------------------------------- /spec/unfold_times.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/spec/unfold_times.pl -------------------------------------------------------------------------------- /spec/useless_clauses.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/spec/useless_clauses.pl -------------------------------------------------------------------------------- /src/analysis_register.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/src/analysis_register.pl -------------------------------------------------------------------------------- /src/analysis_stats.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/src/analysis_stats.pl -------------------------------------------------------------------------------- /src/analyze_driver.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/src/analyze_driver.pl -------------------------------------------------------------------------------- /src/auto_interface.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/src/auto_interface.pl -------------------------------------------------------------------------------- /src/auto_old_menu.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/src/auto_old_menu.pl -------------------------------------------------------------------------------- /src/auto_unified_menu.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/src/auto_unified_menu.pl -------------------------------------------------------------------------------- /src/ciaopp.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/src/ciaopp.pl -------------------------------------------------------------------------------- /src/ciaopp_log.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/src/ciaopp_log.pl -------------------------------------------------------------------------------- /src/ciaopp_options.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/src/ciaopp_options.pl -------------------------------------------------------------------------------- /src/ciaoppcl_common.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/src/ciaoppcl_common.pl -------------------------------------------------------------------------------- /src/ctchecks/comp_ctchecks.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/src/ctchecks/comp_ctchecks.pl -------------------------------------------------------------------------------- /src/ctchecks/ctchecks_common.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/src/ctchecks/ctchecks_common.pl -------------------------------------------------------------------------------- /src/ctchecks/ctchecks_pp.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/src/ctchecks/ctchecks_pp.pl -------------------------------------------------------------------------------- /src/ctchecks/ctchecks_pp_messages.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/src/ctchecks/ctchecks_pp_messages.pl -------------------------------------------------------------------------------- /src/ctchecks/ctchecks_pred.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/src/ctchecks/ctchecks_pred.pl -------------------------------------------------------------------------------- /src/ctchecks/ctchecks_pred_messages.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/src/ctchecks/ctchecks_pred_messages.pl -------------------------------------------------------------------------------- /src/ctchecks/diagnosis/diag.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/src/ctchecks/diagnosis/diag.pl -------------------------------------------------------------------------------- /src/ctchecks/diagnosis/diag_supp.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/src/ctchecks/diagnosis/diag_supp.pl -------------------------------------------------------------------------------- /src/ctchecks/preproc_errors.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/src/ctchecks/preproc_errors.pl -------------------------------------------------------------------------------- /src/frontend_driver.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/src/frontend_driver.pl -------------------------------------------------------------------------------- /src/infer/domain_dep.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/src/infer/domain_dep.pl -------------------------------------------------------------------------------- /src/infer/gather_modes.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/src/infer/gather_modes.pl -------------------------------------------------------------------------------- /src/infer/gather_modes_basic.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/src/infer/gather_modes_basic.pl -------------------------------------------------------------------------------- /src/infer/infer.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/src/infer/infer.pl -------------------------------------------------------------------------------- /src/infer/infer_db.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/src/infer/infer_db.pl -------------------------------------------------------------------------------- /src/infer/infer_dom.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/src/infer/infer_dom.pl -------------------------------------------------------------------------------- /src/infer/inferseff.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/src/infer/inferseff.pl -------------------------------------------------------------------------------- /src/infer/low_level_props.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/src/infer/low_level_props.pl -------------------------------------------------------------------------------- /src/infer/prepare_ai_output.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/src/infer/prepare_ai_output.pl -------------------------------------------------------------------------------- /src/infer/vartypes.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/src/infer/vartypes.pl -------------------------------------------------------------------------------- /src/p_dump.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/src/p_dump.pl -------------------------------------------------------------------------------- /src/plai/acc_ops.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/src/plai/acc_ops.pl -------------------------------------------------------------------------------- /src/plai/apply_assertions.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/src/plai/apply_assertions.pl -------------------------------------------------------------------------------- /src/plai/apply_assertions_inc.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/src/plai/apply_assertions_inc.pl -------------------------------------------------------------------------------- /src/plai/apply_assertions_old.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/src/plai/apply_assertions_old.pl -------------------------------------------------------------------------------- /src/plai/auxinfo_dump.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/src/plai/auxinfo_dump.pl -------------------------------------------------------------------------------- /src/plai/domains.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/src/plai/domains.pl -------------------------------------------------------------------------------- /src/plai/domains_hooks.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/src/plai/domains_hooks.pl -------------------------------------------------------------------------------- /src/plai/fixpo_bu.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/src/plai/fixpo_bu.pl -------------------------------------------------------------------------------- /src/plai/fixpo_check_di.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/src/plai/fixpo_check_di.pl -------------------------------------------------------------------------------- /src/plai/fixpo_check_di2.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/src/plai/fixpo_check_di2.pl -------------------------------------------------------------------------------- /src/plai/fixpo_check_di3.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/src/plai/fixpo_check_di3.pl -------------------------------------------------------------------------------- /src/plai/fixpo_check_di4.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/src/plai/fixpo_check_di4.pl -------------------------------------------------------------------------------- /src/plai/fixpo_check_di5.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/src/plai/fixpo_check_di5.pl -------------------------------------------------------------------------------- /src/plai/fixpo_check_reduced_di.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/src/plai/fixpo_check_reduced_di.pl -------------------------------------------------------------------------------- /src/plai/fixpo_dd.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/src/plai/fixpo_dd.pl -------------------------------------------------------------------------------- /src/plai/fixpo_di.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/src/plai/fixpo_di.pl -------------------------------------------------------------------------------- /src/plai/fixpo_dx_check_common.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/src/plai/fixpo_dx_check_common.pl -------------------------------------------------------------------------------- /src/plai/fixpo_dx_common.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/src/plai/fixpo_dx_common.pl -------------------------------------------------------------------------------- /src/plai/fixpo_ops.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/src/plai/fixpo_ops.pl -------------------------------------------------------------------------------- /src/plai/fixpo_ops_gfp.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/src/plai/fixpo_ops_gfp.pl -------------------------------------------------------------------------------- /src/plai/fixpo_plai.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/src/plai/fixpo_plai.pl -------------------------------------------------------------------------------- /src/plai/fixpo_plai_gfp.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/src/plai/fixpo_plai_gfp.pl -------------------------------------------------------------------------------- /src/plai/fixpoint_options.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/src/plai/fixpoint_options.pl -------------------------------------------------------------------------------- /src/plai/incanal/incanal.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/src/plai/incanal/incanal.pl -------------------------------------------------------------------------------- /src/plai/incanal/incanal_db.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/src/plai/incanal/incanal_db.pl -------------------------------------------------------------------------------- /src/plai/incanal/incanal_deletion.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/src/plai/incanal/incanal_deletion.pl -------------------------------------------------------------------------------- /src/plai/incanal/incanal_driver.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/src/plai/incanal/incanal_driver.pl -------------------------------------------------------------------------------- /src/plai/incanal/incanal_experiments.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/src/plai/incanal/incanal_experiments.pl -------------------------------------------------------------------------------- /src/plai/incanal/incanal_options.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/src/plai/incanal/incanal_options.pl -------------------------------------------------------------------------------- /src/plai/incanal/incanal_persistent_db.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/src/plai/incanal/incanal_persistent_db.pl -------------------------------------------------------------------------------- /src/plai/incanal/plai_db_comparator.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/src/plai/incanal/plai_db_comparator.pl -------------------------------------------------------------------------------- /src/plai/incanal/plai_db_instances.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/src/plai/incanal/plai_db_instances.pl -------------------------------------------------------------------------------- /src/plai/incanal/tarjan_inc.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/src/plai/incanal/tarjan_inc.pl -------------------------------------------------------------------------------- /src/plai/incanal/tests/bench/NOCOMPILE: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /src/plai/intermod.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/src/plai/intermod.pl -------------------------------------------------------------------------------- /src/plai/intermod_db.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/src/plai/intermod_db.pl -------------------------------------------------------------------------------- /src/plai/intermod_entry.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/src/plai/intermod_entry.pl -------------------------------------------------------------------------------- /src/plai/intermod_ops.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/src/plai/intermod_ops.pl -------------------------------------------------------------------------------- /src/plai/intermod_options.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/src/plai/intermod_options.pl -------------------------------------------------------------------------------- /src/plai/intermod_punit.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/src/plai/intermod_punit.pl -------------------------------------------------------------------------------- /src/plai/intermod_schedule.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/src/plai/intermod_schedule.pl -------------------------------------------------------------------------------- /src/plai/intermod_success.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/src/plai/intermod_success.pl -------------------------------------------------------------------------------- /src/plai/normalize_args.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/src/plai/normalize_args.pl -------------------------------------------------------------------------------- /src/plai/notrace.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/src/plai/notrace.pl -------------------------------------------------------------------------------- /src/plai/notrace_tr.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/src/plai/notrace_tr.pl -------------------------------------------------------------------------------- /src/plai/plai.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/src/plai/plai.pl -------------------------------------------------------------------------------- /src/plai/plai_db.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/src/plai/plai_db.pl -------------------------------------------------------------------------------- /src/plai/plai_domain.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/src/plai/plai_domain.pl -------------------------------------------------------------------------------- /src/plai/plai_errors.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/src/plai/plai_errors.pl -------------------------------------------------------------------------------- /src/plai/program_tarjan.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/src/plai/program_tarjan.pl -------------------------------------------------------------------------------- /src/plai/psets.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/src/plai/psets.pl -------------------------------------------------------------------------------- /src/plai/re_analysis.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/src/plai/re_analysis.pl -------------------------------------------------------------------------------- /src/plai/tarjan.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/src/plai/tarjan.pl -------------------------------------------------------------------------------- /src/plai/trace_fixp.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/src/plai/trace_fixp.pl -------------------------------------------------------------------------------- /src/plai/transform.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/src/plai/transform.pl -------------------------------------------------------------------------------- /src/plai/view_fixp.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/src/plai/view_fixp.pl -------------------------------------------------------------------------------- /src/pool.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/src/pool.pl -------------------------------------------------------------------------------- /src/preprocess_flags.lpdoc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/src/preprocess_flags.lpdoc -------------------------------------------------------------------------------- /src/preprocess_flags.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/src/preprocess_flags.pl -------------------------------------------------------------------------------- /src/raw_printer.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/src/raw_printer.pl -------------------------------------------------------------------------------- /src/test_aux/compare_dump.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/src/test_aux/compare_dump.pl -------------------------------------------------------------------------------- /src/tr_ctrt/examples/boyerf.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/src/tr_ctrt/examples/boyerf.pl -------------------------------------------------------------------------------- /src/tr_ctrt/tr_ctrt.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/src/tr_ctrt/tr_ctrt.pl -------------------------------------------------------------------------------- /src/tr_unfold/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/src/tr_unfold/README.md -------------------------------------------------------------------------------- /src/tr_unfold/chclibs_balanced_tree.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/src/tr_unfold/chclibs_balanced_tree.pl -------------------------------------------------------------------------------- /src/tr_unfold/chclibs_canonical.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/src/tr_unfold/chclibs_canonical.pl -------------------------------------------------------------------------------- /src/tr_unfold/chclibs_readprog.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/src/tr_unfold/chclibs_readprog.pl -------------------------------------------------------------------------------- /src/tr_unfold/chclibs_scc.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/src/tr_unfold/chclibs_scc.pl -------------------------------------------------------------------------------- /src/tr_unfold/unfold_core.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/src/tr_unfold/unfold_core.pl -------------------------------------------------------------------------------- /src/tr_unfold/unfold_non_rec.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/src/tr_unfold/unfold_non_rec.pl -------------------------------------------------------------------------------- /src/transform_driver.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ciao-lang/ciaopp/HEAD/src/transform_driver.pl --------------------------------------------------------------------------------