├── .gitattributes ├── .github └── workflows │ ├── doc.yml │ ├── main.yml │ └── users.yml ├── .gitignore ├── .ocamlformat ├── AUTHORS.md ├── CHANGES.md ├── ELPI.md ├── INCOMPATIBILITIES.md ├── LICENSE ├── Makefile ├── README.md ├── docs ├── Makefile ├── base │ ├── a.elpi │ ├── about.rst │ ├── conf.py │ ├── index.rst │ └── playground.rst └── engine │ └── engine.py ├── dune ├── dune-project ├── elpi.opam ├── elpi_REPL.ml ├── src ├── API.ml ├── API.mli ├── builtin.elpi ├── builtin.ml ├── builtin.mli ├── builtin_map.elpi ├── builtin_set.elpi ├── builtin_stdlib.elpi ├── compiler │ ├── compiler.ml │ ├── compiler.mli │ ├── compiler_data.ml │ ├── determinacy_checker.ml │ ├── determinacy_checker.mli │ ├── dune │ ├── spilling.ml │ ├── spilling.mli │ ├── test_compiler_data.ml │ ├── test_type_checker.ml │ ├── test_union_find.ml │ ├── type_checker.ml │ └── type_checker.mli ├── dune ├── dune.config ├── elpi_trace_elaborator.ml ├── parser │ ├── README.md │ ├── ast.ml │ ├── ast.mli │ ├── dune │ ├── error_messages.txt │ ├── gen_infix_lexer.ml │ ├── gen_token_precedence.ml │ ├── grammar.mly │ ├── lexer.mll.in │ ├── lexer_config.ml │ ├── parse.ml │ ├── parse.mli │ ├── parser_config.ml │ ├── test_lexer.ml │ ├── test_parser.ml │ ├── token_precedence.mly │ └── tokens.mly ├── runtime │ ├── bl.ml │ ├── bl.mli │ ├── data.ml │ ├── discrimination_tree.ml │ ├── discrimination_tree.mli │ ├── dune │ ├── ptmap.ml │ ├── ptmap.mli │ ├── runtime.ml │ ├── runtime.mli │ ├── runtime_trace_off.ml │ ├── runtime_trace_off.mli │ ├── test_bl.ml │ ├── test_discrimination_tree.ml │ └── test_lex.ml ├── trace.atd ├── trace_atd.ts └── utils │ ├── dune │ ├── union_find.ml │ ├── union_find.mli │ ├── util.ml │ └── util.mli ├── tests ├── dune ├── dune-project ├── plot ├── sources │ ├── GH_issue_19.elpi │ ├── accumulate_twice1.elpi │ ├── accumulate_twice2.elpi │ ├── accumulated.elpi │ ├── ackermann.elpi │ ├── asclause.elpi │ ├── bad_index.elpi │ ├── beta.elpi │ ├── block.elpi │ ├── broken_trace1.elab.json │ ├── broken_trace1.json │ ├── broken_trace2.json │ ├── bug-256.elpi │ ├── bug_226.elpi │ ├── chr-scope-change-failure.elpi │ ├── chr-scope-change.elpi │ ├── chr-scope.elpi │ ├── chr.elpi │ ├── chrGCD.elpi │ ├── chrLEQ.elpi │ ├── chr_cut.elpi │ ├── chr_nokey.elpi │ ├── chr_nokey2.elpi │ ├── chr_not_clique.elpi │ ├── chr_sem.elpi │ ├── chr_with_hypotheses.elpi │ ├── conj2.elpi │ ├── crypt.mod │ ├── crypt.sig │ ├── ctx_loading.elpi │ ├── cut.elpi │ ├── cut2.elpi │ ├── cut3.elpi │ ├── cut4.elpi │ ├── cut5.elpi │ ├── cut6.elpi │ ├── deep_indexing.elpi │ ├── discard.elpi │ ├── dt.elpi │ ├── dt1.elpi │ ├── dt_bench.elpi │ ├── dt_bug272.elpi │ ├── dt_bug323.elpi │ ├── dt_empty_list.elpi │ ├── dt_empty_list.log │ ├── dt_inst_compiler.elpi │ ├── dt_max_depths.elpi │ ├── dt_max_depths.log │ ├── dt_multiparam1.elpi │ ├── dt_multiparam2.elpi │ ├── dt_multiparam3.elpi │ ├── dt_multivar.elpi │ ├── dt_multivar_long_list.elpi │ ├── dt_off.elpi │ ├── dt_order.elpi │ ├── dt_var.elpi │ ├── dt_var2.elpi │ ├── dt_var3.elpi │ ├── dune │ ├── dupta.elpi │ ├── dupta2.elpi │ ├── elpi_only_llam.elpi │ ├── end_comment.elpi │ ├── eta.elpi │ ├── eta_as.elpi │ ├── eta_oc.elpi │ ├── even-odd.elpi │ ├── fast_mu.mod │ ├── fast_mu.sig │ ├── findall.elpi │ ├── findall_csts.elpi │ ├── fragment_exit.elpi │ ├── fragment_exit2.elpi │ ├── fragment_exit3.elpi │ ├── functionality │ │ ├── .gitignore │ │ ├── README.md │ │ ├── heads │ │ │ ├── heads01.elpi │ │ │ ├── heads02.elpi │ │ │ ├── heads03.elpi │ │ │ ├── heads04.elpi │ │ │ ├── heads05.elpi │ │ │ ├── heads06.elpi │ │ │ ├── heads07.elpi │ │ │ ├── heads08.elpi │ │ │ └── heads09_TODO.elpi │ │ ├── meals.elpi │ │ ├── test1.elpi │ │ ├── test1.m │ │ ├── test10.elpi │ │ ├── test100.elpi │ │ ├── test101.elpi │ │ ├── test102.elpi │ │ ├── test103.elpi │ │ ├── test104.elpi │ │ ├── test105.elpi │ │ ├── test106.elpi │ │ ├── test107.elpi │ │ ├── test108.elpi │ │ ├── test109.elpi │ │ ├── test11.elpi │ │ ├── test110.elpi │ │ ├── test111.elpi │ │ ├── test112.elpi │ │ ├── test113.elpi │ │ ├── test114.elpi │ │ ├── test115.elpi │ │ ├── test116.elpi │ │ ├── test117.elpi │ │ ├── test118.elpi │ │ ├── test119.elpi │ │ ├── test12.elpi │ │ ├── test13.elpi │ │ ├── test14.elpi │ │ ├── test15.elpi │ │ ├── test16.elpi │ │ ├── test16.m │ │ ├── test17.elpi │ │ ├── test18.elpi │ │ ├── test18.m │ │ ├── test19.elpi │ │ ├── test2.elpi │ │ ├── test2.m │ │ ├── test20.elpi │ │ ├── test21.elpi │ │ ├── test22.elpi │ │ ├── test22.m │ │ ├── test23.elpi │ │ ├── test24.elpi │ │ ├── test24.m │ │ ├── test25.elpi │ │ ├── test26.elpi │ │ ├── test27.elpi │ │ ├── test28.elpi │ │ ├── test29.elpi │ │ ├── test29.m │ │ ├── test3.elpi │ │ ├── test30.elpi │ │ ├── test30.m │ │ ├── test31.elpi │ │ ├── test32.elpi │ │ ├── test33.elpi │ │ ├── test34.elpi │ │ ├── test35.elpi │ │ ├── test36.elpi │ │ ├── test37.elpi │ │ ├── test38.elpi │ │ ├── test39.elpi │ │ ├── test3_1.elpi │ │ ├── test4.elpi │ │ ├── test40.elpi │ │ ├── test41.elpi │ │ ├── test42.elpi │ │ ├── test43.elpi │ │ ├── test44.elpi │ │ ├── test45.elpi │ │ ├── test46.elpi │ │ ├── test47.elpi │ │ ├── test48.elpi │ │ ├── test49.elpi │ │ ├── test5.elpi │ │ ├── test5.m │ │ ├── test50.elpi │ │ ├── test51.elpi │ │ ├── test52.elpi │ │ ├── test52.m │ │ ├── test53.elpi │ │ ├── test54.elpi │ │ ├── test55.elpi │ │ ├── test56.elpi │ │ ├── test57.elpi │ │ ├── test58.elpi │ │ ├── test59.elpi │ │ ├── test6.elpi │ │ ├── test60.elpi │ │ ├── test61.elpi │ │ ├── test62.elpi │ │ ├── test63.elpi │ │ ├── test64.elpi │ │ ├── test65.elpi │ │ ├── test66.elpi │ │ ├── test67.elpi │ │ ├── test68.elpi │ │ ├── test69.elpi │ │ ├── test7.elpi │ │ ├── test70.elpi │ │ ├── test71.elpi │ │ ├── test72.elpi │ │ ├── test73.elpi │ │ ├── test74.elpi │ │ ├── test75.elpi │ │ ├── test76.elpi │ │ ├── test77.elpi │ │ ├── test78.elpi │ │ ├── test79.elpi │ │ ├── test8.elpi │ │ ├── test80.elpi │ │ ├── test81.elpi │ │ ├── test82.elpi │ │ ├── test83.elpi │ │ ├── test84.elpi │ │ ├── test85.elpi │ │ ├── test86.elpi │ │ ├── test87.elpi │ │ ├── test88.elpi │ │ ├── test89.elpi │ │ ├── test9.elpi │ │ ├── test90.elpi │ │ ├── test91.elpi │ │ ├── test92.elpi │ │ ├── test93.elpi │ │ ├── test94.elpi │ │ ├── test95.elpi │ │ ├── test96.elpi │ │ ├── test97.elpi │ │ ├── test98.elpi │ │ ├── test99.elpi │ │ └── various.m │ ├── general_case.elpi │ ├── general_case2.elpi │ ├── general_case3.elpi │ ├── graft_before.elpi │ ├── graft_before_same.elpi │ ├── graft_remove.elpi │ ├── graft_replace_err.elpi │ ├── graft_replace_ok.elpi │ ├── hc_interp.elpi │ ├── hdclause.elpi │ ├── heap_discard.elpi │ ├── heap_discard3.elpi │ ├── helena_elpi │ │ ├── Makefile │ │ ├── grundlagen.txt │ │ ├── grundlagen_2b_ld3.elpi │ │ ├── grundlagen_types.elpi │ │ ├── helena.elpi │ │ ├── lambdadelta.elpi │ │ ├── ld3_engine.elpi │ │ └── test_31_2nd.txt │ ├── hilbert │ │ ├── README │ │ ├── hilbert.mod │ │ └── hilbert.sig │ ├── hilbert2 │ │ ├── README │ │ ├── hilbert2.mod │ │ └── hilbert2.sig │ ├── ho.elpi │ ├── hollight.elpi │ ├── holp │ │ ├── README │ │ ├── hc_interp.mod │ │ ├── hc_interp.sig │ │ ├── hc_syntax.mod │ │ ├── hc_syntax.sig │ │ ├── hcinterp_examples.mod │ │ ├── hcinterp_examples.sig │ │ ├── hcsyntax_examples.mod │ │ ├── hcsyntax_examples.sig │ │ ├── lists.mod │ │ ├── lists.sig │ │ ├── logic_basic.sig │ │ ├── logic_types.sig │ │ ├── logic_vocab.sig │ │ ├── main.mod │ │ ├── main.sig │ │ ├── pnf.mod │ │ ├── pnf.sig │ │ ├── pnf_examples.mod │ │ ├── pnf_examples.sig │ │ ├── refl_syntax.mod │ │ └── refl_syntax.sig │ ├── hyp_uvar.elpi │ ├── ifdef.elpi │ ├── impl.elpi │ ├── impl2.elpi │ ├── impl_prec.elpi │ ├── impl_prec_ok.elpi │ ├── implbang.elpi │ ├── index2.elpi │ ├── io_colon.elpi │ ├── is.elpi │ ├── lambda.elpi │ ├── lambda2.elpi │ ├── lambda3.elpi │ ├── lambda3.mod │ ├── lambda3.sig │ ├── lambda4.elpi │ ├── lambda5.elpi │ ├── lambda6.elpi │ ├── ld-3C │ │ ├── Makefile │ │ ├── grundlagen_2b_ld3.elpi │ │ ├── grundlagen_pars.elpi │ │ ├── grundlagen_types.elpi │ │ ├── ld3c_engine.elpi │ │ ├── ld3c_global.elpi │ │ ├── ld3c_kernel.elpi │ │ ├── ld3c_kernel_0.elpi │ │ ├── ld3c_kernel_1.elpi │ │ ├── ld3c_trace.elpi │ │ ├── ld3c_types.elpi │ │ └── reductions.tex │ ├── linear.elpi │ ├── list_as_conj.elpi │ ├── list_comma.elpi │ ├── llam.elpi │ ├── llam.mod │ ├── llam.sig │ ├── llamchr.elpi │ ├── lyp │ │ ├── Makefile │ │ ├── grundlagen_2b_lyp.elpi │ │ ├── lyp_engine.elpi │ │ ├── lyp_global.elpi │ │ ├── lyp_machine.elpi │ │ ├── lyp_trace.elpi │ │ ├── reductions.txt │ │ ├── test_31_1.txt │ │ ├── test_31_2.txt │ │ └── test_31_3.txt │ ├── macro_type.elpi │ ├── macro_type_err_pos.elpi │ ├── map.elpi │ ├── map_ho.elpi │ ├── map_list.elpi │ ├── map_list_opt.elpi │ ├── map_nooc.elpi │ ├── mk-evar-meta.elpi │ ├── mu.mod │ ├── mu.sig │ ├── name_builtin.elpi │ ├── named_clauses00.elpi │ ├── named_clauses01.elpi │ ├── named_clauses02.elpi │ ├── namespaces00.elpi │ ├── namespaces01.elpi │ ├── namespaces02.elpi │ ├── namespaces03.elpi │ ├── nil_cons.elpi │ ├── notation.elpi │ ├── notation_error.elpi │ ├── oc_eta.elpi │ ├── patternunif.elpi │ ├── patternunif2.elpi │ ├── pcf │ │ ├── README │ │ ├── control.mod │ │ ├── control.sig │ │ ├── eval.mod │ │ ├── eval.sig │ │ ├── eval_test.mod │ │ ├── eval_test.sig │ │ ├── examples.mod │ │ ├── examples.sig │ │ ├── mono_test.mod │ │ ├── mono_test.sig │ │ ├── monoinfer.mod │ │ ├── monoinfer.sig │ │ ├── monotypes.sig │ │ ├── pcf.mod │ │ ├── pcf.sig │ │ ├── poly_test.mod │ │ ├── poly_test.sig │ │ ├── polyinfer.mod │ │ ├── polyinfer.sig │ │ ├── polytypes.sig │ │ ├── refl_syntax.mod │ │ ├── refl_syntax.sig │ │ ├── tailrec.mod │ │ ├── tailrec.sig │ │ ├── tr_test.mod │ │ ├── tr_test.sig │ │ ├── unifytypes.mod │ │ └── unifytypes.sig │ ├── pi.elpi │ ├── pi3.elpi │ ├── pi5.elpi │ ├── pm.elpi │ ├── pnf.elpi │ ├── polymorphic_variants.elpi │ ├── printer.elpi │ ├── progs │ │ ├── README │ │ ├── curry_test.mod │ │ ├── curry_test.sig │ │ ├── curry_transform.mod │ │ ├── curry_transform.sig │ │ ├── eval.mod │ │ ├── eval.sig │ │ ├── eval_basic.mod │ │ ├── eval_basic.sig │ │ ├── eval_examples.mod │ │ ├── eval_examples.sig │ │ ├── fp_types.sig │ │ ├── fp_vocab.sig │ │ ├── general_tr.mod │ │ ├── general_tr.sig │ │ ├── progs.mod │ │ ├── progs.sig │ │ ├── progs1.mod │ │ ├── progs1.sig │ │ ├── progs2.mod │ │ ├── progs2.sig │ │ ├── progs3.mod │ │ ├── progs3.sig │ │ ├── progs4.mod │ │ ├── progs4.sig │ │ ├── refl_syntax.mod │ │ ├── refl_syntax.sig │ │ ├── script1 │ │ ├── script2 │ │ ├── script3 │ │ ├── script4 │ │ ├── terms.mod │ │ ├── terms.sig │ │ ├── tr1_test.mod │ │ ├── tr1_test.sig │ │ ├── tr2_test.mod │ │ ├── tr2_test.sig │ │ ├── tr_recognizer.mod │ │ └── tr_recognizer.sig │ ├── queens.elpi │ ├── queens.mod │ ├── queens.sig │ ├── quote_syntax.elpi │ ├── random.elpi │ ├── rb.elpi │ ├── rb_nooc.elpi │ ├── rb_nooc_safe.elpi │ ├── reduce_cbn.elpi │ ├── reduce_cbn.mod │ ├── reduce_cbn.sig │ ├── reduce_cbv.elpi │ ├── reduce_cbv.mod │ ├── reduce_cbv.sig │ ├── restriction.elpi │ ├── restriction3.elpi │ ├── restriction4.elpi │ ├── restriction5.elpi │ ├── restriction6.elpi │ ├── rev.elpi │ ├── rev14.elpi │ ├── rev14.mod │ ├── rev14.sig │ ├── same_term.elpi │ ├── self_assignment.elpi │ ├── sepcomp1.ml │ ├── sepcomp2.ml │ ├── sepcomp3.ml │ ├── sepcomp4.ml │ ├── sepcomp5.ml │ ├── sepcomp6.ml │ ├── sepcomp7.ml │ ├── sepcomp8.ml │ ├── sepcomp9.ml │ ├── sepcomp_extend_sig.ml │ ├── sepcomp_extend_sig2.ml │ ├── sepcomp_hover.ml │ ├── sepcomp_perf1.ml │ ├── sepcomp_perf2.ml │ ├── sepcomp_perf3.ml │ ├── sepcomp_perf4.ml │ ├── sepcomp_perf5.ml │ ├── sepcomp_template.ml │ ├── sepcomp_tyid.ml │ ├── sepcomp_tyid2.ml │ ├── set.elpi │ ├── set_ho.elpi │ ├── set_nooc.elpi │ ├── shorten.elpi │ ├── shorten2.elpi │ ├── shorten_aux.elpi │ ├── shorten_aux2.elpi │ ├── shorten_builtin.elpi │ ├── shorten_trie.elpi │ ├── spill-var.elpi │ ├── spill2.elpi │ ├── spill_and.elpi │ ├── spill_collision.elpi │ ├── spill_impl.elpi │ ├── spill_in_list.elpi │ ├── spill_lam.elpi │ ├── spill_or.elpi │ ├── spill_pi.elpi │ ├── spill_sigma.elpi │ ├── tc_ambiguous.elpi │ ├── toyml │ │ ├── ast.ml │ │ ├── dune.disabled │ │ ├── input │ │ ├── lexer.mll │ │ ├── output │ │ ├── parser.mly │ │ ├── pmap.ml │ │ ├── toyml.ml │ │ └── w.elpi │ ├── trace-w │ │ ├── hm.elpi │ │ └── main.elpi │ ├── trace.elab.json │ ├── trace.elpi │ ├── trace.json │ ├── trace2.elab.json │ ├── trace2.elpi │ ├── trace2.json │ ├── trace3.elab.json │ ├── trace3.elpi │ ├── trace3.json │ ├── trace4.elab.json │ ├── trace4.elpi │ ├── trace4.json │ ├── trace_chr.elab.json │ ├── trace_chr.elpi │ ├── trace_chr.json │ ├── trace_cut.elab.json │ ├── trace_cut.elpi │ ├── trace_cut.json │ ├── trace_findall.elab.json │ ├── trace_findall.elpi │ ├── trace_findall.json │ ├── trace_w.elab.json │ ├── trace_w.json │ ├── trail.elpi │ ├── trie.elpi │ ├── typeabbrv.elpi │ ├── typeabbrv1.elpi │ ├── typeabbrv10.elpi │ ├── typeabbrv11.elpi │ ├── typeabbrv12.elpi │ ├── typeabbrv13.elpi │ ├── typeabbrv14.elpi │ ├── typeabbrv15.elpi │ ├── typeabbrv2.elpi │ ├── typeabbrv3.elpi │ ├── typeabbrv4.elpi │ ├── typeabbrv5.elpi │ ├── typeabbrv6.elpi │ ├── typeabbrv7.elpi │ ├── typeabbrv8.elpi │ ├── typeabbrv9.elpi │ ├── uminus.elpi │ ├── unix.elpi │ ├── uvar_chr.elpi │ ├── var.elpi │ ├── variadic.elpi │ ├── variadic_declare_constraints.elpi │ ├── w.elpi │ ├── zebra.elpi │ ├── zebra.mod │ └── zebra.sig ├── suite │ ├── builtins.ml │ ├── correctness_FO.ml │ ├── correctness_HO.ml │ ├── dune │ ├── elpi_api.ml │ ├── elpi_api_performance.ml │ ├── elpi_specific.ml │ ├── performance_FO.ml │ ├── performance_HO.ml │ ├── suite.ml │ └── suite.mli ├── test.dummy.ml └── test.real.ml └── trace ├── ppx ├── dune ├── trace_ppx.ml └── version_parser.ml └── runtime ├── dune ├── runtime.ml └── runtime.mli /.gitattributes: -------------------------------------------------------------------------------- 1 | *.elpi linguist-language=prolog 2 | -------------------------------------------------------------------------------- /.github/workflows/doc.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/.github/workflows/doc.yml -------------------------------------------------------------------------------- /.github/workflows/main.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/.github/workflows/main.yml -------------------------------------------------------------------------------- /.github/workflows/users.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/.github/workflows/users.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/.gitignore -------------------------------------------------------------------------------- /.ocamlformat: -------------------------------------------------------------------------------- 1 | m = 120 2 | -------------------------------------------------------------------------------- /AUTHORS.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/AUTHORS.md -------------------------------------------------------------------------------- /CHANGES.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/CHANGES.md -------------------------------------------------------------------------------- /ELPI.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/ELPI.md -------------------------------------------------------------------------------- /INCOMPATIBILITIES.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/INCOMPATIBILITIES.md -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/README.md -------------------------------------------------------------------------------- /docs/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/docs/Makefile -------------------------------------------------------------------------------- /docs/base/a.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/docs/base/a.elpi -------------------------------------------------------------------------------- /docs/base/about.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/docs/base/about.rst -------------------------------------------------------------------------------- /docs/base/conf.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/docs/base/conf.py -------------------------------------------------------------------------------- /docs/base/index.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/docs/base/index.rst -------------------------------------------------------------------------------- /docs/base/playground.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/docs/base/playground.rst -------------------------------------------------------------------------------- /docs/engine/engine.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/docs/engine/engine.py -------------------------------------------------------------------------------- /dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/dune -------------------------------------------------------------------------------- /dune-project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/dune-project -------------------------------------------------------------------------------- /elpi.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/elpi.opam -------------------------------------------------------------------------------- /elpi_REPL.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/elpi_REPL.ml -------------------------------------------------------------------------------- /src/API.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/src/API.ml -------------------------------------------------------------------------------- /src/API.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/src/API.mli -------------------------------------------------------------------------------- /src/builtin.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/src/builtin.elpi -------------------------------------------------------------------------------- /src/builtin.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/src/builtin.ml -------------------------------------------------------------------------------- /src/builtin.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/src/builtin.mli -------------------------------------------------------------------------------- /src/builtin_map.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/src/builtin_map.elpi -------------------------------------------------------------------------------- /src/builtin_set.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/src/builtin_set.elpi -------------------------------------------------------------------------------- /src/builtin_stdlib.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/src/builtin_stdlib.elpi -------------------------------------------------------------------------------- /src/compiler/compiler.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/src/compiler/compiler.ml -------------------------------------------------------------------------------- /src/compiler/compiler.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/src/compiler/compiler.mli -------------------------------------------------------------------------------- /src/compiler/compiler_data.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/src/compiler/compiler_data.ml -------------------------------------------------------------------------------- /src/compiler/determinacy_checker.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/src/compiler/determinacy_checker.ml -------------------------------------------------------------------------------- /src/compiler/determinacy_checker.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/src/compiler/determinacy_checker.mli -------------------------------------------------------------------------------- /src/compiler/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/src/compiler/dune -------------------------------------------------------------------------------- /src/compiler/spilling.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/src/compiler/spilling.ml -------------------------------------------------------------------------------- /src/compiler/spilling.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/src/compiler/spilling.mli -------------------------------------------------------------------------------- /src/compiler/test_compiler_data.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/src/compiler/test_compiler_data.ml -------------------------------------------------------------------------------- /src/compiler/test_type_checker.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/src/compiler/test_type_checker.ml -------------------------------------------------------------------------------- /src/compiler/test_union_find.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/src/compiler/test_union_find.ml -------------------------------------------------------------------------------- /src/compiler/type_checker.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/src/compiler/type_checker.ml -------------------------------------------------------------------------------- /src/compiler/type_checker.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/src/compiler/type_checker.mli -------------------------------------------------------------------------------- /src/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/src/dune -------------------------------------------------------------------------------- /src/dune.config: -------------------------------------------------------------------------------- 1 | (dirs :standard \ legacy_parser) 2 | -------------------------------------------------------------------------------- /src/elpi_trace_elaborator.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/src/elpi_trace_elaborator.ml -------------------------------------------------------------------------------- /src/parser/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/src/parser/README.md -------------------------------------------------------------------------------- /src/parser/ast.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/src/parser/ast.ml -------------------------------------------------------------------------------- /src/parser/ast.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/src/parser/ast.mli -------------------------------------------------------------------------------- /src/parser/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/src/parser/dune -------------------------------------------------------------------------------- /src/parser/error_messages.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/src/parser/error_messages.txt -------------------------------------------------------------------------------- /src/parser/gen_infix_lexer.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/src/parser/gen_infix_lexer.ml -------------------------------------------------------------------------------- /src/parser/gen_token_precedence.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/src/parser/gen_token_precedence.ml -------------------------------------------------------------------------------- /src/parser/grammar.mly: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/src/parser/grammar.mly -------------------------------------------------------------------------------- /src/parser/lexer.mll.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/src/parser/lexer.mll.in -------------------------------------------------------------------------------- /src/parser/lexer_config.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/src/parser/lexer_config.ml -------------------------------------------------------------------------------- /src/parser/parse.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/src/parser/parse.ml -------------------------------------------------------------------------------- /src/parser/parse.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/src/parser/parse.mli -------------------------------------------------------------------------------- /src/parser/parser_config.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/src/parser/parser_config.ml -------------------------------------------------------------------------------- /src/parser/test_lexer.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/src/parser/test_lexer.ml -------------------------------------------------------------------------------- /src/parser/test_parser.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/src/parser/test_parser.ml -------------------------------------------------------------------------------- /src/parser/token_precedence.mly: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/src/parser/token_precedence.mly -------------------------------------------------------------------------------- /src/parser/tokens.mly: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/src/parser/tokens.mly -------------------------------------------------------------------------------- /src/runtime/bl.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/src/runtime/bl.ml -------------------------------------------------------------------------------- /src/runtime/bl.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/src/runtime/bl.mli -------------------------------------------------------------------------------- /src/runtime/data.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/src/runtime/data.ml -------------------------------------------------------------------------------- /src/runtime/discrimination_tree.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/src/runtime/discrimination_tree.ml -------------------------------------------------------------------------------- /src/runtime/discrimination_tree.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/src/runtime/discrimination_tree.mli -------------------------------------------------------------------------------- /src/runtime/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/src/runtime/dune -------------------------------------------------------------------------------- /src/runtime/ptmap.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/src/runtime/ptmap.ml -------------------------------------------------------------------------------- /src/runtime/ptmap.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/src/runtime/ptmap.mli -------------------------------------------------------------------------------- /src/runtime/runtime.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/src/runtime/runtime.ml -------------------------------------------------------------------------------- /src/runtime/runtime.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/src/runtime/runtime.mli -------------------------------------------------------------------------------- /src/runtime/runtime_trace_off.ml: -------------------------------------------------------------------------------- 1 | runtime.ml -------------------------------------------------------------------------------- /src/runtime/runtime_trace_off.mli: -------------------------------------------------------------------------------- 1 | runtime.mli -------------------------------------------------------------------------------- /src/runtime/test_bl.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/src/runtime/test_bl.ml -------------------------------------------------------------------------------- /src/runtime/test_discrimination_tree.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/src/runtime/test_discrimination_tree.ml -------------------------------------------------------------------------------- /src/runtime/test_lex.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/src/runtime/test_lex.ml -------------------------------------------------------------------------------- /src/trace.atd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/src/trace.atd -------------------------------------------------------------------------------- /src/trace_atd.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/src/trace_atd.ts -------------------------------------------------------------------------------- /src/utils/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/src/utils/dune -------------------------------------------------------------------------------- /src/utils/union_find.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/src/utils/union_find.ml -------------------------------------------------------------------------------- /src/utils/union_find.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/src/utils/union_find.mli -------------------------------------------------------------------------------- /src/utils/util.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/src/utils/util.ml -------------------------------------------------------------------------------- /src/utils/util.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/src/utils/util.mli -------------------------------------------------------------------------------- /tests/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/dune -------------------------------------------------------------------------------- /tests/dune-project: -------------------------------------------------------------------------------- 1 | (lang dune 2.0) 2 | -------------------------------------------------------------------------------- /tests/plot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/plot -------------------------------------------------------------------------------- /tests/sources/GH_issue_19.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/GH_issue_19.elpi -------------------------------------------------------------------------------- /tests/sources/accumulate_twice1.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/accumulate_twice1.elpi -------------------------------------------------------------------------------- /tests/sources/accumulate_twice2.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/accumulate_twice2.elpi -------------------------------------------------------------------------------- /tests/sources/accumulated.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/accumulated.elpi -------------------------------------------------------------------------------- /tests/sources/ackermann.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/ackermann.elpi -------------------------------------------------------------------------------- /tests/sources/asclause.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/asclause.elpi -------------------------------------------------------------------------------- /tests/sources/bad_index.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/bad_index.elpi -------------------------------------------------------------------------------- /tests/sources/beta.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/beta.elpi -------------------------------------------------------------------------------- /tests/sources/block.elpi: -------------------------------------------------------------------------------- 1 | namespace xxx { 2 | foo. 3 | -------------------------------------------------------------------------------- /tests/sources/broken_trace1.elab.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/broken_trace1.elab.json -------------------------------------------------------------------------------- /tests/sources/broken_trace1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/broken_trace1.json -------------------------------------------------------------------------------- /tests/sources/broken_trace2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/broken_trace2.json -------------------------------------------------------------------------------- /tests/sources/bug-256.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/bug-256.elpi -------------------------------------------------------------------------------- /tests/sources/bug_226.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/bug_226.elpi -------------------------------------------------------------------------------- /tests/sources/chr-scope-change-failure.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/chr-scope-change-failure.elpi -------------------------------------------------------------------------------- /tests/sources/chr-scope-change.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/chr-scope-change.elpi -------------------------------------------------------------------------------- /tests/sources/chr-scope.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/chr-scope.elpi -------------------------------------------------------------------------------- /tests/sources/chr.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/chr.elpi -------------------------------------------------------------------------------- /tests/sources/chrGCD.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/chrGCD.elpi -------------------------------------------------------------------------------- /tests/sources/chrLEQ.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/chrLEQ.elpi -------------------------------------------------------------------------------- /tests/sources/chr_cut.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/chr_cut.elpi -------------------------------------------------------------------------------- /tests/sources/chr_nokey.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/chr_nokey.elpi -------------------------------------------------------------------------------- /tests/sources/chr_nokey2.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/chr_nokey2.elpi -------------------------------------------------------------------------------- /tests/sources/chr_not_clique.elpi: -------------------------------------------------------------------------------- 1 | constraint a { 2 | 3 | rule b. 4 | 5 | } -------------------------------------------------------------------------------- /tests/sources/chr_sem.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/chr_sem.elpi -------------------------------------------------------------------------------- /tests/sources/chr_with_hypotheses.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/chr_with_hypotheses.elpi -------------------------------------------------------------------------------- /tests/sources/conj2.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/conj2.elpi -------------------------------------------------------------------------------- /tests/sources/crypt.mod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/crypt.mod -------------------------------------------------------------------------------- /tests/sources/crypt.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/crypt.sig -------------------------------------------------------------------------------- /tests/sources/ctx_loading.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/ctx_loading.elpi -------------------------------------------------------------------------------- /tests/sources/cut.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/cut.elpi -------------------------------------------------------------------------------- /tests/sources/cut2.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/cut2.elpi -------------------------------------------------------------------------------- /tests/sources/cut3.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/cut3.elpi -------------------------------------------------------------------------------- /tests/sources/cut4.elpi: -------------------------------------------------------------------------------- 1 | % Test: main. Should not fail. 2 | 3 | main :- !. 4 | -------------------------------------------------------------------------------- /tests/sources/cut5.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/cut5.elpi -------------------------------------------------------------------------------- /tests/sources/cut6.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/cut6.elpi -------------------------------------------------------------------------------- /tests/sources/deep_indexing.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/deep_indexing.elpi -------------------------------------------------------------------------------- /tests/sources/discard.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/discard.elpi -------------------------------------------------------------------------------- /tests/sources/dt.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/dt.elpi -------------------------------------------------------------------------------- /tests/sources/dt1.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/dt1.elpi -------------------------------------------------------------------------------- /tests/sources/dt_bench.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/dt_bench.elpi -------------------------------------------------------------------------------- /tests/sources/dt_bug272.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/dt_bug272.elpi -------------------------------------------------------------------------------- /tests/sources/dt_bug323.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/dt_bug323.elpi -------------------------------------------------------------------------------- /tests/sources/dt_empty_list.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/dt_empty_list.elpi -------------------------------------------------------------------------------- /tests/sources/dt_empty_list.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/dt_empty_list.log -------------------------------------------------------------------------------- /tests/sources/dt_inst_compiler.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/dt_inst_compiler.elpi -------------------------------------------------------------------------------- /tests/sources/dt_max_depths.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/dt_max_depths.elpi -------------------------------------------------------------------------------- /tests/sources/dt_max_depths.log: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/dt_max_depths.log -------------------------------------------------------------------------------- /tests/sources/dt_multiparam1.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/dt_multiparam1.elpi -------------------------------------------------------------------------------- /tests/sources/dt_multiparam2.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/dt_multiparam2.elpi -------------------------------------------------------------------------------- /tests/sources/dt_multiparam3.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/dt_multiparam3.elpi -------------------------------------------------------------------------------- /tests/sources/dt_multivar.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/dt_multivar.elpi -------------------------------------------------------------------------------- /tests/sources/dt_multivar_long_list.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/dt_multivar_long_list.elpi -------------------------------------------------------------------------------- /tests/sources/dt_off.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/dt_off.elpi -------------------------------------------------------------------------------- /tests/sources/dt_order.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/dt_order.elpi -------------------------------------------------------------------------------- /tests/sources/dt_var.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/dt_var.elpi -------------------------------------------------------------------------------- /tests/sources/dt_var2.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/dt_var2.elpi -------------------------------------------------------------------------------- /tests/sources/dt_var3.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/dt_var3.elpi -------------------------------------------------------------------------------- /tests/sources/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/dune -------------------------------------------------------------------------------- /tests/sources/dupta.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/dupta.elpi -------------------------------------------------------------------------------- /tests/sources/dupta2.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/dupta2.elpi -------------------------------------------------------------------------------- /tests/sources/elpi_only_llam.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/elpi_only_llam.elpi -------------------------------------------------------------------------------- /tests/sources/end_comment.elpi: -------------------------------------------------------------------------------- 1 | main. 2 | % foo -------------------------------------------------------------------------------- /tests/sources/eta.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/eta.elpi -------------------------------------------------------------------------------- /tests/sources/eta_as.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/eta_as.elpi -------------------------------------------------------------------------------- /tests/sources/eta_oc.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/eta_oc.elpi -------------------------------------------------------------------------------- /tests/sources/even-odd.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/even-odd.elpi -------------------------------------------------------------------------------- /tests/sources/fast_mu.mod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/fast_mu.mod -------------------------------------------------------------------------------- /tests/sources/fast_mu.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/fast_mu.sig -------------------------------------------------------------------------------- /tests/sources/findall.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/findall.elpi -------------------------------------------------------------------------------- /tests/sources/findall_csts.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/findall_csts.elpi -------------------------------------------------------------------------------- /tests/sources/fragment_exit.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/fragment_exit.elpi -------------------------------------------------------------------------------- /tests/sources/fragment_exit2.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/fragment_exit2.elpi -------------------------------------------------------------------------------- /tests/sources/fragment_exit3.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/fragment_exit3.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/.gitignore -------------------------------------------------------------------------------- /tests/sources/functionality/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/README.md -------------------------------------------------------------------------------- /tests/sources/functionality/heads/heads01.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/heads/heads01.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/heads/heads02.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/heads/heads02.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/heads/heads03.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/heads/heads03.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/heads/heads04.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/heads/heads04.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/heads/heads05.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/heads/heads05.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/heads/heads06.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/heads/heads06.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/heads/heads07.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/heads/heads07.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/heads/heads08.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/heads/heads08.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/heads/heads09_TODO.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/heads/heads09_TODO.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/meals.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/meals.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test1.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test1.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test1.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test1.m -------------------------------------------------------------------------------- /tests/sources/functionality/test10.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test10.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test100.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test100.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test101.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test101.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test102.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test102.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test103.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test103.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test104.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test104.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test105.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test105.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test106.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test106.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test107.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test107.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test108.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test108.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test109.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test109.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test11.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test11.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test110.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test110.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test111.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test111.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test112.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test112.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test113.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test113.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test114.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test114.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test115.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test115.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test116.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test116.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test117.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test117.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test118.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test118.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test119.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test119.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test12.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test12.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test13.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test13.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test14.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test14.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test15.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test15.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test16.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test16.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test16.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test16.m -------------------------------------------------------------------------------- /tests/sources/functionality/test17.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test17.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test18.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test18.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test18.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test18.m -------------------------------------------------------------------------------- /tests/sources/functionality/test19.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test19.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test2.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test2.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test2.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test2.m -------------------------------------------------------------------------------- /tests/sources/functionality/test20.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test20.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test21.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test21.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test22.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test22.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test22.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test22.m -------------------------------------------------------------------------------- /tests/sources/functionality/test23.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test23.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test24.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test24.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test24.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test24.m -------------------------------------------------------------------------------- /tests/sources/functionality/test25.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test25.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test26.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test26.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test27.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test27.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test28.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test28.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test29.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test29.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test29.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test29.m -------------------------------------------------------------------------------- /tests/sources/functionality/test3.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test3.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test30.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test30.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test30.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test30.m -------------------------------------------------------------------------------- /tests/sources/functionality/test31.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test31.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test32.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test32.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test33.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test33.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test34.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test34.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test35.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test35.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test36.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test36.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test37.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test37.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test38.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test38.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test39.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test39.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test3_1.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test3_1.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test4.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test4.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test40.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test40.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test41.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test41.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test42.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test42.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test43.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test43.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test44.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test44.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test45.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test45.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test46.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test46.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test47.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test47.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test48.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test48.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test49.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test49.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test5.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test5.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test5.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test5.m -------------------------------------------------------------------------------- /tests/sources/functionality/test50.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test50.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test51.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test51.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test52.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test52.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test52.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test52.m -------------------------------------------------------------------------------- /tests/sources/functionality/test53.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test53.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test54.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test54.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test55.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test55.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test56.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test56.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test57.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test57.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test58.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test58.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test59.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test59.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test6.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test6.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test60.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test60.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test61.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test61.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test62.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test62.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test63.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test63.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test64.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test64.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test65.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test65.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test66.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test66.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test67.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test67.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test68.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test68.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test69.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test69.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test7.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test7.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test70.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test70.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test71.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test71.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test72.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test72.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test73.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test73.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test74.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test74.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test75.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test75.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test76.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test76.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test77.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test77.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test78.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test78.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test79.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test79.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test8.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test8.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test80.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test80.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test81.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test81.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test82.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test82.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test83.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test83.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test84.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test84.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test85.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test85.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test86.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test86.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test87.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test87.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test88.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test88.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test89.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test89.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test9.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test9.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test90.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test90.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test91.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test91.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test92.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test92.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test93.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test93.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test94.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test94.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test95.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test95.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test96.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test96.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test97.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test97.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test98.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test98.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/test99.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/test99.elpi -------------------------------------------------------------------------------- /tests/sources/functionality/various.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/functionality/various.m -------------------------------------------------------------------------------- /tests/sources/general_case.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/general_case.elpi -------------------------------------------------------------------------------- /tests/sources/general_case2.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/general_case2.elpi -------------------------------------------------------------------------------- /tests/sources/general_case3.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/general_case3.elpi -------------------------------------------------------------------------------- /tests/sources/graft_before.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/graft_before.elpi -------------------------------------------------------------------------------- /tests/sources/graft_before_same.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/graft_before_same.elpi -------------------------------------------------------------------------------- /tests/sources/graft_remove.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/graft_remove.elpi -------------------------------------------------------------------------------- /tests/sources/graft_replace_err.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/graft_replace_err.elpi -------------------------------------------------------------------------------- /tests/sources/graft_replace_ok.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/graft_replace_ok.elpi -------------------------------------------------------------------------------- /tests/sources/hc_interp.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/hc_interp.elpi -------------------------------------------------------------------------------- /tests/sources/hdclause.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/hdclause.elpi -------------------------------------------------------------------------------- /tests/sources/heap_discard.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/heap_discard.elpi -------------------------------------------------------------------------------- /tests/sources/heap_discard3.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/heap_discard3.elpi -------------------------------------------------------------------------------- /tests/sources/helena_elpi/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/helena_elpi/Makefile -------------------------------------------------------------------------------- /tests/sources/helena_elpi/grundlagen.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/helena_elpi/grundlagen.txt -------------------------------------------------------------------------------- /tests/sources/helena_elpi/grundlagen_2b_ld3.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/helena_elpi/grundlagen_2b_ld3.elpi -------------------------------------------------------------------------------- /tests/sources/helena_elpi/grundlagen_types.elpi: -------------------------------------------------------------------------------- 1 | ../ld-3C/grundlagen_types.elpi -------------------------------------------------------------------------------- /tests/sources/helena_elpi/helena.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/helena_elpi/helena.elpi -------------------------------------------------------------------------------- /tests/sources/helena_elpi/lambdadelta.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/helena_elpi/lambdadelta.elpi -------------------------------------------------------------------------------- /tests/sources/helena_elpi/ld3_engine.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/helena_elpi/ld3_engine.elpi -------------------------------------------------------------------------------- /tests/sources/helena_elpi/test_31_2nd.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/helena_elpi/test_31_2nd.txt -------------------------------------------------------------------------------- /tests/sources/hilbert/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/hilbert/README -------------------------------------------------------------------------------- /tests/sources/hilbert/hilbert.mod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/hilbert/hilbert.mod -------------------------------------------------------------------------------- /tests/sources/hilbert/hilbert.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/hilbert/hilbert.sig -------------------------------------------------------------------------------- /tests/sources/hilbert2/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/hilbert2/README -------------------------------------------------------------------------------- /tests/sources/hilbert2/hilbert2.mod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/hilbert2/hilbert2.mod -------------------------------------------------------------------------------- /tests/sources/hilbert2/hilbert2.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/hilbert2/hilbert2.sig -------------------------------------------------------------------------------- /tests/sources/ho.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/ho.elpi -------------------------------------------------------------------------------- /tests/sources/hollight.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/hollight.elpi -------------------------------------------------------------------------------- /tests/sources/holp/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/holp/README -------------------------------------------------------------------------------- /tests/sources/holp/hc_interp.mod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/holp/hc_interp.mod -------------------------------------------------------------------------------- /tests/sources/holp/hc_interp.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/holp/hc_interp.sig -------------------------------------------------------------------------------- /tests/sources/holp/hc_syntax.mod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/holp/hc_syntax.mod -------------------------------------------------------------------------------- /tests/sources/holp/hc_syntax.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/holp/hc_syntax.sig -------------------------------------------------------------------------------- /tests/sources/holp/hcinterp_examples.mod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/holp/hcinterp_examples.mod -------------------------------------------------------------------------------- /tests/sources/holp/hcinterp_examples.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/holp/hcinterp_examples.sig -------------------------------------------------------------------------------- /tests/sources/holp/hcsyntax_examples.mod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/holp/hcsyntax_examples.mod -------------------------------------------------------------------------------- /tests/sources/holp/hcsyntax_examples.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/holp/hcsyntax_examples.sig -------------------------------------------------------------------------------- /tests/sources/holp/lists.mod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/holp/lists.mod -------------------------------------------------------------------------------- /tests/sources/holp/lists.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/holp/lists.sig -------------------------------------------------------------------------------- /tests/sources/holp/logic_basic.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/holp/logic_basic.sig -------------------------------------------------------------------------------- /tests/sources/holp/logic_types.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/holp/logic_types.sig -------------------------------------------------------------------------------- /tests/sources/holp/logic_vocab.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/holp/logic_vocab.sig -------------------------------------------------------------------------------- /tests/sources/holp/main.mod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/holp/main.mod -------------------------------------------------------------------------------- /tests/sources/holp/main.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/holp/main.sig -------------------------------------------------------------------------------- /tests/sources/holp/pnf.mod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/holp/pnf.mod -------------------------------------------------------------------------------- /tests/sources/holp/pnf.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/holp/pnf.sig -------------------------------------------------------------------------------- /tests/sources/holp/pnf_examples.mod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/holp/pnf_examples.mod -------------------------------------------------------------------------------- /tests/sources/holp/pnf_examples.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/holp/pnf_examples.sig -------------------------------------------------------------------------------- /tests/sources/holp/refl_syntax.mod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/holp/refl_syntax.mod -------------------------------------------------------------------------------- /tests/sources/holp/refl_syntax.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/holp/refl_syntax.sig -------------------------------------------------------------------------------- /tests/sources/hyp_uvar.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/hyp_uvar.elpi -------------------------------------------------------------------------------- /tests/sources/ifdef.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/ifdef.elpi -------------------------------------------------------------------------------- /tests/sources/impl.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/impl.elpi -------------------------------------------------------------------------------- /tests/sources/impl2.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/impl2.elpi -------------------------------------------------------------------------------- /tests/sources/impl_prec.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/impl_prec.elpi -------------------------------------------------------------------------------- /tests/sources/impl_prec_ok.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/impl_prec_ok.elpi -------------------------------------------------------------------------------- /tests/sources/implbang.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/implbang.elpi -------------------------------------------------------------------------------- /tests/sources/index2.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/index2.elpi -------------------------------------------------------------------------------- /tests/sources/io_colon.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/io_colon.elpi -------------------------------------------------------------------------------- /tests/sources/is.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/is.elpi -------------------------------------------------------------------------------- /tests/sources/lambda.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/lambda.elpi -------------------------------------------------------------------------------- /tests/sources/lambda2.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/lambda2.elpi -------------------------------------------------------------------------------- /tests/sources/lambda3.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/lambda3.elpi -------------------------------------------------------------------------------- /tests/sources/lambda3.mod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/lambda3.mod -------------------------------------------------------------------------------- /tests/sources/lambda3.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/lambda3.sig -------------------------------------------------------------------------------- /tests/sources/lambda4.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/lambda4.elpi -------------------------------------------------------------------------------- /tests/sources/lambda5.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/lambda5.elpi -------------------------------------------------------------------------------- /tests/sources/lambda6.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/lambda6.elpi -------------------------------------------------------------------------------- /tests/sources/ld-3C/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/ld-3C/Makefile -------------------------------------------------------------------------------- /tests/sources/ld-3C/grundlagen_2b_ld3.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/ld-3C/grundlagen_2b_ld3.elpi -------------------------------------------------------------------------------- /tests/sources/ld-3C/grundlagen_pars.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/ld-3C/grundlagen_pars.elpi -------------------------------------------------------------------------------- /tests/sources/ld-3C/grundlagen_types.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/ld-3C/grundlagen_types.elpi -------------------------------------------------------------------------------- /tests/sources/ld-3C/ld3c_engine.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/ld-3C/ld3c_engine.elpi -------------------------------------------------------------------------------- /tests/sources/ld-3C/ld3c_global.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/ld-3C/ld3c_global.elpi -------------------------------------------------------------------------------- /tests/sources/ld-3C/ld3c_kernel.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/ld-3C/ld3c_kernel.elpi -------------------------------------------------------------------------------- /tests/sources/ld-3C/ld3c_kernel_0.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/ld-3C/ld3c_kernel_0.elpi -------------------------------------------------------------------------------- /tests/sources/ld-3C/ld3c_kernel_1.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/ld-3C/ld3c_kernel_1.elpi -------------------------------------------------------------------------------- /tests/sources/ld-3C/ld3c_trace.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/ld-3C/ld3c_trace.elpi -------------------------------------------------------------------------------- /tests/sources/ld-3C/ld3c_types.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/ld-3C/ld3c_types.elpi -------------------------------------------------------------------------------- /tests/sources/ld-3C/reductions.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/ld-3C/reductions.tex -------------------------------------------------------------------------------- /tests/sources/linear.elpi: -------------------------------------------------------------------------------- 1 | main :- 2 | X = Foo_Bar. -------------------------------------------------------------------------------- /tests/sources/list_as_conj.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/list_as_conj.elpi -------------------------------------------------------------------------------- /tests/sources/list_comma.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/list_comma.elpi -------------------------------------------------------------------------------- /tests/sources/llam.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/llam.elpi -------------------------------------------------------------------------------- /tests/sources/llam.mod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/llam.mod -------------------------------------------------------------------------------- /tests/sources/llam.sig: -------------------------------------------------------------------------------- 1 | sig llam. 2 | 3 | type main o. 4 | -------------------------------------------------------------------------------- /tests/sources/llamchr.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/llamchr.elpi -------------------------------------------------------------------------------- /tests/sources/lyp/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/lyp/Makefile -------------------------------------------------------------------------------- /tests/sources/lyp/grundlagen_2b_lyp.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/lyp/grundlagen_2b_lyp.elpi -------------------------------------------------------------------------------- /tests/sources/lyp/lyp_engine.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/lyp/lyp_engine.elpi -------------------------------------------------------------------------------- /tests/sources/lyp/lyp_global.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/lyp/lyp_global.elpi -------------------------------------------------------------------------------- /tests/sources/lyp/lyp_machine.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/lyp/lyp_machine.elpi -------------------------------------------------------------------------------- /tests/sources/lyp/lyp_trace.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/lyp/lyp_trace.elpi -------------------------------------------------------------------------------- /tests/sources/lyp/reductions.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/lyp/reductions.txt -------------------------------------------------------------------------------- /tests/sources/lyp/test_31_1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/lyp/test_31_1.txt -------------------------------------------------------------------------------- /tests/sources/lyp/test_31_2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/lyp/test_31_2.txt -------------------------------------------------------------------------------- /tests/sources/lyp/test_31_3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/lyp/test_31_3.txt -------------------------------------------------------------------------------- /tests/sources/macro_type.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/macro_type.elpi -------------------------------------------------------------------------------- /tests/sources/macro_type_err_pos.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/macro_type_err_pos.elpi -------------------------------------------------------------------------------- /tests/sources/map.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/map.elpi -------------------------------------------------------------------------------- /tests/sources/map_ho.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/map_ho.elpi -------------------------------------------------------------------------------- /tests/sources/map_list.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/map_list.elpi -------------------------------------------------------------------------------- /tests/sources/map_list_opt.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/map_list_opt.elpi -------------------------------------------------------------------------------- /tests/sources/map_nooc.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/map_nooc.elpi -------------------------------------------------------------------------------- /tests/sources/mk-evar-meta.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/mk-evar-meta.elpi -------------------------------------------------------------------------------- /tests/sources/mu.mod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/mu.mod -------------------------------------------------------------------------------- /tests/sources/mu.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/mu.sig -------------------------------------------------------------------------------- /tests/sources/name_builtin.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/name_builtin.elpi -------------------------------------------------------------------------------- /tests/sources/named_clauses00.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/named_clauses00.elpi -------------------------------------------------------------------------------- /tests/sources/named_clauses01.elpi: -------------------------------------------------------------------------------- 1 | pred c1. 2 | 3 | :before "c" 4 | c1 5 | 6 | main. 7 | -------------------------------------------------------------------------------- /tests/sources/named_clauses02.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/named_clauses02.elpi -------------------------------------------------------------------------------- /tests/sources/namespaces00.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/namespaces00.elpi -------------------------------------------------------------------------------- /tests/sources/namespaces01.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/namespaces01.elpi -------------------------------------------------------------------------------- /tests/sources/namespaces02.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/namespaces02.elpi -------------------------------------------------------------------------------- /tests/sources/namespaces03.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/namespaces03.elpi -------------------------------------------------------------------------------- /tests/sources/nil_cons.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/nil_cons.elpi -------------------------------------------------------------------------------- /tests/sources/notation.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/notation.elpi -------------------------------------------------------------------------------- /tests/sources/notation_error.elpi: -------------------------------------------------------------------------------- 1 | infix foo 1. -------------------------------------------------------------------------------- /tests/sources/oc_eta.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/oc_eta.elpi -------------------------------------------------------------------------------- /tests/sources/patternunif.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/patternunif.elpi -------------------------------------------------------------------------------- /tests/sources/patternunif2.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/patternunif2.elpi -------------------------------------------------------------------------------- /tests/sources/pcf/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/pcf/README -------------------------------------------------------------------------------- /tests/sources/pcf/control.mod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/pcf/control.mod -------------------------------------------------------------------------------- /tests/sources/pcf/control.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/pcf/control.sig -------------------------------------------------------------------------------- /tests/sources/pcf/eval.mod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/pcf/eval.mod -------------------------------------------------------------------------------- /tests/sources/pcf/eval.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/pcf/eval.sig -------------------------------------------------------------------------------- /tests/sources/pcf/eval_test.mod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/pcf/eval_test.mod -------------------------------------------------------------------------------- /tests/sources/pcf/eval_test.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/pcf/eval_test.sig -------------------------------------------------------------------------------- /tests/sources/pcf/examples.mod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/pcf/examples.mod -------------------------------------------------------------------------------- /tests/sources/pcf/examples.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/pcf/examples.sig -------------------------------------------------------------------------------- /tests/sources/pcf/mono_test.mod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/pcf/mono_test.mod -------------------------------------------------------------------------------- /tests/sources/pcf/mono_test.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/pcf/mono_test.sig -------------------------------------------------------------------------------- /tests/sources/pcf/monoinfer.mod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/pcf/monoinfer.mod -------------------------------------------------------------------------------- /tests/sources/pcf/monoinfer.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/pcf/monoinfer.sig -------------------------------------------------------------------------------- /tests/sources/pcf/monotypes.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/pcf/monotypes.sig -------------------------------------------------------------------------------- /tests/sources/pcf/pcf.mod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/pcf/pcf.mod -------------------------------------------------------------------------------- /tests/sources/pcf/pcf.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/pcf/pcf.sig -------------------------------------------------------------------------------- /tests/sources/pcf/poly_test.mod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/pcf/poly_test.mod -------------------------------------------------------------------------------- /tests/sources/pcf/poly_test.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/pcf/poly_test.sig -------------------------------------------------------------------------------- /tests/sources/pcf/polyinfer.mod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/pcf/polyinfer.mod -------------------------------------------------------------------------------- /tests/sources/pcf/polyinfer.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/pcf/polyinfer.sig -------------------------------------------------------------------------------- /tests/sources/pcf/polytypes.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/pcf/polytypes.sig -------------------------------------------------------------------------------- /tests/sources/pcf/refl_syntax.mod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/pcf/refl_syntax.mod -------------------------------------------------------------------------------- /tests/sources/pcf/refl_syntax.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/pcf/refl_syntax.sig -------------------------------------------------------------------------------- /tests/sources/pcf/tailrec.mod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/pcf/tailrec.mod -------------------------------------------------------------------------------- /tests/sources/pcf/tailrec.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/pcf/tailrec.sig -------------------------------------------------------------------------------- /tests/sources/pcf/tr_test.mod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/pcf/tr_test.mod -------------------------------------------------------------------------------- /tests/sources/pcf/tr_test.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/pcf/tr_test.sig -------------------------------------------------------------------------------- /tests/sources/pcf/unifytypes.mod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/pcf/unifytypes.mod -------------------------------------------------------------------------------- /tests/sources/pcf/unifytypes.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/pcf/unifytypes.sig -------------------------------------------------------------------------------- /tests/sources/pi.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/pi.elpi -------------------------------------------------------------------------------- /tests/sources/pi3.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/pi3.elpi -------------------------------------------------------------------------------- /tests/sources/pi5.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/pi5.elpi -------------------------------------------------------------------------------- /tests/sources/pm.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/pm.elpi -------------------------------------------------------------------------------- /tests/sources/pnf.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/pnf.elpi -------------------------------------------------------------------------------- /tests/sources/polymorphic_variants.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/polymorphic_variants.elpi -------------------------------------------------------------------------------- /tests/sources/printer.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/printer.elpi -------------------------------------------------------------------------------- /tests/sources/progs/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/progs/README -------------------------------------------------------------------------------- /tests/sources/progs/curry_test.mod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/progs/curry_test.mod -------------------------------------------------------------------------------- /tests/sources/progs/curry_test.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/progs/curry_test.sig -------------------------------------------------------------------------------- /tests/sources/progs/curry_transform.mod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/progs/curry_transform.mod -------------------------------------------------------------------------------- /tests/sources/progs/curry_transform.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/progs/curry_transform.sig -------------------------------------------------------------------------------- /tests/sources/progs/eval.mod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/progs/eval.mod -------------------------------------------------------------------------------- /tests/sources/progs/eval.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/progs/eval.sig -------------------------------------------------------------------------------- /tests/sources/progs/eval_basic.mod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/progs/eval_basic.mod -------------------------------------------------------------------------------- /tests/sources/progs/eval_basic.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/progs/eval_basic.sig -------------------------------------------------------------------------------- /tests/sources/progs/eval_examples.mod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/progs/eval_examples.mod -------------------------------------------------------------------------------- /tests/sources/progs/eval_examples.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/progs/eval_examples.sig -------------------------------------------------------------------------------- /tests/sources/progs/fp_types.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/progs/fp_types.sig -------------------------------------------------------------------------------- /tests/sources/progs/fp_vocab.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/progs/fp_vocab.sig -------------------------------------------------------------------------------- /tests/sources/progs/general_tr.mod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/progs/general_tr.mod -------------------------------------------------------------------------------- /tests/sources/progs/general_tr.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/progs/general_tr.sig -------------------------------------------------------------------------------- /tests/sources/progs/progs.mod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/progs/progs.mod -------------------------------------------------------------------------------- /tests/sources/progs/progs.sig: -------------------------------------------------------------------------------- 1 | sig progs. 2 | 3 | type main o. 4 | -------------------------------------------------------------------------------- /tests/sources/progs/progs1.mod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/progs/progs1.mod -------------------------------------------------------------------------------- /tests/sources/progs/progs1.sig: -------------------------------------------------------------------------------- 1 | sig progs1. 2 | 3 | type main1 o. 4 | -------------------------------------------------------------------------------- /tests/sources/progs/progs2.mod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/progs/progs2.mod -------------------------------------------------------------------------------- /tests/sources/progs/progs2.sig: -------------------------------------------------------------------------------- 1 | sig progs2. 2 | 3 | type main2 o. 4 | -------------------------------------------------------------------------------- /tests/sources/progs/progs3.mod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/progs/progs3.mod -------------------------------------------------------------------------------- /tests/sources/progs/progs3.sig: -------------------------------------------------------------------------------- 1 | sig progs3. 2 | 3 | type main3 o. 4 | -------------------------------------------------------------------------------- /tests/sources/progs/progs4.mod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/progs/progs4.mod -------------------------------------------------------------------------------- /tests/sources/progs/progs4.sig: -------------------------------------------------------------------------------- 1 | sig progs4. 2 | 3 | type main4 o. 4 | -------------------------------------------------------------------------------- /tests/sources/progs/refl_syntax.mod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/progs/refl_syntax.mod -------------------------------------------------------------------------------- /tests/sources/progs/refl_syntax.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/progs/refl_syntax.sig -------------------------------------------------------------------------------- /tests/sources/progs/script1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/progs/script1 -------------------------------------------------------------------------------- /tests/sources/progs/script2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/progs/script2 -------------------------------------------------------------------------------- /tests/sources/progs/script3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/progs/script3 -------------------------------------------------------------------------------- /tests/sources/progs/script4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/progs/script4 -------------------------------------------------------------------------------- /tests/sources/progs/terms.mod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/progs/terms.mod -------------------------------------------------------------------------------- /tests/sources/progs/terms.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/progs/terms.sig -------------------------------------------------------------------------------- /tests/sources/progs/tr1_test.mod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/progs/tr1_test.mod -------------------------------------------------------------------------------- /tests/sources/progs/tr1_test.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/progs/tr1_test.sig -------------------------------------------------------------------------------- /tests/sources/progs/tr2_test.mod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/progs/tr2_test.mod -------------------------------------------------------------------------------- /tests/sources/progs/tr2_test.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/progs/tr2_test.sig -------------------------------------------------------------------------------- /tests/sources/progs/tr_recognizer.mod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/progs/tr_recognizer.mod -------------------------------------------------------------------------------- /tests/sources/progs/tr_recognizer.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/progs/tr_recognizer.sig -------------------------------------------------------------------------------- /tests/sources/queens.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/queens.elpi -------------------------------------------------------------------------------- /tests/sources/queens.mod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/queens.mod -------------------------------------------------------------------------------- /tests/sources/queens.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/queens.sig -------------------------------------------------------------------------------- /tests/sources/quote_syntax.elpi: -------------------------------------------------------------------------------- 1 | main :- 2 | quote_syntax "src/builtin.elpi" "main" A B, print B. -------------------------------------------------------------------------------- /tests/sources/random.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/random.elpi -------------------------------------------------------------------------------- /tests/sources/rb.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/rb.elpi -------------------------------------------------------------------------------- /tests/sources/rb_nooc.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/rb_nooc.elpi -------------------------------------------------------------------------------- /tests/sources/rb_nooc_safe.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/rb_nooc_safe.elpi -------------------------------------------------------------------------------- /tests/sources/reduce_cbn.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/reduce_cbn.elpi -------------------------------------------------------------------------------- /tests/sources/reduce_cbn.mod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/reduce_cbn.mod -------------------------------------------------------------------------------- /tests/sources/reduce_cbn.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/reduce_cbn.sig -------------------------------------------------------------------------------- /tests/sources/reduce_cbv.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/reduce_cbv.elpi -------------------------------------------------------------------------------- /tests/sources/reduce_cbv.mod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/reduce_cbv.mod -------------------------------------------------------------------------------- /tests/sources/reduce_cbv.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/reduce_cbv.sig -------------------------------------------------------------------------------- /tests/sources/restriction.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/restriction.elpi -------------------------------------------------------------------------------- /tests/sources/restriction3.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/restriction3.elpi -------------------------------------------------------------------------------- /tests/sources/restriction4.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/restriction4.elpi -------------------------------------------------------------------------------- /tests/sources/restriction5.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/restriction5.elpi -------------------------------------------------------------------------------- /tests/sources/restriction6.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/restriction6.elpi -------------------------------------------------------------------------------- /tests/sources/rev.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/rev.elpi -------------------------------------------------------------------------------- /tests/sources/rev14.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/rev14.elpi -------------------------------------------------------------------------------- /tests/sources/rev14.mod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/rev14.mod -------------------------------------------------------------------------------- /tests/sources/rev14.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/rev14.sig -------------------------------------------------------------------------------- /tests/sources/same_term.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/same_term.elpi -------------------------------------------------------------------------------- /tests/sources/self_assignment.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/self_assignment.elpi -------------------------------------------------------------------------------- /tests/sources/sepcomp1.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/sepcomp1.ml -------------------------------------------------------------------------------- /tests/sources/sepcomp2.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/sepcomp2.ml -------------------------------------------------------------------------------- /tests/sources/sepcomp3.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/sepcomp3.ml -------------------------------------------------------------------------------- /tests/sources/sepcomp4.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/sepcomp4.ml -------------------------------------------------------------------------------- /tests/sources/sepcomp5.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/sepcomp5.ml -------------------------------------------------------------------------------- /tests/sources/sepcomp6.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/sepcomp6.ml -------------------------------------------------------------------------------- /tests/sources/sepcomp7.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/sepcomp7.ml -------------------------------------------------------------------------------- /tests/sources/sepcomp8.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/sepcomp8.ml -------------------------------------------------------------------------------- /tests/sources/sepcomp9.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/sepcomp9.ml -------------------------------------------------------------------------------- /tests/sources/sepcomp_extend_sig.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/sepcomp_extend_sig.ml -------------------------------------------------------------------------------- /tests/sources/sepcomp_extend_sig2.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/sepcomp_extend_sig2.ml -------------------------------------------------------------------------------- /tests/sources/sepcomp_hover.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/sepcomp_hover.ml -------------------------------------------------------------------------------- /tests/sources/sepcomp_perf1.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/sepcomp_perf1.ml -------------------------------------------------------------------------------- /tests/sources/sepcomp_perf2.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/sepcomp_perf2.ml -------------------------------------------------------------------------------- /tests/sources/sepcomp_perf3.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/sepcomp_perf3.ml -------------------------------------------------------------------------------- /tests/sources/sepcomp_perf4.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/sepcomp_perf4.ml -------------------------------------------------------------------------------- /tests/sources/sepcomp_perf5.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/sepcomp_perf5.ml -------------------------------------------------------------------------------- /tests/sources/sepcomp_template.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/sepcomp_template.ml -------------------------------------------------------------------------------- /tests/sources/sepcomp_tyid.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/sepcomp_tyid.ml -------------------------------------------------------------------------------- /tests/sources/sepcomp_tyid2.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/sepcomp_tyid2.ml -------------------------------------------------------------------------------- /tests/sources/set.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/set.elpi -------------------------------------------------------------------------------- /tests/sources/set_ho.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/set_ho.elpi -------------------------------------------------------------------------------- /tests/sources/set_nooc.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/set_nooc.elpi -------------------------------------------------------------------------------- /tests/sources/shorten.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/shorten.elpi -------------------------------------------------------------------------------- /tests/sources/shorten2.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/shorten2.elpi -------------------------------------------------------------------------------- /tests/sources/shorten_aux.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/shorten_aux.elpi -------------------------------------------------------------------------------- /tests/sources/shorten_aux2.elpi: -------------------------------------------------------------------------------- 1 | pred bar. 2 | bar :- foo. 3 | -------------------------------------------------------------------------------- /tests/sources/shorten_builtin.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/shorten_builtin.elpi -------------------------------------------------------------------------------- /tests/sources/shorten_trie.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/shorten_trie.elpi -------------------------------------------------------------------------------- /tests/sources/spill-var.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/spill-var.elpi -------------------------------------------------------------------------------- /tests/sources/spill2.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/spill2.elpi -------------------------------------------------------------------------------- /tests/sources/spill_and.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/spill_and.elpi -------------------------------------------------------------------------------- /tests/sources/spill_collision.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/spill_collision.elpi -------------------------------------------------------------------------------- /tests/sources/spill_impl.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/spill_impl.elpi -------------------------------------------------------------------------------- /tests/sources/spill_in_list.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/spill_in_list.elpi -------------------------------------------------------------------------------- /tests/sources/spill_lam.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/spill_lam.elpi -------------------------------------------------------------------------------- /tests/sources/spill_or.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/spill_or.elpi -------------------------------------------------------------------------------- /tests/sources/spill_pi.elpi: -------------------------------------------------------------------------------- 1 | main :- 2 | pi x\ print {std.append [x] []}. -------------------------------------------------------------------------------- /tests/sources/spill_sigma.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/spill_sigma.elpi -------------------------------------------------------------------------------- /tests/sources/tc_ambiguous.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/tc_ambiguous.elpi -------------------------------------------------------------------------------- /tests/sources/toyml/ast.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/toyml/ast.ml -------------------------------------------------------------------------------- /tests/sources/toyml/dune.disabled: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/toyml/dune.disabled -------------------------------------------------------------------------------- /tests/sources/toyml/input: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/toyml/input -------------------------------------------------------------------------------- /tests/sources/toyml/lexer.mll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/toyml/lexer.mll -------------------------------------------------------------------------------- /tests/sources/toyml/output: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/toyml/output -------------------------------------------------------------------------------- /tests/sources/toyml/parser.mly: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/toyml/parser.mly -------------------------------------------------------------------------------- /tests/sources/toyml/pmap.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/toyml/pmap.ml -------------------------------------------------------------------------------- /tests/sources/toyml/toyml.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/toyml/toyml.ml -------------------------------------------------------------------------------- /tests/sources/toyml/w.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/toyml/w.elpi -------------------------------------------------------------------------------- /tests/sources/trace-w/hm.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/trace-w/hm.elpi -------------------------------------------------------------------------------- /tests/sources/trace-w/main.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/trace-w/main.elpi -------------------------------------------------------------------------------- /tests/sources/trace.elab.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/trace.elab.json -------------------------------------------------------------------------------- /tests/sources/trace.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/trace.elpi -------------------------------------------------------------------------------- /tests/sources/trace.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/trace.json -------------------------------------------------------------------------------- /tests/sources/trace2.elab.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/trace2.elab.json -------------------------------------------------------------------------------- /tests/sources/trace2.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/trace2.elpi -------------------------------------------------------------------------------- /tests/sources/trace2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/trace2.json -------------------------------------------------------------------------------- /tests/sources/trace3.elab.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/trace3.elab.json -------------------------------------------------------------------------------- /tests/sources/trace3.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/trace3.elpi -------------------------------------------------------------------------------- /tests/sources/trace3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/trace3.json -------------------------------------------------------------------------------- /tests/sources/trace4.elab.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/trace4.elab.json -------------------------------------------------------------------------------- /tests/sources/trace4.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/trace4.elpi -------------------------------------------------------------------------------- /tests/sources/trace4.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/trace4.json -------------------------------------------------------------------------------- /tests/sources/trace_chr.elab.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/trace_chr.elab.json -------------------------------------------------------------------------------- /tests/sources/trace_chr.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/trace_chr.elpi -------------------------------------------------------------------------------- /tests/sources/trace_chr.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/trace_chr.json -------------------------------------------------------------------------------- /tests/sources/trace_cut.elab.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/trace_cut.elab.json -------------------------------------------------------------------------------- /tests/sources/trace_cut.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/trace_cut.elpi -------------------------------------------------------------------------------- /tests/sources/trace_cut.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/trace_cut.json -------------------------------------------------------------------------------- /tests/sources/trace_findall.elab.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/trace_findall.elab.json -------------------------------------------------------------------------------- /tests/sources/trace_findall.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/trace_findall.elpi -------------------------------------------------------------------------------- /tests/sources/trace_findall.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/trace_findall.json -------------------------------------------------------------------------------- /tests/sources/trace_w.elab.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/trace_w.elab.json -------------------------------------------------------------------------------- /tests/sources/trace_w.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/trace_w.json -------------------------------------------------------------------------------- /tests/sources/trail.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/trail.elpi -------------------------------------------------------------------------------- /tests/sources/trie.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/trie.elpi -------------------------------------------------------------------------------- /tests/sources/typeabbrv.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/typeabbrv.elpi -------------------------------------------------------------------------------- /tests/sources/typeabbrv1.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/typeabbrv1.elpi -------------------------------------------------------------------------------- /tests/sources/typeabbrv10.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/typeabbrv10.elpi -------------------------------------------------------------------------------- /tests/sources/typeabbrv11.elpi: -------------------------------------------------------------------------------- 1 | typeabbrev x int. 2 | 3 | pred f i:x. 4 | f "x". 5 | 6 | main. -------------------------------------------------------------------------------- /tests/sources/typeabbrv12.elpi: -------------------------------------------------------------------------------- 1 | typeabbrev y (list int). 2 | 3 | pred f i:y. 4 | f "x". 5 | 6 | main. -------------------------------------------------------------------------------- /tests/sources/typeabbrv13.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/typeabbrv13.elpi -------------------------------------------------------------------------------- /tests/sources/typeabbrv14.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/typeabbrv14.elpi -------------------------------------------------------------------------------- /tests/sources/typeabbrv15.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/typeabbrv15.elpi -------------------------------------------------------------------------------- /tests/sources/typeabbrv2.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/typeabbrv2.elpi -------------------------------------------------------------------------------- /tests/sources/typeabbrv3.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/typeabbrv3.elpi -------------------------------------------------------------------------------- /tests/sources/typeabbrv4.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/typeabbrv4.elpi -------------------------------------------------------------------------------- /tests/sources/typeabbrv5.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/typeabbrv5.elpi -------------------------------------------------------------------------------- /tests/sources/typeabbrv6.elpi: -------------------------------------------------------------------------------- 1 | typeabbrev x (option A). 2 | pred f i:x. 3 | f _. 4 | main :- f (some 3). -------------------------------------------------------------------------------- /tests/sources/typeabbrv7.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/typeabbrv7.elpi -------------------------------------------------------------------------------- /tests/sources/typeabbrv8.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/typeabbrv8.elpi -------------------------------------------------------------------------------- /tests/sources/typeabbrv9.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/typeabbrv9.elpi -------------------------------------------------------------------------------- /tests/sources/uminus.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/uminus.elpi -------------------------------------------------------------------------------- /tests/sources/unix.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/unix.elpi -------------------------------------------------------------------------------- /tests/sources/uvar_chr.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/uvar_chr.elpi -------------------------------------------------------------------------------- /tests/sources/var.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/var.elpi -------------------------------------------------------------------------------- /tests/sources/variadic.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/variadic.elpi -------------------------------------------------------------------------------- /tests/sources/variadic_declare_constraints.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/variadic_declare_constraints.elpi -------------------------------------------------------------------------------- /tests/sources/w.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/w.elpi -------------------------------------------------------------------------------- /tests/sources/zebra.elpi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/zebra.elpi -------------------------------------------------------------------------------- /tests/sources/zebra.mod: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/zebra.mod -------------------------------------------------------------------------------- /tests/sources/zebra.sig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/sources/zebra.sig -------------------------------------------------------------------------------- /tests/suite/builtins.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/suite/builtins.ml -------------------------------------------------------------------------------- /tests/suite/correctness_FO.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/suite/correctness_FO.ml -------------------------------------------------------------------------------- /tests/suite/correctness_HO.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/suite/correctness_HO.ml -------------------------------------------------------------------------------- /tests/suite/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/suite/dune -------------------------------------------------------------------------------- /tests/suite/elpi_api.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/suite/elpi_api.ml -------------------------------------------------------------------------------- /tests/suite/elpi_api_performance.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/suite/elpi_api_performance.ml -------------------------------------------------------------------------------- /tests/suite/elpi_specific.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/suite/elpi_specific.ml -------------------------------------------------------------------------------- /tests/suite/performance_FO.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/suite/performance_FO.ml -------------------------------------------------------------------------------- /tests/suite/performance_HO.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/suite/performance_HO.ml -------------------------------------------------------------------------------- /tests/suite/suite.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/suite/suite.ml -------------------------------------------------------------------------------- /tests/suite/suite.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/suite/suite.mli -------------------------------------------------------------------------------- /tests/test.dummy.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/test.dummy.ml -------------------------------------------------------------------------------- /tests/test.real.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/tests/test.real.ml -------------------------------------------------------------------------------- /trace/ppx/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/trace/ppx/dune -------------------------------------------------------------------------------- /trace/ppx/trace_ppx.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/trace/ppx/trace_ppx.ml -------------------------------------------------------------------------------- /trace/ppx/version_parser.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/trace/ppx/version_parser.ml -------------------------------------------------------------------------------- /trace/runtime/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/trace/runtime/dune -------------------------------------------------------------------------------- /trace/runtime/runtime.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/trace/runtime/runtime.ml -------------------------------------------------------------------------------- /trace/runtime/runtime.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/LPCIC/elpi/HEAD/trace/runtime/runtime.mli --------------------------------------------------------------------------------