package info
(click to toggle)
Folder: sources
 |
.. (parent) | |||
|
d | rwxr-xr-x | 4,096 | functionality |
|
d | rwxr-xr-x | 4,096 | helena_elpi |
|
d | rwxr-xr-x | 71 | hilbert |
|
d | rwxr-xr-x | 73 | hilbert2 |
|
d | rwxr-xr-x | 4,096 | holp |
|
d | rwxr-xr-x | 4,096 | ld-3C |
|
d | rwxr-xr-x | 4,096 | lyp |
|
d | rwxr-xr-x | 4,096 | pcf |
|
d | rwxr-xr-x | 4,096 | progs |
|
d | rwxr-xr-x | 4,096 | toyml |
|
d | rwxr-xr-x | 48 | trace-w |
 |
- | rw-r--r-- | 321 | GH_issue_19.elpi |
|
- | rw-r--r-- | 88 | accumulate_twice1.elpi |
|
- | rw-r--r-- | 109 | accumulate_twice2.elpi |
|
- | rw-r--r-- | 77 | accumulated.elpi |
|
- | rw-r--r-- | 797 | ackermann.elpi |
|
- | rw-r--r-- | 178 | asclause.elpi |
|
- | rw-r--r-- | 42 | bad_index.elpi |
|
- | rw-r--r-- | 94 | beta.elpi |
|
- | rw-r--r-- | 22 | block.elpi |
|
- | rw-r--r-- | 14,273,898 | broken_trace1.elab.json |
|
- | rw-r--r-- | 992,341 | broken_trace1.json |
|
- | rw-r--r-- | 991,600 | broken_trace2.json |
|
- | rw-r--r-- | 426 | bug-256.elpi |
|
- | rw-r--r-- | 229 | bug_226.elpi |
|
- | rw-r--r-- | 260 | chr-scope-change-failure.elpi |
|
- | rw-r--r-- | 271 | chr-scope-change.elpi |
|
- | rw-r--r-- | 408 | chr-scope.elpi |
|
- | rw-r--r-- | 1,442 | chr.elpi |
|
- | rw-r--r-- | 535 | chrGCD.elpi |
|
- | rw-r--r-- | 1,039 | chrLEQ.elpi |
|
- | rw-r--r-- | 187 | chr_nokey.elpi |
|
- | rw-r--r-- | 187 | chr_nokey2.elpi |
|
- | rw-r--r-- | 28 | chr_not_clique.elpi |
|
- | rw-r--r-- | 261 | chr_sem.elpi |
|
- | rw-r--r-- | 1,305 | chr_with_hypotheses.elpi |
|
- | rw-r--r-- | 126 | conj2.elpi |
|
- | rw-r--r-- | 5,096 | crypt.mod |
|
- | rw-r--r-- | 775 | crypt.sig |
|
- | rw-r--r-- | 732 | ctx_loading.elpi |
|
- | rw-r--r-- | 235 | cut.elpi |
|
- | rw-r--r-- | 473 | cut2.elpi |
|
- | rw-r--r-- | 213 | cut3.elpi |
|
- | rw-r--r-- | 43 | cut4.elpi |
|
- | rw-r--r-- | 343 | cut5.elpi |
|
- | rw-r--r-- | 213 | cut6.elpi |
|
- | rw-r--r-- | 386 | deep_indexing.elpi |
|
- | rw-r--r-- | 108 | discard.elpi |
|
- | rw-r--r-- | 690 | dt.elpi |
|
- | rw-r--r-- | 994 | dt1.elpi |
|
- | rw-r--r-- | 576 | dt_bench.elpi |
|
- | rw-r--r-- | 504 | dt_bug272.elpi |
|
- | rw-r--r-- | 1,042 | dt_inst_compiler.elpi |
|
- | rw-r--r-- | 630 | dt_max_depths.elpi |
|
- | rw-r--r-- | 1,313 | dt_max_depths.log |
|
- | rw-r--r-- | 415 | dt_multiparam1.elpi |
|
- | rw-r--r-- | 415 | dt_multiparam2.elpi |
|
- | rw-r--r-- | 415 | dt_multiparam3.elpi |
|
- | rw-r--r-- | 1,075 | dt_multivar.elpi |
|
- | rw-r--r-- | 457 | dt_multivar_long_list.elpi |
|
- | rw-r--r-- | 690 | dt_off.elpi |
|
- | rw-r--r-- | 134 | dt_order.elpi |
|
- | rw-r--r-- | 253 | dt_var.elpi |
|
- | rw-r--r-- | 122 | dt_var2.elpi |
|
- | rw-r--r-- | 1,071 | dune |
|
- | rw-r--r-- | 45 | elpi_only_llam.elpi |
|
- | rw-r--r-- | 12 | end_comment.elpi |
|
- | rw-r--r-- | 700 | eta.elpi |
|
- | rw-r--r-- | 3,012 | eta_as.elpi |
|
- | rw-r--r-- | 877 | eta_oc.elpi |
|
- | rw-r--r-- | 542 | even-odd.elpi |
|
- | rw-r--r-- | 5,559 | fast_mu.mod |
|
- | rw-r--r-- | 1,263 | fast_mu.sig |
|
- | rw-r--r-- | 910 | findall.elpi |
|
- | rw-r--r-- | 78 | fragment_exit.elpi |
|
- | rw-r--r-- | 76 | fragment_exit2.elpi |
|
- | rw-r--r-- | 80 | fragment_exit3.elpi |
|
- | rw-r--r-- | 219 | general_case.elpi |
|
- | rw-r--r-- | 84 | general_case2.elpi |
|
- | rw-r--r-- | 83 | general_case3.elpi |
|
- | rw-r--r-- | 138 | graft_before.elpi |
|
- | rw-r--r-- | 135 | graft_before_same.elpi |
|
- | rw-r--r-- | 422 | graft_remove.elpi |
|
- | rw-r--r-- | 92 | graft_replace_err.elpi |
|
- | rw-r--r-- | 153 | graft_replace_ok.elpi |
|
- | rw-r--r-- | 2,556 | hc_interp.elpi |
|
- | rw-r--r-- | 292 | hdclause.elpi |
|
- | rw-r--r-- | 79 | heap_discard.elpi |
|
- | rw-r--r-- | 138 | ho.elpi |
|
- | rw-r--r-- | 79,388 | hollight.elpi |
|
- | rw-r--r-- | 75 | hyp_uvar.elpi |
|
- | rw-r--r-- | 251 | ifdef.elpi |
|
- | rw-r--r-- | 197 | impl.elpi |
|
- | rw-r--r-- | 114 | impl2.elpi |
|
- | rw-r--r-- | 90 | impl_prec.elpi |
|
- | rw-r--r-- | 221 | impl_prec_ok.elpi |
|
- | rw-r--r-- | 2,446 | index2.elpi |
|
- | rw-r--r-- | 49 | io_colon.elpi |
|
- | rw-r--r-- | 72 | is.elpi |
|
- | rw-r--r-- | 414 | lambda.elpi |
|
- | rw-r--r-- | 127 | lambda2.elpi |
|
- | rw-r--r-- | 1,364 | lambda3.elpi |
|
- | rw-r--r-- | 1,208 | lambda3.mod |
|
- | rw-r--r-- | 651 | lambda3.sig |
|
- | rw-r--r-- | 217 | lambda4.elpi |
|
- | rw-r--r-- | 238 | lambda5.elpi |
|
- | rw-r--r-- | 198 | lambda6.elpi |
|
- | rw-r--r-- | 22 | linear.elpi |
|
- | rw-r--r-- | 94 | list_as_conj.elpi |
|
- | rw-r--r-- | 73 | list_comma.elpi |
|
- | rw-r--r-- | 2,215 | llam.elpi |
|
- | rw-r--r-- | 1,278 | llam.mod |
|
- | rw-r--r-- | 24 | llam.sig |
|
- | rw-r--r-- | 1,559 | llamchr.elpi |
|
- | rw-r--r-- | 830 | map.elpi |
|
- | rw-r--r-- | 306 | map_ho.elpi |
|
- | rw-r--r-- | 1,258 | map_list.elpi |
|
- | rw-r--r-- | 1,281 | map_list_opt.elpi |
|
- | rw-r--r-- | 419 | mk-evar-meta.elpi |
|
- | rw-r--r-- | 317 | mode_checking_fo.elpi |
|
- | rw-r--r-- | 1,101 | mode_checking_ho.elpi |
|
- | rw-r--r-- | 1,270 | mu.mod |
|
- | rw-r--r-- | 752 | mu.sig |
|
- | rw-r--r-- | 197 | name_builtin.elpi |
|
- | rw-r--r-- | 54 | named_clauses00.elpi |
|
- | rw-r--r-- | 33 | named_clauses01.elpi |
|
- | rw-r--r-- | 102 | named_clauses02.elpi |
|
- | rw-r--r-- | 291 | namespaces00.elpi |
|
- | rw-r--r-- | 205 | namespaces01.elpi |
|
- | rw-r--r-- | 220 | namespaces02.elpi |
|
- | rw-r--r-- | 394 | namespaces03.elpi |
|
- | rw-r--r-- | 39 | nil_cons.elpi |
|
- | rw-r--r-- | 473 | notation.elpi |
|
- | rw-r--r-- | 12 | notation_error.elpi |
|
- | rw-r--r-- | 73 | oc_eta.elpi |
|
- | rw-r--r-- | 145 | patternunif.elpi |
|
- | rw-r--r-- | 106 | patternunif2.elpi |
|
- | rw-r--r-- | 162 | pi.elpi |
|
- | rw-r--r-- | 143 | pi3.elpi |
|
- | rw-r--r-- | 395 | pi5.elpi |
|
- | rw-r--r-- | 3,532 | pnf.elpi |
|
- | rw-r--r-- | 5,327 | polymorphic_variants.elpi |
|
- | rw-r--r-- | 236 | printer.elpi |
|
- | rw-r--r-- | 2,786 | queens.elpi |
|
- | rw-r--r-- | 2,285 | queens.mod |
|
- | rw-r--r-- | 754 | queens.sig |
|
- | rw-r--r-- | 62 | quote_syntax.elpi |
|
- | rw-r--r-- | 78 | random.elpi |
|
- | rw-r--r-- | 1,568 | reduce_cbn.elpi |
|
- | rw-r--r-- | 1,215 | reduce_cbn.mod |
|
- | rw-r--r-- | 171 | reduce_cbn.sig |
|
- | rw-r--r-- | 1,292 | reduce_cbv.elpi |
|
- | rw-r--r-- | 1,155 | reduce_cbv.mod |
|
- | rw-r--r-- | 163 | reduce_cbv.sig |
|
- | rw-r--r-- | 46 | restriction.elpi |
|
- | rw-r--r-- | 624 | restriction3.elpi |
|
- | rw-r--r-- | 84 | restriction4.elpi |
|
- | rw-r--r-- | 51 | restriction5.elpi |
|
- | rw-r--r-- | 89 | restriction6.elpi |
|
- | rw-r--r-- | 2,849 | rev.elpi |
|
- | rw-r--r-- | 1,008 | rev14.elpi |
|
- | rw-r--r-- | 783 | rev14.mod |
|
- | rw-r--r-- | 279 | rev14.sig |
|
- | rw-r--r-- | 171 | same_term.elpi |
|
- | rw-r--r-- | 101 | self_assignment.elpi |
|
- | rw-r--r-- | 113 | sepcomp1.ml |
|
- | rw-r--r-- | 121 | sepcomp2.ml |
|
- | rw-r--r-- | 158 | sepcomp3.ml |
|
- | rw-r--r-- | 136 | sepcomp4.ml |
|
- | rw-r--r-- | 341 | sepcomp5.ml |
|
- | rw-r--r-- | 500 | sepcomp6.ml |
|
- | rw-r--r-- | 328 | sepcomp7.ml |
|
- | rw-r--r-- | 451 | sepcomp8.ml |
|
- | rw-r--r-- | 561 | sepcomp9.ml |
|
- | rw-r--r-- | 977 | sepcomp_perf1.ml |
|
- | rw-r--r-- | 976 | sepcomp_perf2.ml |
|
- | rw-r--r-- | 978 | sepcomp_perf3.ml |
|
- | rw-r--r-- | 1,049 | sepcomp_perf4.ml |
|
- | rw-r--r-- | 1,557 | sepcomp_perf5.ml |
|
- | rw-r--r-- | 1,082 | sepcomp_template.ml |
|
- | rw-r--r-- | 842 | set.elpi |
|
- | rw-r--r-- | 573 | set_ho.elpi |
|
- | rw-r--r-- | 389 | shorten.elpi |
|
- | rw-r--r-- | 83 | shorten2.elpi |
|
- | rw-r--r-- | 66 | shorten_aux.elpi |
|
- | rw-r--r-- | 22 | shorten_aux2.elpi |
|
- | rw-r--r-- | 59 | shorten_builtin.elpi |
|
- | rw-r--r-- | 294 | shorten_trie.elpi |
|
- | rw-r--r-- | 361 | spill_and.elpi |
|
- | rw-r--r-- | 134 | spill_collision.elpi |
|
- | rw-r--r-- | 344 | spill_impl.elpi |
|
- | rw-r--r-- | 181 | spill_in_list.elpi |
|
- | rw-r--r-- | 114 | spill_lam.elpi |
|
- | rw-r--r-- | 98 | spill_or.elpi |
|
- | rw-r--r-- | 42 | spill_pi.elpi |
|
- | rw-r--r-- | 29,096 | trace.elab.json |
|
- | rw-r--r-- | 106 | trace.elpi |
|
- | rw-r--r-- | 10,846 | trace.json |
|
- | rw-r--r-- | 14,380 | trace2.elab.json |
|
- | rw-r--r-- | 57 | trace2.elpi |
|
- | rw-r--r-- | 5,777 | trace2.json |
|
- | rw-r--r-- | 12,732 | trace3.elab.json |
|
- | rw-r--r-- | 104 | trace3.elpi |
|
- | rw-r--r-- | 7,333 | trace3.json |
|
- | rw-r--r-- | 17,303 | trace4.elab.json |
|
- | rw-r--r-- | 96 | trace4.elpi |
|
- | rw-r--r-- | 8,675 | trace4.json |
|
- | rw-r--r-- | 38,937 | trace_chr.elab.json |
|
- | rw-r--r-- | 427 | trace_chr.elpi |
|
- | rw-r--r-- | 18,723 | trace_chr.json |
|
- | rw-r--r-- | 19,807 | trace_cut.elab.json |
|
- | rw-r--r-- | 122 | trace_cut.elpi |
|
- | rw-r--r-- | 11,249 | trace_cut.json |
|
- | rw-r--r-- | 15,846 | trace_findall.elab.json |
|
- | rw-r--r-- | 76 | trace_findall.elpi |
|
- | rw-r--r-- | 7,397 | trace_findall.json |
|
- | rw-r--r-- | 314,876 | trace_w.elab.json |
|
- | rw-r--r-- | 97,449 | trace_w.json |
|
- | rw-r--r-- | 292 | trail.elpi |
|
- | rw-r--r-- | 751 | trie.elpi |
|
- | rw-r--r-- | 78 | typeabbrv.elpi |
|
- | rw-r--r-- | 51 | typeabbrv1.elpi |
|
- | rw-r--r-- | 135 | typeabbrv10.elpi |
|
- | rw-r--r-- | 44 | typeabbrv11.elpi |
|
- | rw-r--r-- | 51 | typeabbrv12.elpi |
|
- | rw-r--r-- | 57 | typeabbrv13.elpi |
|
- | rw-r--r-- | 77 | typeabbrv14.elpi |
|
- | rw-r--r-- | 72 | typeabbrv2.elpi |
|
- | rw-r--r-- | 81 | typeabbrv3.elpi |
|
- | rw-r--r-- | 71 | typeabbrv4.elpi |
|
- | rw-r--r-- | 63 | typeabbrv5.elpi |
|
- | rw-r--r-- | 61 | typeabbrv6.elpi |
|
- | rw-r--r-- | 78 | typeabbrv7.elpi |
|
- | rw-r--r-- | 88 | typeabbrv8.elpi |
|
- | rw-r--r-- | 101 | typeabbrv9.elpi |
|
- | rw-r--r-- | 51 | uminus.elpi |
|
- | rw-r--r-- | 1,049 | unix.elpi |
|
- | rw-r--r-- | 909 | uvar_chr.elpi |
|
- | rw-r--r-- | 221 | var.elpi |
|
- | rw-r--r-- | 98 | variadic_declare_constraints.elpi |
|
- | rw-r--r-- | 3,318 | w.elpi |
|
- | rw-r--r-- | 3,055 | zebra.elpi |
|
- | rw-r--r-- | 2,364 | zebra.mod |
|
- | rw-r--r-- | 905 | zebra.sig |