├── .clang-format ├── .gitattributes ├── .github └── workflows │ └── ccpp.yml ├── .gitignore ├── .gitmodules ├── 0001-better-data-structure-for-earley-item-storage.patch ├── CMakeLists.txt ├── Development.md ├── INSTALL.md ├── README.md ├── checks.sh ├── clang-format.sh.in ├── clean.sh ├── cmake ├── CodeCoverage.cmake ├── add_tml_js_lib.cmake ├── clang-format.cmake ├── clang-tidy.cmake ├── code-coverage.cmake ├── cppcheck.cmake ├── emscripten_toolchain.cmake ├── git-defs.cmake ├── tml-check.cmake └── tml-common.cmake ├── coverage.sh ├── debug-js.sh ├── debug.sh ├── docs └── Doxyfile.in ├── gen_tml.g.cpp.sh ├── get_emsdk.sh ├── js ├── CMakeLists.txt ├── embindings.h ├── test.html └── tmljs ├── pgo_test.sh ├── rebuild_all_and_run_tests.sh ├── release-js.sh ├── release.sh ├── rudeanu ├── Makefile ├── README.md └── rudeanu.cpp ├── src ├── ARCHITECTURE.md ├── ARCHITECTURE.png ├── CMakeLists.txt ├── Makefile.nocmake ├── OPTIMIZATION.md ├── async_reader.h ├── bdd.cpp ├── bdd.h ├── bdd_arith.cpp ├── bit_universe.cpp ├── bit_universe.h ├── builtins.cpp ├── builtins.h ├── char_defs.h ├── cpp_gen.cpp ├── cpp_gen.h ├── debug.sh ├── defs.h ├── dict.cpp ├── dict.h ├── driver.cpp ├── driver.h ├── earley.cpp ├── earley.h ├── err.h ├── eval.tml ├── fof.cpp ├── fof.h ├── form.cpp ├── form.h ├── input.cpp ├── input.h ├── ir_builder.cpp ├── ir_builder.h ├── iterators.cpp ├── iterators.h ├── main.cpp ├── memory_map.h ├── options.cpp ├── options.h ├── output.cpp ├── output.h ├── printing.cpp ├── printing.h ├── proof.cpp ├── release.sh ├── repl.cpp ├── repl.g ├── repl.h ├── save_csv.cpp ├── tables.cpp ├── tables.h ├── tables_builtins.cpp ├── tables_ext.cpp ├── tables_printer.cpp ├── tables_progress.cpp ├── tables_progress.h ├── term.h ├── tml.g ├── tml.g.cpp ├── tml.g.reg ├── tml_earley.cpp ├── tml_updates_factory.h ├── transform.cpp ├── transform_bitunv.cpp ├── transform_guards.cpp ├── transform_opt.cpp ├── transform_opt_common.h ├── transform_opt_cqc.cpp ├── transform_opt_cqc.h ├── transform_opt_squaring.cpp ├── transform_opt_squaring.h ├── tree.cpp ├── type_resolution.cpp ├── type_resolution.h ├── typemanager.cpp ├── typemanager.h ├── udp.h └── utils.cpp ├── tests ├── CMakeLists.txt ├── README.md ├── bdd │ ├── cache_test.cpp │ ├── cache_test.sh │ ├── canonicity_test.cpp │ └── canonicity_test.sh ├── development │ ├── beyondcfg │ │ ├── csg.tml │ │ ├── csg1.tml │ │ ├── csg2.tml │ │ ├── csg3_sval.tml │ │ ├── csg4_sval.tml │ │ └── expected │ │ │ ├── csg.tml.dump │ │ │ ├── csg1.tml.dump │ │ │ ├── csg2.tml.dump │ │ │ ├── csg3_sval.tml.dump │ │ │ └── csg4_sval.tml.dump │ ├── builtins_bt │ │ ├── expected │ │ │ ├── leq_bt.tml.dump │ │ │ └── leq_bt2.tml.dump │ │ ├── leq_bt.tml │ │ ├── leq_bt2.tml │ │ └── options │ ├── dcg │ ├── dyck │ ├── earley │ │ ├── 24000_15_DYCKs_LANGUAGE.tml.txt │ │ ├── arith.tml │ │ ├── bin_lr_test.g │ │ ├── dycks.tml │ │ ├── earley_tml │ │ ├── errortest1.tml │ │ ├── expression_priority.g │ │ ├── grammar.tml │ │ ├── graph0.dot │ │ ├── graph0.png │ │ ├── graph1.dot │ │ ├── graph1.png │ │ ├── graph2.dot │ │ ├── graph2.png │ │ ├── graph3.dot │ │ ├── graph3.png │ │ ├── graph4.dot │ │ ├── graph4.png │ │ ├── graph5.dot │ │ ├── graph5.png │ │ ├── graph6.dot │ │ ├── graph6.png │ │ ├── infiinteambiguity.tml │ │ ├── parse_graph0.tml │ │ ├── parse_graph0_tml_earley.g │ │ ├── parse_graph1.tml │ │ ├── parse_graph2.tml │ │ ├── parse_graph3.tml │ │ ├── parse_graph4.tml │ │ ├── parse_graph5.tml │ │ ├── parse_graph6.tml │ │ ├── parse_regression_tests │ │ ├── parse_rules0.tml │ │ ├── parse_rules1.tml │ │ ├── parse_rules2.tml │ │ ├── parse_rules3.tml │ │ ├── parse_rules4.tml │ │ ├── parse_rules5.tml │ │ ├── parse_rules6.tml │ │ ├── parse_rules_tml_earley.g │ │ ├── regress_5.g │ │ ├── stress.tml │ │ ├── stress_1024.tml │ │ ├── stress_128.tml │ │ ├── stress_16.tml │ │ ├── stress_32.tml │ │ ├── stress_512.tml │ │ └── stress_64.tml │ ├── ebnf │ │ ├── ba.tml │ │ ├── ba1.tml │ │ ├── basic.tml │ │ ├── basicFail.tml │ │ ├── expected │ │ │ ├── ba.tml.dump │ │ │ ├── ba1.tml.dump │ │ │ ├── basic.tml.dump │ │ │ └── tartring.tml.dump │ │ ├── tartring.tml │ │ └── test0.tml │ ├── eval │ │ ├── env.tml │ │ ├── expected │ │ │ ├── env.tml.dump │ │ │ ├── facts.tml.dump │ │ │ ├── heads.tml.dump │ │ │ ├── mixed.tml.dump │ │ │ ├── ref_sym.tml.dump │ │ │ ├── trans.tml.dump │ │ │ ├── trans_sym.tml.dump │ │ │ └── vars.tml.dump │ │ ├── facts.tml │ │ ├── heads.tml │ │ ├── mixed.tml │ │ ├── options │ │ ├── ref_sym.tml │ │ ├── trans.tml │ │ ├── trans_sym.tml │ │ └── vars.tml │ ├── eval_partial_tree_proofs │ │ ├── env.tml │ │ ├── expected │ │ │ ├── env.tml.dump │ │ │ ├── facts.tml.dump │ │ │ ├── heads.tml.dump │ │ │ ├── mixed.tml.dump │ │ │ ├── ref_sym.tml.dump │ │ │ ├── trans.tml.dump │ │ │ ├── trans_sym.tml.dump │ │ │ └── vars.tml.dump │ │ ├── facts.tml │ │ ├── heads.tml │ │ ├── mixed.tml │ │ ├── options │ │ ├── ref_sym.tml │ │ ├── trans.tml │ │ ├── trans_sym.tml │ │ └── vars.tml │ ├── example_sof │ ├── example_sof_fail │ ├── fixpoint │ │ ├── expected │ │ │ ├── married_unmarried.tml.dump │ │ │ ├── slow.tml.dump │ │ │ └── unmarried_married.tml.dump │ │ ├── married_married.tml │ │ ├── married_unmarried.tml │ │ ├── married_unmarried_unsat.tml │ │ ├── options │ │ ├── slow.tml │ │ ├── slow_unsat.tml │ │ ├── unmarried_married.tml │ │ ├── unmarried_married_unsat.tml │ │ └── unmarried_unmarried.tml │ ├── fof │ ├── fol_v2 │ │ ├── expected │ │ │ └── fof0.tml.expected │ │ ├── fof0.tml │ │ └── fof1.tml │ ├── forest_proofs │ │ ├── expected │ │ │ ├── married_unmarried.tml.dump │ │ │ ├── slow.tml.dump │ │ │ └── unmarried_married.tml.dump │ │ ├── married_unmarried.tml │ │ ├── options │ │ ├── slow.tml │ │ └── unmarried_married.tml │ ├── macro │ │ ├── constant_bug.tml │ │ ├── expected │ │ │ ├── constant_bug.tml.dump │ │ │ ├── m1.tml.dump │ │ │ ├── m3.tml.dump │ │ │ └── m4.tml.dump │ │ ├── m1.tml │ │ ├── m2.tml │ │ ├── m3.tml │ │ └── m4.tml │ ├── nested_progs │ │ └── while1.tml │ ├── optimization │ │ ├── cost_function │ │ │ ├── join-16384.tml │ │ │ ├── join-256.tml │ │ │ ├── join-8192.tml │ │ │ ├── product.tml │ │ │ ├── projectioin-from-3.tml │ │ │ ├── projection-from-2.tml │ │ │ ├── sample_generator.sh │ │ │ └── table.sh │ │ ├── simple_cqc.tml │ │ └── simple_squaring.tml │ ├── partial_forest_proofs │ │ ├── expected │ │ │ ├── married_unmarried.tml.dump │ │ │ ├── slow.tml.dump │ │ │ └── unmarried_married.tml.dump │ │ ├── married_unmarried.tml │ │ ├── options │ │ ├── slow.tml │ │ └── unmarried_married.tml │ ├── partial_tree_proofs │ │ ├── expected │ │ │ ├── married_unmarried.tml.dump │ │ │ ├── slow.tml.dump │ │ │ └── unmarried_married.tml.dump │ │ ├── married_unmarried.tml │ │ ├── options │ │ ├── slow.tml │ │ └── unmarried_married.tml │ ├── pnf_tests │ ├── quantifiers_safe │ │ ├── 2heads.tml │ │ ├── ev_1.tml │ │ ├── ev_2.tml │ │ ├── expected │ │ │ ├── 2heads.tml.dump │ │ │ ├── ev_1.tml.dump │ │ │ ├── ev_2.tml.dump │ │ │ ├── fa2.tml.dump │ │ │ ├── fa2b.tml.dump │ │ │ ├── faex.tml.dump │ │ │ ├── fe.tml.dump │ │ │ ├── fol_0.tml.dump │ │ │ ├── fol_add.tml.dump │ │ │ ├── fol_dm0.tml.dump │ │ │ ├── fol_dm1.tml.dump │ │ │ ├── fol_dm2.tml.dump │ │ │ ├── fol_neg0.tml.dump │ │ │ ├── fol_neg1.tml.dump │ │ │ ├── fol_qp0.tml.dump │ │ │ ├── fol_qp1.tml.dump │ │ │ ├── leq_0.tml.dump │ │ │ ├── leq_1.tml.dump │ │ │ ├── lucca0.tml.dump │ │ │ ├── t0.tml.dump │ │ │ ├── t01.tml.dump │ │ │ ├── t11.tml.dump │ │ │ ├── tomas0.tml.dump │ │ │ ├── tomas1.tml.dump │ │ │ ├── unique0.tml.dump │ │ │ ├── unique1.tml.dump │ │ │ └── unique2.tml.dump │ │ ├── fa2.tml │ │ ├── fa2b.tml │ │ ├── faex.tml │ │ ├── fe.tml │ │ ├── fol_0.tml │ │ ├── fol_add.tml │ │ ├── fol_dm0.tml │ │ ├── fol_dm1.tml │ │ ├── fol_dm2.tml │ │ ├── fol_neg0.tml │ │ ├── fol_neg1.tml │ │ ├── fol_qp0.tml │ │ ├── fol_qp1.tml │ │ ├── leq_0.tml │ │ ├── leq_1.tml │ │ ├── lucca0.tml │ │ ├── t0.tml │ │ ├── t01.tml │ │ ├── t11.tml │ │ ├── tomas0.tml │ │ ├── tomas1.tml │ │ ├── unique0.tml │ │ ├── unique1.tml │ │ └── unique2.tml │ ├── regexp-level │ │ ├── expected │ │ │ ├── reg1.tml.dump │ │ │ ├── reg2.tml.dump │ │ │ ├── reg3smallestmatch.tml.dump │ │ │ ├── reg4.tml.dump │ │ │ └── tml.g.reg.tml.dump │ │ ├── options │ │ ├── reg1.tml │ │ ├── reg2.tml │ │ ├── reg3smallestmatch.tml │ │ ├── reg4.tml │ │ └── tml.g.reg.tml │ ├── regexp │ │ ├── expected │ │ │ ├── reg1.tml.dump │ │ │ ├── reg2.tml.dump │ │ │ ├── reg3smallestmatch.tml.dump │ │ │ └── reg4.tml.dump │ │ ├── options │ │ ├── reg1.tml │ │ ├── reg2.tml │ │ ├── reg3smallestmatch.tml │ │ └── reg4.tml │ ├── safety │ │ ├── safe.tml │ │ └── unsafe.tml │ ├── seq_example │ ├── sol │ │ ├── expected │ │ │ ├── t20.tml.dump │ │ │ ├── t21.tml.dump │ │ │ ├── t30.tml.dump │ │ │ ├── t31.tml.dump │ │ │ └── t32.tml.dump │ │ ├── t20.tml │ │ ├── t21.tml │ │ ├── t30.tml │ │ ├── t31.tml │ │ ├── t32.tml │ │ ├── test │ │ └── tml │ ├── str_example │ ├── tree │ ├── tree_proofs │ │ ├── expected │ │ │ ├── married_unmarried.tml.dump │ │ │ ├── slow.tml.dump │ │ │ └── unmarried_married.tml.dump │ │ ├── married_unmarried.tml │ │ ├── options │ │ ├── slow.tml │ │ └── unmarried_married.tml │ └── type_system │ │ ├── 02_FACTS.tml │ │ ├── 05_RULES.tml │ │ ├── 06_VARIABLES.tml │ │ ├── 07_AND_OR.tml │ │ ├── 08_RECURSION.tml │ │ ├── 09_TRANSITIVE_CLOSURE.tml │ │ ├── 1.tml │ │ ├── 10_NEGATION.tml │ │ ├── 11_DELETION.tml │ │ ├── 12_family.tml │ │ ├── 13_armageddon.tml │ │ ├── 14_UNSAT.tml │ │ ├── 1_infer.tml │ │ ├── 1_infer_assign.tml │ │ ├── 1_infer_partial.tml │ │ ├── 1typefail.tml │ │ ├── 2.tml │ │ ├── 2_infer.tml │ │ ├── 2typefail.tml │ │ ├── 3_infer_exam.tml │ │ ├── 3_type_order_terms.tml │ │ ├── 4_arith.tml │ │ ├── backtrack_x.tml │ │ ├── bitunv_kz.tml │ │ ├── expected │ │ ├── 02_FACTS.tml.dump │ │ ├── 05_RULES.tml.dump │ │ ├── 06_VARIABLES.tml.dump │ │ ├── 07_AND_OR.tml.dump │ │ ├── 08_RECURSION.tml.dump │ │ ├── 09_TRANSITIVE_CLOSURE.tml.dump │ │ ├── 1.tml.dump │ │ ├── 10_NEGATION.tml.dump │ │ ├── 11_DELETION.tml.dump │ │ ├── 12_family.tml.dump │ │ ├── 13_armageddon.tml.dump │ │ └── 2.tml.dump │ │ ├── fol.tml │ │ ├── infer_fol.tml │ │ ├── nested1.tml │ │ ├── posfail.tml │ │ ├── postest.tml │ │ ├── symrange.tml │ │ ├── test.tml │ │ ├── test2.tml │ │ ├── test3.tml │ │ ├── test4.tml │ │ ├── test5.tml │ │ ├── test7.tml │ │ └── test8_fol.tml ├── memory_map.test.bat ├── memory_map.test.cpp ├── memory_map.test.sh ├── old │ ├── bdd.test.cpp │ ├── dimacs.cpp │ ├── query.test.cpp │ └── query.test.h ├── parse_error.test.cpp ├── parse_error.test.sh ├── performance │ ├── erathos_basic.tml │ └── expected │ │ └── erathos_basic.tml.dump ├── rand_prog.cpp ├── rdf │ └── dbpedia │ │ ├── README.md │ │ ├── convert.sh │ │ ├── download.sh │ │ ├── nt2tml │ │ └── urllist ├── regression │ ├── arith │ │ ├── add2_leq.tml │ │ ├── add3.tml │ │ ├── bw_xor.tml │ │ ├── count.tml │ │ ├── expected │ │ │ ├── add2_leq.tml.dump │ │ │ ├── add3.tml.dump │ │ │ ├── bw_xor.tml.dump │ │ │ ├── count.tml.dump │ │ │ ├── leq1.tml.dump │ │ │ ├── mul1.tml.dump │ │ │ ├── mul_ext.tml.dump │ │ │ ├── pw_add.tml.dump │ │ │ ├── pw_mult.tml.dump │ │ │ ├── shl.tml.dump │ │ │ └── shr.tml.dump │ │ ├── leq1.tml │ │ ├── mul1.tml │ │ ├── mul_ext.tml │ │ ├── pw_add.tml │ │ ├── pw_mult.tml │ │ ├── shl.tml │ │ └── shr.tml │ ├── builtins │ │ ├── body_multiple.tml │ │ ├── body_prints.tml │ │ ├── body_var.tml │ │ ├── count.tml │ │ ├── count1.tml │ │ ├── expected │ │ │ ├── body_multiple.tml.dump │ │ │ ├── body_multiple.tml.output │ │ │ ├── body_prints.tml.dump │ │ │ ├── body_prints.tml.output │ │ │ ├── body_var.tml.dump │ │ │ ├── body_var.tml.output │ │ │ ├── count.tml.dump │ │ │ ├── count1.tml.dump │ │ │ ├── false.tml.dump │ │ │ ├── halt.tml.dump │ │ │ ├── head_body_var.tml.dump │ │ │ ├── head_body_var.tml.output │ │ │ ├── head_prints.tml.dump │ │ │ ├── head_prints.tml.output │ │ │ ├── renew_and_forget.tml.dump │ │ │ └── renew_and_forget.tml.output │ │ ├── false.tml │ │ ├── halt.tml │ │ ├── head_body_var.tml │ │ ├── head_prints.tml │ │ └── renew_and_forget.tml │ ├── chars │ │ ├── char_escape.tml │ │ ├── expected │ │ │ ├── char_escape.tml.dump │ │ │ ├── string.tml.dump │ │ │ └── unicode.tml.dump │ │ ├── string.tml │ │ └── unicode.tml │ ├── facts_optimization │ │ ├── 2-00500.tml │ │ ├── 2-01000.tml │ │ ├── 2-02000.tml │ │ ├── 2-04000.tml │ │ ├── 2-08000.tml │ │ ├── 4-00500.tml │ │ ├── 4-01000.tml │ │ ├── 4-08000.tml │ │ ├── 4-16000.tml │ │ ├── 8-00500.tml │ │ ├── 8-01000.tml │ │ ├── 8-02000.tml │ │ ├── dump.sh │ │ ├── expected │ │ │ ├── 2-00500.tml.dump │ │ │ ├── 2-01000.tml.dump │ │ │ ├── 2-02000.tml.dump │ │ │ ├── 2-04000.tml.dump │ │ │ ├── 2-08000.tml.dump │ │ │ ├── 2-16000.tml.dump │ │ │ ├── 4-00500.tml.dump │ │ │ ├── 4-01000.tml.dump │ │ │ ├── 4-02000.tml.dump │ │ │ ├── 4-04000.tml.dump │ │ │ ├── 4-08000.tml.dump │ │ │ ├── 4-16000.tml.dump │ │ │ ├── 8-00500.tml.dump │ │ │ ├── 8-01000.tml.dump │ │ │ ├── 8-02000.tml.dump │ │ │ ├── 8-04000.tml.dump │ │ │ ├── 8-08000.tml.dump │ │ │ └── 8-16000.tml.dump │ │ ├── sample_generator.sh │ │ └── table.sh │ ├── head_body │ │ ├── duplicit_body.tml │ │ ├── duplicit_rule.tml │ │ └── expected │ │ │ ├── duplicit_body.tml.dump │ │ │ ├── duplicit_rule.tml.dump │ │ │ └── negation_in_head.tml.dump │ ├── intro │ │ ├── 01_intro.tml │ │ ├── 02_FACTS.tml │ │ ├── 03_RELATIONS.tml │ │ ├── 04_ARITY.tml │ │ ├── 05_RULES.tml │ │ ├── 06_VARIABLES.tml │ │ ├── 07_AND_OR.tml │ │ ├── 08_RECURSION.tml │ │ ├── 09_TRANSITIVE_CLOSURE.tml │ │ ├── 10_NEGATION.tml │ │ ├── 11_DELETION.tml │ │ ├── 12_family.tml │ │ ├── 13_armageddon.tml │ │ ├── 14_UNSAT.tml │ │ ├── 15_DYCKs_LANGUAGE.tml │ │ └── expected │ │ │ ├── 01_intro.tml.dump │ │ │ ├── 02_FACTS.tml.dump │ │ │ ├── 03_RELATIONS.tml.dump │ │ │ ├── 04_ARITY.tml.dump │ │ │ ├── 05_RULES.tml.dump │ │ │ ├── 06_VARIABLES.tml.dump │ │ │ ├── 07_AND_OR.tml.dump │ │ │ ├── 08_RECURSION.tml.dump │ │ │ ├── 09_TRANSITIVE_CLOSURE.tml.dump │ │ │ ├── 10_NEGATION.tml.dump │ │ │ ├── 11_DELETION.tml.dump │ │ │ ├── 12_family.tml.dump │ │ │ ├── 13_armageddon.tml.dump │ │ │ ├── 14_UNSAT.tml.dump │ │ │ └── 15_DYCKs_LANGUAGE.tml.dump │ ├── nested_progs │ │ ├── expected │ │ │ ├── if1.tml.dump │ │ │ ├── if1_A.tml.dump │ │ │ ├── if1_AB.tml.dump │ │ │ ├── if1_ABC.tml.dump │ │ │ ├── if1_AC.tml.dump │ │ │ ├── if1_B.tml.dump │ │ │ ├── if1_BC.tml.dump │ │ │ ├── if1_C.tml.dump │ │ │ ├── if2_1.tml.dump │ │ │ ├── if2_2.tml.dump │ │ │ ├── if3_1.tml.dump │ │ │ ├── if3_2.tml.dump │ │ │ ├── nested1.tml.dump │ │ │ ├── nested2.tml.dump │ │ │ ├── nested3.tml.dump │ │ │ ├── nested4.tml.dump │ │ │ ├── nested5.tml.dump │ │ │ ├── nested_add_bit.tml.dump │ │ │ └── while1.tml.dump │ │ ├── if1.tml │ │ ├── if1_A.tml │ │ ├── if1_AB.tml │ │ ├── if1_ABC.tml │ │ ├── if1_AC.tml │ │ ├── if1_B.tml │ │ ├── if1_BC.tml │ │ ├── if1_C.tml │ │ ├── if2_1.tml │ │ ├── if2_2.tml │ │ ├── if3_1.tml │ │ ├── if3_2.tml │ │ ├── nested1.tml │ │ ├── nested2.tml │ │ ├── nested3.tml │ │ ├── nested4.tml │ │ ├── nested5.tml │ │ ├── nested_add_bit.tml │ │ └── options │ ├── quantifiers │ │ ├── 2heads.tml │ │ ├── ev_1.tml │ │ ├── ev_2.tml │ │ ├── expected │ │ │ ├── 2heads.tml.dump │ │ │ ├── ev_1.tml.dump │ │ │ ├── ev_2.tml.dump │ │ │ ├── fa2.tml.dump │ │ │ ├── fa2b.tml.dump │ │ │ ├── faex.tml.dump │ │ │ ├── fe.tml.dump │ │ │ ├── fol_0.tml.dump │ │ │ ├── fol_add.tml.dump │ │ │ ├── fol_dm0.tml.dump │ │ │ ├── fol_dm1.tml.dump │ │ │ ├── fol_dm2.tml.dump │ │ │ ├── fol_neg0.tml.dump │ │ │ ├── fol_neg1.tml.dump │ │ │ ├── fol_qp0.tml.dump │ │ │ ├── fol_qp1.tml.dump │ │ │ ├── leq_0.tml.dump │ │ │ ├── leq_1.tml.dump │ │ │ ├── lucca0.tml.dump │ │ │ ├── t0.tml.dump │ │ │ ├── t01.tml.dump │ │ │ ├── t11.tml.dump │ │ │ ├── tomas0.tml.dump │ │ │ ├── tomas1.tml.dump │ │ │ ├── unique0.tml.dump │ │ │ ├── unique1.tml.dump │ │ │ └── unique2.tml.dump │ │ ├── fa2.tml │ │ ├── fa2b.tml │ │ ├── faex.tml │ │ ├── fe.tml │ │ ├── fol_0.tml │ │ ├── fol_add.tml │ │ ├── fol_dm0.tml │ │ ├── fol_dm1.tml │ │ ├── fol_dm2.tml │ │ ├── fol_neg0.tml │ │ ├── fol_neg1.tml │ │ ├── fol_qp0.tml │ │ ├── fol_qp1.tml │ │ ├── leq_0.tml │ │ ├── leq_1.tml │ │ ├── lucca0.tml │ │ ├── options │ │ ├── t0.tml │ │ ├── t01.tml │ │ ├── t11.tml │ │ ├── tomas0.tml │ │ ├── tomas1.tml │ │ ├── unique0.tml │ │ ├── unique1.tml │ │ └── unique2.tml │ ├── state_blocks │ │ ├── backtracking_sudoku_state_blocks.tml │ │ ├── expected │ │ │ ├── backtracking_sudoku_state_blocks.tml.dump │ │ │ ├── backtracking_sudoku_state_blocks.tml.output │ │ │ ├── factorial_state_blocks.tml.dump │ │ │ ├── state_blocks.tml.dump │ │ │ ├── state_blocks.tml.output │ │ │ └── state_blocks_fp.tml.dump │ │ ├── factorial_state_blocks.tml │ │ ├── options │ │ ├── state_blocks.tml │ │ └── state_blocks_fp.tml │ └── unsat │ │ ├── contradiction1.tml │ │ ├── contradiction2.tml │ │ ├── expected │ │ ├── contradiction1.tml.dump │ │ ├── contradiction2.tml.dump │ │ ├── inifnite_loop1.tml.dump │ │ └── inifnite_loop2.tml.dump │ │ ├── inifnite_loop1.tml │ │ └── inifnite_loop2.tml ├── run_all_development_tests.sh ├── run_all_nodejs_regression_tests.sh ├── run_all_regression_tests.sh ├── run_nodejs_regression_tests.sh ├── run_regression_tests.sh ├── run_regression_tests_with.sh ├── run_unit_tests.sh ├── sat │ ├── bdd.cpp │ ├── bdd.h │ ├── defs.h │ ├── main.cpp │ └── memory_map.h ├── simple_test.h ├── sppf │ ├── misc-thesis-disambiguity.tml │ ├── scottpaper-example2.tml │ └── scottpaper-example3.tml ├── tc │ ├── rtest.sh │ ├── tcgen.cpp │ ├── tcrand.cpp │ ├── tcres.cpp │ └── test.sh ├── test_earley.cpp ├── test_input.cpp ├── test_iterators.cpp ├── test_output.cpp ├── test_transform_opt.cpp ├── test_transform_opt.h └── unittest.hpp ├── tml-check.sh.in └── tml-gdb.py /.clang-format: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/.clang-format -------------------------------------------------------------------------------- /.gitattributes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/.gitattributes -------------------------------------------------------------------------------- /.github/workflows/ccpp.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/.github/workflows/ccpp.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/.gitmodules -------------------------------------------------------------------------------- /0001-better-data-structure-for-earley-item-storage.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/0001-better-data-structure-for-earley-item-storage.patch -------------------------------------------------------------------------------- /CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/CMakeLists.txt -------------------------------------------------------------------------------- /Development.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/Development.md -------------------------------------------------------------------------------- /INSTALL.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/INSTALL.md -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/README.md -------------------------------------------------------------------------------- /checks.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/checks.sh -------------------------------------------------------------------------------- /clang-format.sh.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/clang-format.sh.in -------------------------------------------------------------------------------- /clean.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/clean.sh -------------------------------------------------------------------------------- /cmake/CodeCoverage.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/cmake/CodeCoverage.cmake -------------------------------------------------------------------------------- /cmake/add_tml_js_lib.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/cmake/add_tml_js_lib.cmake -------------------------------------------------------------------------------- /cmake/clang-format.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/cmake/clang-format.cmake -------------------------------------------------------------------------------- /cmake/clang-tidy.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/cmake/clang-tidy.cmake -------------------------------------------------------------------------------- /cmake/code-coverage.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/cmake/code-coverage.cmake -------------------------------------------------------------------------------- /cmake/cppcheck.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/cmake/cppcheck.cmake -------------------------------------------------------------------------------- /cmake/emscripten_toolchain.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/cmake/emscripten_toolchain.cmake -------------------------------------------------------------------------------- /cmake/git-defs.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/cmake/git-defs.cmake -------------------------------------------------------------------------------- /cmake/tml-check.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/cmake/tml-check.cmake -------------------------------------------------------------------------------- /cmake/tml-common.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/cmake/tml-common.cmake -------------------------------------------------------------------------------- /coverage.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/coverage.sh -------------------------------------------------------------------------------- /debug-js.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/debug-js.sh -------------------------------------------------------------------------------- /debug.sh: -------------------------------------------------------------------------------- 1 | #!/bin/bash 2 | 3 | ./build.sh Debug $@ 4 | -------------------------------------------------------------------------------- /docs/Doxyfile.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/docs/Doxyfile.in -------------------------------------------------------------------------------- /gen_tml.g.cpp.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/gen_tml.g.cpp.sh -------------------------------------------------------------------------------- /get_emsdk.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/get_emsdk.sh -------------------------------------------------------------------------------- /js/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/js/CMakeLists.txt -------------------------------------------------------------------------------- /js/embindings.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/js/embindings.h -------------------------------------------------------------------------------- /js/test.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/js/test.html -------------------------------------------------------------------------------- /js/tmljs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/js/tmljs -------------------------------------------------------------------------------- /pgo_test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/pgo_test.sh -------------------------------------------------------------------------------- /rebuild_all_and_run_tests.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/rebuild_all_and_run_tests.sh -------------------------------------------------------------------------------- /release-js.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/release-js.sh -------------------------------------------------------------------------------- /release.sh: -------------------------------------------------------------------------------- 1 | #!/bin/bash 2 | 3 | ./build.sh Release $@ 4 | -------------------------------------------------------------------------------- /rudeanu/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/rudeanu/Makefile -------------------------------------------------------------------------------- /rudeanu/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/rudeanu/README.md -------------------------------------------------------------------------------- /rudeanu/rudeanu.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/rudeanu/rudeanu.cpp -------------------------------------------------------------------------------- /src/ARCHITECTURE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/src/ARCHITECTURE.md -------------------------------------------------------------------------------- /src/ARCHITECTURE.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/src/ARCHITECTURE.png -------------------------------------------------------------------------------- /src/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/src/CMakeLists.txt -------------------------------------------------------------------------------- /src/Makefile.nocmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/src/Makefile.nocmake -------------------------------------------------------------------------------- /src/OPTIMIZATION.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/src/OPTIMIZATION.md -------------------------------------------------------------------------------- /src/async_reader.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/src/async_reader.h -------------------------------------------------------------------------------- /src/bdd.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/src/bdd.cpp -------------------------------------------------------------------------------- /src/bdd.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/src/bdd.h -------------------------------------------------------------------------------- /src/bdd_arith.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/src/bdd_arith.cpp -------------------------------------------------------------------------------- /src/bit_universe.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/src/bit_universe.cpp -------------------------------------------------------------------------------- /src/bit_universe.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/src/bit_universe.h -------------------------------------------------------------------------------- /src/builtins.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/src/builtins.cpp -------------------------------------------------------------------------------- /src/builtins.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/src/builtins.h -------------------------------------------------------------------------------- /src/char_defs.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/src/char_defs.h -------------------------------------------------------------------------------- /src/cpp_gen.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/src/cpp_gen.cpp -------------------------------------------------------------------------------- /src/cpp_gen.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/src/cpp_gen.h -------------------------------------------------------------------------------- /src/debug.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/src/debug.sh -------------------------------------------------------------------------------- /src/defs.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/src/defs.h -------------------------------------------------------------------------------- /src/dict.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/src/dict.cpp -------------------------------------------------------------------------------- /src/dict.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/src/dict.h -------------------------------------------------------------------------------- /src/driver.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/src/driver.cpp -------------------------------------------------------------------------------- /src/driver.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/src/driver.h -------------------------------------------------------------------------------- /src/earley.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/src/earley.cpp -------------------------------------------------------------------------------- /src/earley.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/src/earley.h -------------------------------------------------------------------------------- /src/err.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/src/err.h -------------------------------------------------------------------------------- /src/eval.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/src/eval.tml -------------------------------------------------------------------------------- /src/fof.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/src/fof.cpp -------------------------------------------------------------------------------- /src/fof.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/src/fof.h -------------------------------------------------------------------------------- /src/form.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/src/form.cpp -------------------------------------------------------------------------------- /src/form.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/src/form.h -------------------------------------------------------------------------------- /src/input.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/src/input.cpp -------------------------------------------------------------------------------- /src/input.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/src/input.h -------------------------------------------------------------------------------- /src/ir_builder.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/src/ir_builder.cpp -------------------------------------------------------------------------------- /src/ir_builder.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/src/ir_builder.h -------------------------------------------------------------------------------- /src/iterators.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/src/iterators.cpp -------------------------------------------------------------------------------- /src/iterators.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/src/iterators.h -------------------------------------------------------------------------------- /src/main.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/src/main.cpp -------------------------------------------------------------------------------- /src/memory_map.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/src/memory_map.h -------------------------------------------------------------------------------- /src/options.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/src/options.cpp -------------------------------------------------------------------------------- /src/options.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/src/options.h -------------------------------------------------------------------------------- /src/output.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/src/output.cpp -------------------------------------------------------------------------------- /src/output.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/src/output.h -------------------------------------------------------------------------------- /src/printing.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/src/printing.cpp -------------------------------------------------------------------------------- /src/printing.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/src/printing.h -------------------------------------------------------------------------------- /src/proof.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/src/proof.cpp -------------------------------------------------------------------------------- /src/release.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/src/release.sh -------------------------------------------------------------------------------- /src/repl.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/src/repl.cpp -------------------------------------------------------------------------------- /src/repl.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/src/repl.g -------------------------------------------------------------------------------- /src/repl.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/src/repl.h -------------------------------------------------------------------------------- /src/save_csv.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/src/save_csv.cpp -------------------------------------------------------------------------------- /src/tables.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/src/tables.cpp -------------------------------------------------------------------------------- /src/tables.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/src/tables.h -------------------------------------------------------------------------------- /src/tables_builtins.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/src/tables_builtins.cpp -------------------------------------------------------------------------------- /src/tables_ext.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/src/tables_ext.cpp -------------------------------------------------------------------------------- /src/tables_printer.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/src/tables_printer.cpp -------------------------------------------------------------------------------- /src/tables_progress.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/src/tables_progress.cpp -------------------------------------------------------------------------------- /src/tables_progress.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/src/tables_progress.h -------------------------------------------------------------------------------- /src/term.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/src/term.h -------------------------------------------------------------------------------- /src/tml.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/src/tml.g -------------------------------------------------------------------------------- /src/tml.g.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/src/tml.g.cpp -------------------------------------------------------------------------------- /src/tml.g.reg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/src/tml.g.reg -------------------------------------------------------------------------------- /src/tml_earley.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/src/tml_earley.cpp -------------------------------------------------------------------------------- /src/tml_updates_factory.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/src/tml_updates_factory.h -------------------------------------------------------------------------------- /src/transform.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/src/transform.cpp -------------------------------------------------------------------------------- /src/transform_bitunv.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/src/transform_bitunv.cpp -------------------------------------------------------------------------------- /src/transform_guards.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/src/transform_guards.cpp -------------------------------------------------------------------------------- /src/transform_opt.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/src/transform_opt.cpp -------------------------------------------------------------------------------- /src/transform_opt_common.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/src/transform_opt_common.h -------------------------------------------------------------------------------- /src/transform_opt_cqc.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/src/transform_opt_cqc.cpp -------------------------------------------------------------------------------- /src/transform_opt_cqc.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/src/transform_opt_cqc.h -------------------------------------------------------------------------------- /src/transform_opt_squaring.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/src/transform_opt_squaring.cpp -------------------------------------------------------------------------------- /src/transform_opt_squaring.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/src/transform_opt_squaring.h -------------------------------------------------------------------------------- /src/tree.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/src/tree.cpp -------------------------------------------------------------------------------- /src/type_resolution.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/src/type_resolution.cpp -------------------------------------------------------------------------------- /src/type_resolution.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/src/type_resolution.h -------------------------------------------------------------------------------- /src/typemanager.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/src/typemanager.cpp -------------------------------------------------------------------------------- /src/typemanager.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/src/typemanager.h -------------------------------------------------------------------------------- /src/udp.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/src/udp.h -------------------------------------------------------------------------------- /src/utils.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/src/utils.cpp -------------------------------------------------------------------------------- /tests/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/CMakeLists.txt -------------------------------------------------------------------------------- /tests/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/README.md -------------------------------------------------------------------------------- /tests/bdd/cache_test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/bdd/cache_test.cpp -------------------------------------------------------------------------------- /tests/bdd/cache_test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/bdd/cache_test.sh -------------------------------------------------------------------------------- /tests/bdd/canonicity_test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/bdd/canonicity_test.cpp -------------------------------------------------------------------------------- /tests/bdd/canonicity_test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/bdd/canonicity_test.sh -------------------------------------------------------------------------------- /tests/development/beyondcfg/csg.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/beyondcfg/csg.tml -------------------------------------------------------------------------------- /tests/development/beyondcfg/csg1.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/beyondcfg/csg1.tml -------------------------------------------------------------------------------- /tests/development/beyondcfg/csg2.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/beyondcfg/csg2.tml -------------------------------------------------------------------------------- /tests/development/beyondcfg/csg3_sval.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/beyondcfg/csg3_sval.tml -------------------------------------------------------------------------------- /tests/development/beyondcfg/csg4_sval.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/beyondcfg/csg4_sval.tml -------------------------------------------------------------------------------- /tests/development/beyondcfg/expected/csg.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/beyondcfg/expected/csg.tml.dump -------------------------------------------------------------------------------- /tests/development/beyondcfg/expected/csg1.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/beyondcfg/expected/csg1.tml.dump -------------------------------------------------------------------------------- /tests/development/beyondcfg/expected/csg2.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/beyondcfg/expected/csg2.tml.dump -------------------------------------------------------------------------------- /tests/development/beyondcfg/expected/csg3_sval.tml.dump: -------------------------------------------------------------------------------- 1 | S(0 10). 2 | -------------------------------------------------------------------------------- /tests/development/beyondcfg/expected/csg4_sval.tml.dump: -------------------------------------------------------------------------------- 1 | S(0 7). 2 | -------------------------------------------------------------------------------- /tests/development/builtins_bt/expected/leq_bt.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/builtins_bt/expected/leq_bt.tml.dump -------------------------------------------------------------------------------- /tests/development/builtins_bt/expected/leq_bt2.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/builtins_bt/expected/leq_bt2.tml.dump -------------------------------------------------------------------------------- /tests/development/builtins_bt/leq_bt.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/builtins_bt/leq_bt.tml -------------------------------------------------------------------------------- /tests/development/builtins_bt/leq_bt2.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/builtins_bt/leq_bt2.tml -------------------------------------------------------------------------------- /tests/development/builtins_bt/options: -------------------------------------------------------------------------------- 1 | -bitunv 2 | -------------------------------------------------------------------------------- /tests/development/dcg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/dcg -------------------------------------------------------------------------------- /tests/development/dyck: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/dyck -------------------------------------------------------------------------------- /tests/development/earley/24000_15_DYCKs_LANGUAGE.tml.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/earley/24000_15_DYCKs_LANGUAGE.tml.txt -------------------------------------------------------------------------------- /tests/development/earley/arith.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/earley/arith.tml -------------------------------------------------------------------------------- /tests/development/earley/bin_lr_test.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/earley/bin_lr_test.g -------------------------------------------------------------------------------- /tests/development/earley/dycks.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/earley/dycks.tml -------------------------------------------------------------------------------- /tests/development/earley/earley_tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/earley/earley_tml -------------------------------------------------------------------------------- /tests/development/earley/errortest1.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/earley/errortest1.tml -------------------------------------------------------------------------------- /tests/development/earley/expression_priority.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/earley/expression_priority.g -------------------------------------------------------------------------------- /tests/development/earley/grammar.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/earley/grammar.tml -------------------------------------------------------------------------------- /tests/development/earley/graph0.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/earley/graph0.dot -------------------------------------------------------------------------------- /tests/development/earley/graph0.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/earley/graph0.png -------------------------------------------------------------------------------- /tests/development/earley/graph1.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/earley/graph1.dot -------------------------------------------------------------------------------- /tests/development/earley/graph1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/earley/graph1.png -------------------------------------------------------------------------------- /tests/development/earley/graph2.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/earley/graph2.dot -------------------------------------------------------------------------------- /tests/development/earley/graph2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/earley/graph2.png -------------------------------------------------------------------------------- /tests/development/earley/graph3.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/earley/graph3.dot -------------------------------------------------------------------------------- /tests/development/earley/graph3.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/earley/graph3.png -------------------------------------------------------------------------------- /tests/development/earley/graph4.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/earley/graph4.dot -------------------------------------------------------------------------------- /tests/development/earley/graph4.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/earley/graph4.png -------------------------------------------------------------------------------- /tests/development/earley/graph5.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/earley/graph5.dot -------------------------------------------------------------------------------- /tests/development/earley/graph5.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/earley/graph5.png -------------------------------------------------------------------------------- /tests/development/earley/graph6.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/earley/graph6.dot -------------------------------------------------------------------------------- /tests/development/earley/graph6.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/earley/graph6.png -------------------------------------------------------------------------------- /tests/development/earley/infiinteambiguity.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/earley/infiinteambiguity.tml -------------------------------------------------------------------------------- /tests/development/earley/parse_graph0.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/earley/parse_graph0.tml -------------------------------------------------------------------------------- /tests/development/earley/parse_graph0_tml_earley.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/earley/parse_graph0_tml_earley.g -------------------------------------------------------------------------------- /tests/development/earley/parse_graph1.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/earley/parse_graph1.tml -------------------------------------------------------------------------------- /tests/development/earley/parse_graph2.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/earley/parse_graph2.tml -------------------------------------------------------------------------------- /tests/development/earley/parse_graph3.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/earley/parse_graph3.tml -------------------------------------------------------------------------------- /tests/development/earley/parse_graph4.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/earley/parse_graph4.tml -------------------------------------------------------------------------------- /tests/development/earley/parse_graph5.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/earley/parse_graph5.tml -------------------------------------------------------------------------------- /tests/development/earley/parse_graph6.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/earley/parse_graph6.tml -------------------------------------------------------------------------------- /tests/development/earley/parse_regression_tests: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/earley/parse_regression_tests -------------------------------------------------------------------------------- /tests/development/earley/parse_rules0.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/earley/parse_rules0.tml -------------------------------------------------------------------------------- /tests/development/earley/parse_rules1.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/earley/parse_rules1.tml -------------------------------------------------------------------------------- /tests/development/earley/parse_rules2.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/earley/parse_rules2.tml -------------------------------------------------------------------------------- /tests/development/earley/parse_rules3.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/earley/parse_rules3.tml -------------------------------------------------------------------------------- /tests/development/earley/parse_rules4.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/earley/parse_rules4.tml -------------------------------------------------------------------------------- /tests/development/earley/parse_rules5.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/earley/parse_rules5.tml -------------------------------------------------------------------------------- /tests/development/earley/parse_rules6.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/earley/parse_rules6.tml -------------------------------------------------------------------------------- /tests/development/earley/parse_rules_tml_earley.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/earley/parse_rules_tml_earley.g -------------------------------------------------------------------------------- /tests/development/earley/regress_5.g: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/earley/regress_5.g -------------------------------------------------------------------------------- /tests/development/earley/stress.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/earley/stress.tml -------------------------------------------------------------------------------- /tests/development/earley/stress_1024.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/earley/stress_1024.tml -------------------------------------------------------------------------------- /tests/development/earley/stress_128.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/earley/stress_128.tml -------------------------------------------------------------------------------- /tests/development/earley/stress_16.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/earley/stress_16.tml -------------------------------------------------------------------------------- /tests/development/earley/stress_32.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/earley/stress_32.tml -------------------------------------------------------------------------------- /tests/development/earley/stress_512.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/earley/stress_512.tml -------------------------------------------------------------------------------- /tests/development/earley/stress_64.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/earley/stress_64.tml -------------------------------------------------------------------------------- /tests/development/ebnf/ba.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/ebnf/ba.tml -------------------------------------------------------------------------------- /tests/development/ebnf/ba1.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/ebnf/ba1.tml -------------------------------------------------------------------------------- /tests/development/ebnf/basic.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/ebnf/basic.tml -------------------------------------------------------------------------------- /tests/development/ebnf/basicFail.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/ebnf/basicFail.tml -------------------------------------------------------------------------------- /tests/development/ebnf/expected/ba.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/ebnf/expected/ba.tml.dump -------------------------------------------------------------------------------- /tests/development/ebnf/expected/ba1.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/ebnf/expected/ba1.tml.dump -------------------------------------------------------------------------------- /tests/development/ebnf/expected/basic.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/ebnf/expected/basic.tml.dump -------------------------------------------------------------------------------- /tests/development/ebnf/expected/tartring.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/ebnf/expected/tartring.tml.dump -------------------------------------------------------------------------------- /tests/development/ebnf/tartring.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/ebnf/tartring.tml -------------------------------------------------------------------------------- /tests/development/ebnf/test0.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/ebnf/test0.tml -------------------------------------------------------------------------------- /tests/development/eval/env.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/eval/env.tml -------------------------------------------------------------------------------- /tests/development/eval/expected/env.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/eval/expected/env.tml.dump -------------------------------------------------------------------------------- /tests/development/eval/expected/facts.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/eval/expected/facts.tml.dump -------------------------------------------------------------------------------- /tests/development/eval/expected/heads.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/eval/expected/heads.tml.dump -------------------------------------------------------------------------------- /tests/development/eval/expected/mixed.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/eval/expected/mixed.tml.dump -------------------------------------------------------------------------------- /tests/development/eval/expected/ref_sym.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/eval/expected/ref_sym.tml.dump -------------------------------------------------------------------------------- /tests/development/eval/expected/trans.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/eval/expected/trans.tml.dump -------------------------------------------------------------------------------- /tests/development/eval/expected/trans_sym.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/eval/expected/trans_sym.tml.dump -------------------------------------------------------------------------------- /tests/development/eval/expected/vars.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/eval/expected/vars.tml.dump -------------------------------------------------------------------------------- /tests/development/eval/facts.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/eval/facts.tml -------------------------------------------------------------------------------- /tests/development/eval/heads.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/eval/heads.tml -------------------------------------------------------------------------------- /tests/development/eval/mixed.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/eval/mixed.tml -------------------------------------------------------------------------------- /tests/development/eval/options: -------------------------------------------------------------------------------- 1 | --to-dnf 2 | -------------------------------------------------------------------------------- /tests/development/eval/ref_sym.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/eval/ref_sym.tml -------------------------------------------------------------------------------- /tests/development/eval/trans.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/eval/trans.tml -------------------------------------------------------------------------------- /tests/development/eval/trans_sym.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/eval/trans_sym.tml -------------------------------------------------------------------------------- /tests/development/eval/vars.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/eval/vars.tml -------------------------------------------------------------------------------- /tests/development/eval_partial_tree_proofs/env.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/eval_partial_tree_proofs/env.tml -------------------------------------------------------------------------------- /tests/development/eval_partial_tree_proofs/expected/env.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/eval_partial_tree_proofs/expected/env.tml.dump -------------------------------------------------------------------------------- /tests/development/eval_partial_tree_proofs/expected/facts.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/eval_partial_tree_proofs/expected/facts.tml.dump -------------------------------------------------------------------------------- /tests/development/eval_partial_tree_proofs/expected/heads.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/eval_partial_tree_proofs/expected/heads.tml.dump -------------------------------------------------------------------------------- /tests/development/eval_partial_tree_proofs/expected/mixed.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/eval_partial_tree_proofs/expected/mixed.tml.dump -------------------------------------------------------------------------------- /tests/development/eval_partial_tree_proofs/expected/ref_sym.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/eval_partial_tree_proofs/expected/ref_sym.tml.dump -------------------------------------------------------------------------------- /tests/development/eval_partial_tree_proofs/expected/trans.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/eval_partial_tree_proofs/expected/trans.tml.dump -------------------------------------------------------------------------------- /tests/development/eval_partial_tree_proofs/expected/trans_sym.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/eval_partial_tree_proofs/expected/trans_sym.tml.dump -------------------------------------------------------------------------------- /tests/development/eval_partial_tree_proofs/expected/vars.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/eval_partial_tree_proofs/expected/vars.tml.dump -------------------------------------------------------------------------------- /tests/development/eval_partial_tree_proofs/facts.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/eval_partial_tree_proofs/facts.tml -------------------------------------------------------------------------------- /tests/development/eval_partial_tree_proofs/heads.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/eval_partial_tree_proofs/heads.tml -------------------------------------------------------------------------------- /tests/development/eval_partial_tree_proofs/mixed.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/eval_partial_tree_proofs/mixed.tml -------------------------------------------------------------------------------- /tests/development/eval_partial_tree_proofs/options: -------------------------------------------------------------------------------- 1 | --to-dnf --proof partial-tree 2 | 3 | -------------------------------------------------------------------------------- /tests/development/eval_partial_tree_proofs/ref_sym.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/eval_partial_tree_proofs/ref_sym.tml -------------------------------------------------------------------------------- /tests/development/eval_partial_tree_proofs/trans.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/eval_partial_tree_proofs/trans.tml -------------------------------------------------------------------------------- /tests/development/eval_partial_tree_proofs/trans_sym.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/eval_partial_tree_proofs/trans_sym.tml -------------------------------------------------------------------------------- /tests/development/eval_partial_tree_proofs/vars.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/eval_partial_tree_proofs/vars.tml -------------------------------------------------------------------------------- /tests/development/example_sof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/example_sof -------------------------------------------------------------------------------- /tests/development/example_sof_fail: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/example_sof_fail -------------------------------------------------------------------------------- /tests/development/fixpoint/expected/married_unmarried.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/fixpoint/expected/married_unmarried.tml.dump -------------------------------------------------------------------------------- /tests/development/fixpoint/expected/slow.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/fixpoint/expected/slow.tml.dump -------------------------------------------------------------------------------- /tests/development/fixpoint/expected/unmarried_married.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/fixpoint/expected/unmarried_married.tml.dump -------------------------------------------------------------------------------- /tests/development/fixpoint/married_married.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/fixpoint/married_married.tml -------------------------------------------------------------------------------- /tests/development/fixpoint/married_unmarried.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/fixpoint/married_unmarried.tml -------------------------------------------------------------------------------- /tests/development/fixpoint/married_unmarried_unsat.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/fixpoint/married_unmarried_unsat.tml -------------------------------------------------------------------------------- /tests/development/fixpoint/options: -------------------------------------------------------------------------------- 1 | --to-dnf 2 | -------------------------------------------------------------------------------- /tests/development/fixpoint/slow.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/fixpoint/slow.tml -------------------------------------------------------------------------------- /tests/development/fixpoint/slow_unsat.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/fixpoint/slow_unsat.tml -------------------------------------------------------------------------------- /tests/development/fixpoint/unmarried_married.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/fixpoint/unmarried_married.tml -------------------------------------------------------------------------------- /tests/development/fixpoint/unmarried_married_unsat.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/fixpoint/unmarried_married_unsat.tml -------------------------------------------------------------------------------- /tests/development/fixpoint/unmarried_unmarried.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/fixpoint/unmarried_unmarried.tml -------------------------------------------------------------------------------- /tests/development/fof: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/fof -------------------------------------------------------------------------------- /tests/development/fol_v2/expected/fof0.tml.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/fol_v2/expected/fof0.tml.expected -------------------------------------------------------------------------------- /tests/development/fol_v2/fof0.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/fol_v2/fof0.tml -------------------------------------------------------------------------------- /tests/development/fol_v2/fof1.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/fol_v2/fof1.tml -------------------------------------------------------------------------------- /tests/development/forest_proofs/expected/married_unmarried.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/forest_proofs/expected/married_unmarried.tml.dump -------------------------------------------------------------------------------- /tests/development/forest_proofs/expected/slow.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/forest_proofs/expected/slow.tml.dump -------------------------------------------------------------------------------- /tests/development/forest_proofs/expected/unmarried_married.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/forest_proofs/expected/unmarried_married.tml.dump -------------------------------------------------------------------------------- /tests/development/forest_proofs/married_unmarried.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/forest_proofs/married_unmarried.tml -------------------------------------------------------------------------------- /tests/development/forest_proofs/options: -------------------------------------------------------------------------------- 1 | --to-dnf --proof forest 2 | -------------------------------------------------------------------------------- /tests/development/forest_proofs/slow.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/forest_proofs/slow.tml -------------------------------------------------------------------------------- /tests/development/forest_proofs/unmarried_married.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/forest_proofs/unmarried_married.tml -------------------------------------------------------------------------------- /tests/development/macro/constant_bug.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/macro/constant_bug.tml -------------------------------------------------------------------------------- /tests/development/macro/expected/constant_bug.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/macro/expected/constant_bug.tml.dump -------------------------------------------------------------------------------- /tests/development/macro/expected/m1.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/macro/expected/m1.tml.dump -------------------------------------------------------------------------------- /tests/development/macro/expected/m3.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/macro/expected/m3.tml.dump -------------------------------------------------------------------------------- /tests/development/macro/expected/m4.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/macro/expected/m4.tml.dump -------------------------------------------------------------------------------- /tests/development/macro/m1.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/macro/m1.tml -------------------------------------------------------------------------------- /tests/development/macro/m2.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/macro/m2.tml -------------------------------------------------------------------------------- /tests/development/macro/m3.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/macro/m3.tml -------------------------------------------------------------------------------- /tests/development/macro/m4.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/macro/m4.tml -------------------------------------------------------------------------------- /tests/development/nested_progs/while1.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/nested_progs/while1.tml -------------------------------------------------------------------------------- /tests/development/optimization/cost_function/join-16384.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/optimization/cost_function/join-16384.tml -------------------------------------------------------------------------------- /tests/development/optimization/cost_function/join-256.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/optimization/cost_function/join-256.tml -------------------------------------------------------------------------------- /tests/development/optimization/cost_function/join-8192.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/optimization/cost_function/join-8192.tml -------------------------------------------------------------------------------- /tests/development/optimization/cost_function/product.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/optimization/cost_function/product.tml -------------------------------------------------------------------------------- /tests/development/optimization/cost_function/projectioin-from-3.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/optimization/cost_function/projectioin-from-3.tml -------------------------------------------------------------------------------- /tests/development/optimization/cost_function/projection-from-2.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/optimization/cost_function/projection-from-2.tml -------------------------------------------------------------------------------- /tests/development/optimization/cost_function/sample_generator.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/optimization/cost_function/sample_generator.sh -------------------------------------------------------------------------------- /tests/development/optimization/cost_function/table.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/optimization/cost_function/table.sh -------------------------------------------------------------------------------- /tests/development/optimization/simple_cqc.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/optimization/simple_cqc.tml -------------------------------------------------------------------------------- /tests/development/optimization/simple_squaring.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/optimization/simple_squaring.tml -------------------------------------------------------------------------------- /tests/development/partial_forest_proofs/expected/married_unmarried.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/partial_forest_proofs/expected/married_unmarried.tml.dump -------------------------------------------------------------------------------- /tests/development/partial_forest_proofs/expected/slow.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/partial_forest_proofs/expected/slow.tml.dump -------------------------------------------------------------------------------- /tests/development/partial_forest_proofs/expected/unmarried_married.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/partial_forest_proofs/expected/unmarried_married.tml.dump -------------------------------------------------------------------------------- /tests/development/partial_forest_proofs/married_unmarried.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/partial_forest_proofs/married_unmarried.tml -------------------------------------------------------------------------------- /tests/development/partial_forest_proofs/options: -------------------------------------------------------------------------------- 1 | --to-dnf --proof partial-forest 2 | -------------------------------------------------------------------------------- /tests/development/partial_forest_proofs/slow.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/partial_forest_proofs/slow.tml -------------------------------------------------------------------------------- /tests/development/partial_forest_proofs/unmarried_married.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/partial_forest_proofs/unmarried_married.tml -------------------------------------------------------------------------------- /tests/development/partial_tree_proofs/expected/married_unmarried.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/partial_tree_proofs/expected/married_unmarried.tml.dump -------------------------------------------------------------------------------- /tests/development/partial_tree_proofs/expected/slow.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/partial_tree_proofs/expected/slow.tml.dump -------------------------------------------------------------------------------- /tests/development/partial_tree_proofs/expected/unmarried_married.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/partial_tree_proofs/expected/unmarried_married.tml.dump -------------------------------------------------------------------------------- /tests/development/partial_tree_proofs/married_unmarried.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/partial_tree_proofs/married_unmarried.tml -------------------------------------------------------------------------------- /tests/development/partial_tree_proofs/options: -------------------------------------------------------------------------------- 1 | --to-dnf --proof partial-tree 2 | -------------------------------------------------------------------------------- /tests/development/partial_tree_proofs/slow.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/partial_tree_proofs/slow.tml -------------------------------------------------------------------------------- /tests/development/partial_tree_proofs/unmarried_married.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/partial_tree_proofs/unmarried_married.tml -------------------------------------------------------------------------------- /tests/development/pnf_tests: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/pnf_tests -------------------------------------------------------------------------------- /tests/development/quantifiers_safe/2heads.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/quantifiers_safe/2heads.tml -------------------------------------------------------------------------------- /tests/development/quantifiers_safe/ev_1.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/quantifiers_safe/ev_1.tml -------------------------------------------------------------------------------- /tests/development/quantifiers_safe/ev_2.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/quantifiers_safe/ev_2.tml -------------------------------------------------------------------------------- /tests/development/quantifiers_safe/expected/2heads.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/quantifiers_safe/expected/2heads.tml.dump -------------------------------------------------------------------------------- /tests/development/quantifiers_safe/expected/ev_1.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/quantifiers_safe/expected/ev_1.tml.dump -------------------------------------------------------------------------------- /tests/development/quantifiers_safe/expected/ev_2.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/quantifiers_safe/expected/ev_2.tml.dump -------------------------------------------------------------------------------- /tests/development/quantifiers_safe/expected/fa2.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/quantifiers_safe/expected/fa2.tml.dump -------------------------------------------------------------------------------- /tests/development/quantifiers_safe/expected/fa2b.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/quantifiers_safe/expected/fa2b.tml.dump -------------------------------------------------------------------------------- /tests/development/quantifiers_safe/expected/faex.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/quantifiers_safe/expected/faex.tml.dump -------------------------------------------------------------------------------- /tests/development/quantifiers_safe/expected/fe.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/quantifiers_safe/expected/fe.tml.dump -------------------------------------------------------------------------------- /tests/development/quantifiers_safe/expected/fol_0.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/quantifiers_safe/expected/fol_0.tml.dump -------------------------------------------------------------------------------- /tests/development/quantifiers_safe/expected/fol_add.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/quantifiers_safe/expected/fol_add.tml.dump -------------------------------------------------------------------------------- /tests/development/quantifiers_safe/expected/fol_dm0.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/quantifiers_safe/expected/fol_dm0.tml.dump -------------------------------------------------------------------------------- /tests/development/quantifiers_safe/expected/fol_dm1.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/quantifiers_safe/expected/fol_dm1.tml.dump -------------------------------------------------------------------------------- /tests/development/quantifiers_safe/expected/fol_dm2.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/quantifiers_safe/expected/fol_dm2.tml.dump -------------------------------------------------------------------------------- /tests/development/quantifiers_safe/expected/fol_neg0.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/quantifiers_safe/expected/fol_neg0.tml.dump -------------------------------------------------------------------------------- /tests/development/quantifiers_safe/expected/fol_neg1.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/quantifiers_safe/expected/fol_neg1.tml.dump -------------------------------------------------------------------------------- /tests/development/quantifiers_safe/expected/fol_qp0.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/quantifiers_safe/expected/fol_qp0.tml.dump -------------------------------------------------------------------------------- /tests/development/quantifiers_safe/expected/fol_qp1.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/quantifiers_safe/expected/fol_qp1.tml.dump -------------------------------------------------------------------------------- /tests/development/quantifiers_safe/expected/leq_0.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/quantifiers_safe/expected/leq_0.tml.dump -------------------------------------------------------------------------------- /tests/development/quantifiers_safe/expected/leq_1.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/quantifiers_safe/expected/leq_1.tml.dump -------------------------------------------------------------------------------- /tests/development/quantifiers_safe/expected/lucca0.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/quantifiers_safe/expected/lucca0.tml.dump -------------------------------------------------------------------------------- /tests/development/quantifiers_safe/expected/t0.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/quantifiers_safe/expected/t0.tml.dump -------------------------------------------------------------------------------- /tests/development/quantifiers_safe/expected/t01.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/quantifiers_safe/expected/t01.tml.dump -------------------------------------------------------------------------------- /tests/development/quantifiers_safe/expected/t11.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/quantifiers_safe/expected/t11.tml.dump -------------------------------------------------------------------------------- /tests/development/quantifiers_safe/expected/tomas0.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/quantifiers_safe/expected/tomas0.tml.dump -------------------------------------------------------------------------------- /tests/development/quantifiers_safe/expected/tomas1.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/quantifiers_safe/expected/tomas1.tml.dump -------------------------------------------------------------------------------- /tests/development/quantifiers_safe/expected/unique0.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/quantifiers_safe/expected/unique0.tml.dump -------------------------------------------------------------------------------- /tests/development/quantifiers_safe/expected/unique1.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/quantifiers_safe/expected/unique1.tml.dump -------------------------------------------------------------------------------- /tests/development/quantifiers_safe/expected/unique2.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/quantifiers_safe/expected/unique2.tml.dump -------------------------------------------------------------------------------- /tests/development/quantifiers_safe/fa2.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/quantifiers_safe/fa2.tml -------------------------------------------------------------------------------- /tests/development/quantifiers_safe/fa2b.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/quantifiers_safe/fa2b.tml -------------------------------------------------------------------------------- /tests/development/quantifiers_safe/faex.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/quantifiers_safe/faex.tml -------------------------------------------------------------------------------- /tests/development/quantifiers_safe/fe.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/quantifiers_safe/fe.tml -------------------------------------------------------------------------------- /tests/development/quantifiers_safe/fol_0.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/quantifiers_safe/fol_0.tml -------------------------------------------------------------------------------- /tests/development/quantifiers_safe/fol_add.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/quantifiers_safe/fol_add.tml -------------------------------------------------------------------------------- /tests/development/quantifiers_safe/fol_dm0.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/quantifiers_safe/fol_dm0.tml -------------------------------------------------------------------------------- /tests/development/quantifiers_safe/fol_dm1.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/quantifiers_safe/fol_dm1.tml -------------------------------------------------------------------------------- /tests/development/quantifiers_safe/fol_dm2.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/quantifiers_safe/fol_dm2.tml -------------------------------------------------------------------------------- /tests/development/quantifiers_safe/fol_neg0.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/quantifiers_safe/fol_neg0.tml -------------------------------------------------------------------------------- /tests/development/quantifiers_safe/fol_neg1.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/quantifiers_safe/fol_neg1.tml -------------------------------------------------------------------------------- /tests/development/quantifiers_safe/fol_qp0.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/quantifiers_safe/fol_qp0.tml -------------------------------------------------------------------------------- /tests/development/quantifiers_safe/fol_qp1.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/quantifiers_safe/fol_qp1.tml -------------------------------------------------------------------------------- /tests/development/quantifiers_safe/leq_0.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/quantifiers_safe/leq_0.tml -------------------------------------------------------------------------------- /tests/development/quantifiers_safe/leq_1.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/quantifiers_safe/leq_1.tml -------------------------------------------------------------------------------- /tests/development/quantifiers_safe/lucca0.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/quantifiers_safe/lucca0.tml -------------------------------------------------------------------------------- /tests/development/quantifiers_safe/t0.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/quantifiers_safe/t0.tml -------------------------------------------------------------------------------- /tests/development/quantifiers_safe/t01.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/quantifiers_safe/t01.tml -------------------------------------------------------------------------------- /tests/development/quantifiers_safe/t11.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/quantifiers_safe/t11.tml -------------------------------------------------------------------------------- /tests/development/quantifiers_safe/tomas0.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/quantifiers_safe/tomas0.tml -------------------------------------------------------------------------------- /tests/development/quantifiers_safe/tomas1.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/quantifiers_safe/tomas1.tml -------------------------------------------------------------------------------- /tests/development/quantifiers_safe/unique0.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/quantifiers_safe/unique0.tml -------------------------------------------------------------------------------- /tests/development/quantifiers_safe/unique1.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/quantifiers_safe/unique1.tml -------------------------------------------------------------------------------- /tests/development/quantifiers_safe/unique2.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/quantifiers_safe/unique2.tml -------------------------------------------------------------------------------- /tests/development/regexp-level/expected/reg1.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/regexp-level/expected/reg1.tml.dump -------------------------------------------------------------------------------- /tests/development/regexp-level/expected/reg2.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/regexp-level/expected/reg2.tml.dump -------------------------------------------------------------------------------- /tests/development/regexp-level/expected/reg3smallestmatch.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/regexp-level/expected/reg3smallestmatch.tml.dump -------------------------------------------------------------------------------- /tests/development/regexp-level/expected/reg4.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/regexp-level/expected/reg4.tml.dump -------------------------------------------------------------------------------- /tests/development/regexp-level/expected/tml.g.reg.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/regexp-level/expected/tml.g.reg.tml.dump -------------------------------------------------------------------------------- /tests/development/regexp-level/options: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/regexp-level/options -------------------------------------------------------------------------------- /tests/development/regexp-level/reg1.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/regexp-level/reg1.tml -------------------------------------------------------------------------------- /tests/development/regexp-level/reg2.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/regexp-level/reg2.tml -------------------------------------------------------------------------------- /tests/development/regexp-level/reg3smallestmatch.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/regexp-level/reg3smallestmatch.tml -------------------------------------------------------------------------------- /tests/development/regexp-level/reg4.tml: -------------------------------------------------------------------------------- 1 | @string str "1234". 2 | 3 | S => digit*. 4 | -------------------------------------------------------------------------------- /tests/development/regexp-level/tml.g.reg.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/regexp-level/tml.g.reg.tml -------------------------------------------------------------------------------- /tests/development/regexp/expected/reg1.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/regexp/expected/reg1.tml.dump -------------------------------------------------------------------------------- /tests/development/regexp/expected/reg2.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/regexp/expected/reg2.tml.dump -------------------------------------------------------------------------------- /tests/development/regexp/expected/reg3smallestmatch.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/regexp/expected/reg3smallestmatch.tml.dump -------------------------------------------------------------------------------- /tests/development/regexp/expected/reg4.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/regexp/expected/reg4.tml.dump -------------------------------------------------------------------------------- /tests/development/regexp/options: -------------------------------------------------------------------------------- 1 | --regex 2 | -------------------------------------------------------------------------------- /tests/development/regexp/reg1.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/regexp/reg1.tml -------------------------------------------------------------------------------- /tests/development/regexp/reg2.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/regexp/reg2.tml -------------------------------------------------------------------------------- /tests/development/regexp/reg3smallestmatch.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/regexp/reg3smallestmatch.tml -------------------------------------------------------------------------------- /tests/development/regexp/reg4.tml: -------------------------------------------------------------------------------- 1 | @string str "1234". 2 | 3 | start => digit*. 4 | -------------------------------------------------------------------------------- /tests/development/safety/safe.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/safety/safe.tml -------------------------------------------------------------------------------- /tests/development/safety/unsafe.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/safety/unsafe.tml -------------------------------------------------------------------------------- /tests/development/seq_example: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/seq_example -------------------------------------------------------------------------------- /tests/development/sol/expected/t20.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/sol/expected/t20.tml.dump -------------------------------------------------------------------------------- /tests/development/sol/expected/t21.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/sol/expected/t21.tml.dump -------------------------------------------------------------------------------- /tests/development/sol/expected/t30.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/sol/expected/t30.tml.dump -------------------------------------------------------------------------------- /tests/development/sol/expected/t31.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/sol/expected/t31.tml.dump -------------------------------------------------------------------------------- /tests/development/sol/expected/t32.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/sol/expected/t32.tml.dump -------------------------------------------------------------------------------- /tests/development/sol/t20.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/sol/t20.tml -------------------------------------------------------------------------------- /tests/development/sol/t21.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/sol/t21.tml -------------------------------------------------------------------------------- /tests/development/sol/t30.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/sol/t30.tml -------------------------------------------------------------------------------- /tests/development/sol/t31.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/sol/t31.tml -------------------------------------------------------------------------------- /tests/development/sol/t32.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/sol/t32.tml -------------------------------------------------------------------------------- /tests/development/sol/test: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/development/sol/tml: -------------------------------------------------------------------------------- 1 | ../../../build-Debug/tml -------------------------------------------------------------------------------- /tests/development/str_example: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/str_example -------------------------------------------------------------------------------- /tests/development/tree: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/tree -------------------------------------------------------------------------------- /tests/development/tree_proofs/expected/married_unmarried.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/tree_proofs/expected/married_unmarried.tml.dump -------------------------------------------------------------------------------- /tests/development/tree_proofs/expected/slow.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/tree_proofs/expected/slow.tml.dump -------------------------------------------------------------------------------- /tests/development/tree_proofs/expected/unmarried_married.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/tree_proofs/expected/unmarried_married.tml.dump -------------------------------------------------------------------------------- /tests/development/tree_proofs/married_unmarried.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/tree_proofs/married_unmarried.tml -------------------------------------------------------------------------------- /tests/development/tree_proofs/options: -------------------------------------------------------------------------------- 1 | --to-dnf --proof tree 2 | -------------------------------------------------------------------------------- /tests/development/tree_proofs/slow.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/tree_proofs/slow.tml -------------------------------------------------------------------------------- /tests/development/tree_proofs/unmarried_married.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/tree_proofs/unmarried_married.tml -------------------------------------------------------------------------------- /tests/development/type_system/02_FACTS.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/type_system/02_FACTS.tml -------------------------------------------------------------------------------- /tests/development/type_system/05_RULES.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/type_system/05_RULES.tml -------------------------------------------------------------------------------- /tests/development/type_system/06_VARIABLES.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/type_system/06_VARIABLES.tml -------------------------------------------------------------------------------- /tests/development/type_system/07_AND_OR.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/type_system/07_AND_OR.tml -------------------------------------------------------------------------------- /tests/development/type_system/08_RECURSION.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/type_system/08_RECURSION.tml -------------------------------------------------------------------------------- /tests/development/type_system/09_TRANSITIVE_CLOSURE.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/type_system/09_TRANSITIVE_CLOSURE.tml -------------------------------------------------------------------------------- /tests/development/type_system/1.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/type_system/1.tml -------------------------------------------------------------------------------- /tests/development/type_system/10_NEGATION.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/type_system/10_NEGATION.tml -------------------------------------------------------------------------------- /tests/development/type_system/11_DELETION.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/type_system/11_DELETION.tml -------------------------------------------------------------------------------- /tests/development/type_system/12_family.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/type_system/12_family.tml -------------------------------------------------------------------------------- /tests/development/type_system/13_armageddon.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/type_system/13_armageddon.tml -------------------------------------------------------------------------------- /tests/development/type_system/14_UNSAT.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/type_system/14_UNSAT.tml -------------------------------------------------------------------------------- /tests/development/type_system/1_infer.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/type_system/1_infer.tml -------------------------------------------------------------------------------- /tests/development/type_system/1_infer_assign.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/type_system/1_infer_assign.tml -------------------------------------------------------------------------------- /tests/development/type_system/1_infer_partial.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/type_system/1_infer_partial.tml -------------------------------------------------------------------------------- /tests/development/type_system/1typefail.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/type_system/1typefail.tml -------------------------------------------------------------------------------- /tests/development/type_system/2.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/type_system/2.tml -------------------------------------------------------------------------------- /tests/development/type_system/2_infer.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/type_system/2_infer.tml -------------------------------------------------------------------------------- /tests/development/type_system/2typefail.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/type_system/2typefail.tml -------------------------------------------------------------------------------- /tests/development/type_system/3_infer_exam.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/type_system/3_infer_exam.tml -------------------------------------------------------------------------------- /tests/development/type_system/3_type_order_terms.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/type_system/3_type_order_terms.tml -------------------------------------------------------------------------------- /tests/development/type_system/4_arith.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/type_system/4_arith.tml -------------------------------------------------------------------------------- /tests/development/type_system/backtrack_x.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/type_system/backtrack_x.tml -------------------------------------------------------------------------------- /tests/development/type_system/bitunv_kz.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/type_system/bitunv_kz.tml -------------------------------------------------------------------------------- /tests/development/type_system/expected/02_FACTS.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/type_system/expected/02_FACTS.tml.dump -------------------------------------------------------------------------------- /tests/development/type_system/expected/05_RULES.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/type_system/expected/05_RULES.tml.dump -------------------------------------------------------------------------------- /tests/development/type_system/expected/06_VARIABLES.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/type_system/expected/06_VARIABLES.tml.dump -------------------------------------------------------------------------------- /tests/development/type_system/expected/07_AND_OR.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/type_system/expected/07_AND_OR.tml.dump -------------------------------------------------------------------------------- /tests/development/type_system/expected/08_RECURSION.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/type_system/expected/08_RECURSION.tml.dump -------------------------------------------------------------------------------- /tests/development/type_system/expected/09_TRANSITIVE_CLOSURE.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/type_system/expected/09_TRANSITIVE_CLOSURE.tml.dump -------------------------------------------------------------------------------- /tests/development/type_system/expected/1.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/type_system/expected/1.tml.dump -------------------------------------------------------------------------------- /tests/development/type_system/expected/10_NEGATION.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/type_system/expected/10_NEGATION.tml.dump -------------------------------------------------------------------------------- /tests/development/type_system/expected/11_DELETION.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/type_system/expected/11_DELETION.tml.dump -------------------------------------------------------------------------------- /tests/development/type_system/expected/12_family.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/type_system/expected/12_family.tml.dump -------------------------------------------------------------------------------- /tests/development/type_system/expected/13_armageddon.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/type_system/expected/13_armageddon.tml.dump -------------------------------------------------------------------------------- /tests/development/type_system/expected/2.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/type_system/expected/2.tml.dump -------------------------------------------------------------------------------- /tests/development/type_system/fol.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/type_system/fol.tml -------------------------------------------------------------------------------- /tests/development/type_system/infer_fol.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/type_system/infer_fol.tml -------------------------------------------------------------------------------- /tests/development/type_system/nested1.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/type_system/nested1.tml -------------------------------------------------------------------------------- /tests/development/type_system/posfail.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/type_system/posfail.tml -------------------------------------------------------------------------------- /tests/development/type_system/postest.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/type_system/postest.tml -------------------------------------------------------------------------------- /tests/development/type_system/symrange.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/type_system/symrange.tml -------------------------------------------------------------------------------- /tests/development/type_system/test.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/type_system/test.tml -------------------------------------------------------------------------------- /tests/development/type_system/test2.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/type_system/test2.tml -------------------------------------------------------------------------------- /tests/development/type_system/test3.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/type_system/test3.tml -------------------------------------------------------------------------------- /tests/development/type_system/test4.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/type_system/test4.tml -------------------------------------------------------------------------------- /tests/development/type_system/test5.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/type_system/test5.tml -------------------------------------------------------------------------------- /tests/development/type_system/test7.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/type_system/test7.tml -------------------------------------------------------------------------------- /tests/development/type_system/test8_fol.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/development/type_system/test8_fol.tml -------------------------------------------------------------------------------- /tests/memory_map.test.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/memory_map.test.bat -------------------------------------------------------------------------------- /tests/memory_map.test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/memory_map.test.cpp -------------------------------------------------------------------------------- /tests/memory_map.test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/memory_map.test.sh -------------------------------------------------------------------------------- /tests/old/bdd.test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/old/bdd.test.cpp -------------------------------------------------------------------------------- /tests/old/dimacs.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/old/dimacs.cpp -------------------------------------------------------------------------------- /tests/old/query.test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/old/query.test.cpp -------------------------------------------------------------------------------- /tests/old/query.test.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/old/query.test.h -------------------------------------------------------------------------------- /tests/parse_error.test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/parse_error.test.cpp -------------------------------------------------------------------------------- /tests/parse_error.test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/parse_error.test.sh -------------------------------------------------------------------------------- /tests/performance/erathos_basic.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/performance/erathos_basic.tml -------------------------------------------------------------------------------- /tests/performance/expected/erathos_basic.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/performance/expected/erathos_basic.tml.dump -------------------------------------------------------------------------------- /tests/rand_prog.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/rand_prog.cpp -------------------------------------------------------------------------------- /tests/rdf/dbpedia/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/rdf/dbpedia/README.md -------------------------------------------------------------------------------- /tests/rdf/dbpedia/convert.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/rdf/dbpedia/convert.sh -------------------------------------------------------------------------------- /tests/rdf/dbpedia/download.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/rdf/dbpedia/download.sh -------------------------------------------------------------------------------- /tests/rdf/dbpedia/nt2tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/rdf/dbpedia/nt2tml -------------------------------------------------------------------------------- /tests/rdf/dbpedia/urllist: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/rdf/dbpedia/urllist -------------------------------------------------------------------------------- /tests/regression/arith/add2_leq.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/arith/add2_leq.tml -------------------------------------------------------------------------------- /tests/regression/arith/add3.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/arith/add3.tml -------------------------------------------------------------------------------- /tests/regression/arith/bw_xor.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/arith/bw_xor.tml -------------------------------------------------------------------------------- /tests/regression/arith/count.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/arith/count.tml -------------------------------------------------------------------------------- /tests/regression/arith/expected/add2_leq.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/arith/expected/add2_leq.tml.dump -------------------------------------------------------------------------------- /tests/regression/arith/expected/add3.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/arith/expected/add3.tml.dump -------------------------------------------------------------------------------- /tests/regression/arith/expected/bw_xor.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/arith/expected/bw_xor.tml.dump -------------------------------------------------------------------------------- /tests/regression/arith/expected/count.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/arith/expected/count.tml.dump -------------------------------------------------------------------------------- /tests/regression/arith/expected/leq1.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/arith/expected/leq1.tml.dump -------------------------------------------------------------------------------- /tests/regression/arith/expected/mul1.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/arith/expected/mul1.tml.dump -------------------------------------------------------------------------------- /tests/regression/arith/expected/mul_ext.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/arith/expected/mul_ext.tml.dump -------------------------------------------------------------------------------- /tests/regression/arith/expected/pw_add.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/arith/expected/pw_add.tml.dump -------------------------------------------------------------------------------- /tests/regression/arith/expected/pw_mult.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/arith/expected/pw_mult.tml.dump -------------------------------------------------------------------------------- /tests/regression/arith/expected/shl.tml.dump: -------------------------------------------------------------------------------- 1 | b(3). 2 | setA(2). 3 | -------------------------------------------------------------------------------- /tests/regression/arith/expected/shr.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/arith/expected/shr.tml.dump -------------------------------------------------------------------------------- /tests/regression/arith/leq1.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/arith/leq1.tml -------------------------------------------------------------------------------- /tests/regression/arith/mul1.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/arith/mul1.tml -------------------------------------------------------------------------------- /tests/regression/arith/mul_ext.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/arith/mul_ext.tml -------------------------------------------------------------------------------- /tests/regression/arith/pw_add.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/arith/pw_add.tml -------------------------------------------------------------------------------- /tests/regression/arith/pw_mult.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/arith/pw_mult.tml -------------------------------------------------------------------------------- /tests/regression/arith/shl.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/arith/shl.tml -------------------------------------------------------------------------------- /tests/regression/arith/shr.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/arith/shr.tml -------------------------------------------------------------------------------- /tests/regression/builtins/body_multiple.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/builtins/body_multiple.tml -------------------------------------------------------------------------------- /tests/regression/builtins/body_prints.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/builtins/body_prints.tml -------------------------------------------------------------------------------- /tests/regression/builtins/body_var.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/builtins/body_var.tml -------------------------------------------------------------------------------- /tests/regression/builtins/count.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/builtins/count.tml -------------------------------------------------------------------------------- /tests/regression/builtins/count1.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/builtins/count1.tml -------------------------------------------------------------------------------- /tests/regression/builtins/expected/body_multiple.tml.dump: -------------------------------------------------------------------------------- 1 | multiple(). 2 | -------------------------------------------------------------------------------- /tests/regression/builtins/expected/body_multiple.tml.output: -------------------------------------------------------------------------------- 1 | WX 2 | YZ 3 | -------------------------------------------------------------------------------- /tests/regression/builtins/expected/body_prints.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/builtins/expected/body_prints.tml.dump -------------------------------------------------------------------------------- /tests/regression/builtins/expected/body_prints.tml.output: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/builtins/expected/body_prints.tml.output -------------------------------------------------------------------------------- /tests/regression/builtins/expected/body_var.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/builtins/expected/body_var.tml.dump -------------------------------------------------------------------------------- /tests/regression/builtins/expected/body_var.tml.output: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/builtins/expected/body_var.tml.output -------------------------------------------------------------------------------- /tests/regression/builtins/expected/count.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/builtins/expected/count.tml.dump -------------------------------------------------------------------------------- /tests/regression/builtins/expected/count1.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/builtins/expected/count1.tml.dump -------------------------------------------------------------------------------- /tests/regression/builtins/expected/false.tml.dump: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/regression/builtins/expected/halt.tml.dump: -------------------------------------------------------------------------------- 1 | 0 2 | 1 3 | 2 4 | 3 5 | -------------------------------------------------------------------------------- /tests/regression/builtins/expected/head_body_var.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/builtins/expected/head_body_var.tml.dump -------------------------------------------------------------------------------- /tests/regression/builtins/expected/head_body_var.tml.output: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/builtins/expected/head_body_var.tml.output -------------------------------------------------------------------------------- /tests/regression/builtins/expected/head_prints.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/builtins/expected/head_prints.tml.dump -------------------------------------------------------------------------------- /tests/regression/builtins/expected/head_prints.tml.output: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/builtins/expected/head_prints.tml.output -------------------------------------------------------------------------------- /tests/regression/builtins/expected/renew_and_forget.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/builtins/expected/renew_and_forget.tml.dump -------------------------------------------------------------------------------- /tests/regression/builtins/expected/renew_and_forget.tml.output: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/builtins/expected/renew_and_forget.tml.output -------------------------------------------------------------------------------- /tests/regression/builtins/false.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/builtins/false.tml -------------------------------------------------------------------------------- /tests/regression/builtins/halt.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/builtins/halt.tml -------------------------------------------------------------------------------- /tests/regression/builtins/head_body_var.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/builtins/head_body_var.tml -------------------------------------------------------------------------------- /tests/regression/builtins/head_prints.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/builtins/head_prints.tml -------------------------------------------------------------------------------- /tests/regression/builtins/renew_and_forget.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/builtins/renew_and_forget.tml -------------------------------------------------------------------------------- /tests/regression/chars/char_escape.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/chars/char_escape.tml -------------------------------------------------------------------------------- /tests/regression/chars/expected/char_escape.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/chars/expected/char_escape.tml.dump -------------------------------------------------------------------------------- /tests/regression/chars/expected/string.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/chars/expected/string.tml.dump -------------------------------------------------------------------------------- /tests/regression/chars/expected/unicode.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/chars/expected/unicode.tml.dump -------------------------------------------------------------------------------- /tests/regression/chars/string.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/chars/string.tml -------------------------------------------------------------------------------- /tests/regression/chars/unicode.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/chars/unicode.tml -------------------------------------------------------------------------------- /tests/regression/facts_optimization/2-00500.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/facts_optimization/2-00500.tml -------------------------------------------------------------------------------- /tests/regression/facts_optimization/2-01000.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/facts_optimization/2-01000.tml -------------------------------------------------------------------------------- /tests/regression/facts_optimization/2-02000.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/facts_optimization/2-02000.tml -------------------------------------------------------------------------------- /tests/regression/facts_optimization/2-04000.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/facts_optimization/2-04000.tml -------------------------------------------------------------------------------- /tests/regression/facts_optimization/2-08000.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/facts_optimization/2-08000.tml -------------------------------------------------------------------------------- /tests/regression/facts_optimization/4-00500.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/facts_optimization/4-00500.tml -------------------------------------------------------------------------------- /tests/regression/facts_optimization/4-01000.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/facts_optimization/4-01000.tml -------------------------------------------------------------------------------- /tests/regression/facts_optimization/4-08000.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/facts_optimization/4-08000.tml -------------------------------------------------------------------------------- /tests/regression/facts_optimization/4-16000.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/facts_optimization/4-16000.tml -------------------------------------------------------------------------------- /tests/regression/facts_optimization/8-00500.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/facts_optimization/8-00500.tml -------------------------------------------------------------------------------- /tests/regression/facts_optimization/8-01000.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/facts_optimization/8-01000.tml -------------------------------------------------------------------------------- /tests/regression/facts_optimization/8-02000.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/facts_optimization/8-02000.tml -------------------------------------------------------------------------------- /tests/regression/facts_optimization/dump.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/facts_optimization/dump.sh -------------------------------------------------------------------------------- /tests/regression/facts_optimization/expected/2-00500.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/facts_optimization/expected/2-00500.tml.dump -------------------------------------------------------------------------------- /tests/regression/facts_optimization/expected/2-01000.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/facts_optimization/expected/2-01000.tml.dump -------------------------------------------------------------------------------- /tests/regression/facts_optimization/expected/2-02000.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/facts_optimization/expected/2-02000.tml.dump -------------------------------------------------------------------------------- /tests/regression/facts_optimization/expected/2-04000.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/facts_optimization/expected/2-04000.tml.dump -------------------------------------------------------------------------------- /tests/regression/facts_optimization/expected/2-08000.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/facts_optimization/expected/2-08000.tml.dump -------------------------------------------------------------------------------- /tests/regression/facts_optimization/expected/2-16000.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/facts_optimization/expected/2-16000.tml.dump -------------------------------------------------------------------------------- /tests/regression/facts_optimization/expected/4-00500.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/facts_optimization/expected/4-00500.tml.dump -------------------------------------------------------------------------------- /tests/regression/facts_optimization/expected/4-01000.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/facts_optimization/expected/4-01000.tml.dump -------------------------------------------------------------------------------- /tests/regression/facts_optimization/expected/4-02000.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/facts_optimization/expected/4-02000.tml.dump -------------------------------------------------------------------------------- /tests/regression/facts_optimization/expected/4-04000.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/facts_optimization/expected/4-04000.tml.dump -------------------------------------------------------------------------------- /tests/regression/facts_optimization/expected/4-08000.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/facts_optimization/expected/4-08000.tml.dump -------------------------------------------------------------------------------- /tests/regression/facts_optimization/expected/4-16000.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/facts_optimization/expected/4-16000.tml.dump -------------------------------------------------------------------------------- /tests/regression/facts_optimization/expected/8-00500.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/facts_optimization/expected/8-00500.tml.dump -------------------------------------------------------------------------------- /tests/regression/facts_optimization/expected/8-01000.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/facts_optimization/expected/8-01000.tml.dump -------------------------------------------------------------------------------- /tests/regression/facts_optimization/expected/8-02000.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/facts_optimization/expected/8-02000.tml.dump -------------------------------------------------------------------------------- /tests/regression/facts_optimization/expected/8-04000.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/facts_optimization/expected/8-04000.tml.dump -------------------------------------------------------------------------------- /tests/regression/facts_optimization/expected/8-08000.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/facts_optimization/expected/8-08000.tml.dump -------------------------------------------------------------------------------- /tests/regression/facts_optimization/expected/8-16000.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/facts_optimization/expected/8-16000.tml.dump -------------------------------------------------------------------------------- /tests/regression/facts_optimization/sample_generator.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/facts_optimization/sample_generator.sh -------------------------------------------------------------------------------- /tests/regression/facts_optimization/table.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/facts_optimization/table.sh -------------------------------------------------------------------------------- /tests/regression/head_body/duplicit_body.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/head_body/duplicit_body.tml -------------------------------------------------------------------------------- /tests/regression/head_body/duplicit_rule.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/head_body/duplicit_rule.tml -------------------------------------------------------------------------------- /tests/regression/head_body/expected/duplicit_body.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/head_body/expected/duplicit_body.tml.dump -------------------------------------------------------------------------------- /tests/regression/head_body/expected/duplicit_rule.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/head_body/expected/duplicit_rule.tml.dump -------------------------------------------------------------------------------- /tests/regression/head_body/expected/negation_in_head.tml.dump: -------------------------------------------------------------------------------- 1 | b(). 2 | a(0). 3 | -------------------------------------------------------------------------------- /tests/regression/intro/01_intro.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/intro/01_intro.tml -------------------------------------------------------------------------------- /tests/regression/intro/02_FACTS.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/intro/02_FACTS.tml -------------------------------------------------------------------------------- /tests/regression/intro/03_RELATIONS.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/intro/03_RELATIONS.tml -------------------------------------------------------------------------------- /tests/regression/intro/04_ARITY.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/intro/04_ARITY.tml -------------------------------------------------------------------------------- /tests/regression/intro/05_RULES.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/intro/05_RULES.tml -------------------------------------------------------------------------------- /tests/regression/intro/06_VARIABLES.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/intro/06_VARIABLES.tml -------------------------------------------------------------------------------- /tests/regression/intro/07_AND_OR.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/intro/07_AND_OR.tml -------------------------------------------------------------------------------- /tests/regression/intro/08_RECURSION.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/intro/08_RECURSION.tml -------------------------------------------------------------------------------- /tests/regression/intro/09_TRANSITIVE_CLOSURE.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/intro/09_TRANSITIVE_CLOSURE.tml -------------------------------------------------------------------------------- /tests/regression/intro/10_NEGATION.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/intro/10_NEGATION.tml -------------------------------------------------------------------------------- /tests/regression/intro/11_DELETION.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/intro/11_DELETION.tml -------------------------------------------------------------------------------- /tests/regression/intro/12_family.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/intro/12_family.tml -------------------------------------------------------------------------------- /tests/regression/intro/13_armageddon.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/intro/13_armageddon.tml -------------------------------------------------------------------------------- /tests/regression/intro/14_UNSAT.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/intro/14_UNSAT.tml -------------------------------------------------------------------------------- /tests/regression/intro/15_DYCKs_LANGUAGE.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/intro/15_DYCKs_LANGUAGE.tml -------------------------------------------------------------------------------- /tests/regression/intro/expected/01_intro.tml.dump: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/regression/intro/expected/02_FACTS.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/intro/expected/02_FACTS.tml.dump -------------------------------------------------------------------------------- /tests/regression/intro/expected/03_RELATIONS.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/intro/expected/03_RELATIONS.tml.dump -------------------------------------------------------------------------------- /tests/regression/intro/expected/04_ARITY.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/intro/expected/04_ARITY.tml.dump -------------------------------------------------------------------------------- /tests/regression/intro/expected/05_RULES.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/intro/expected/05_RULES.tml.dump -------------------------------------------------------------------------------- /tests/regression/intro/expected/06_VARIABLES.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/intro/expected/06_VARIABLES.tml.dump -------------------------------------------------------------------------------- /tests/regression/intro/expected/07_AND_OR.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/intro/expected/07_AND_OR.tml.dump -------------------------------------------------------------------------------- /tests/regression/intro/expected/08_RECURSION.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/intro/expected/08_RECURSION.tml.dump -------------------------------------------------------------------------------- /tests/regression/intro/expected/09_TRANSITIVE_CLOSURE.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/intro/expected/09_TRANSITIVE_CLOSURE.tml.dump -------------------------------------------------------------------------------- /tests/regression/intro/expected/10_NEGATION.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/intro/expected/10_NEGATION.tml.dump -------------------------------------------------------------------------------- /tests/regression/intro/expected/11_DELETION.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/intro/expected/11_DELETION.tml.dump -------------------------------------------------------------------------------- /tests/regression/intro/expected/12_family.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/intro/expected/12_family.tml.dump -------------------------------------------------------------------------------- /tests/regression/intro/expected/13_armageddon.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/intro/expected/13_armageddon.tml.dump -------------------------------------------------------------------------------- /tests/regression/intro/expected/14_UNSAT.tml.dump: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/regression/intro/expected/15_DYCKs_LANGUAGE.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/intro/expected/15_DYCKs_LANGUAGE.tml.dump -------------------------------------------------------------------------------- /tests/regression/nested_progs/expected/if1.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/nested_progs/expected/if1.tml.dump -------------------------------------------------------------------------------- /tests/regression/nested_progs/expected/if1_A.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/nested_progs/expected/if1_A.tml.dump -------------------------------------------------------------------------------- /tests/regression/nested_progs/expected/if1_AB.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/nested_progs/expected/if1_AB.tml.dump -------------------------------------------------------------------------------- /tests/regression/nested_progs/expected/if1_ABC.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/nested_progs/expected/if1_ABC.tml.dump -------------------------------------------------------------------------------- /tests/regression/nested_progs/expected/if1_AC.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/nested_progs/expected/if1_AC.tml.dump -------------------------------------------------------------------------------- /tests/regression/nested_progs/expected/if1_B.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/nested_progs/expected/if1_B.tml.dump -------------------------------------------------------------------------------- /tests/regression/nested_progs/expected/if1_BC.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/nested_progs/expected/if1_BC.tml.dump -------------------------------------------------------------------------------- /tests/regression/nested_progs/expected/if1_C.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/nested_progs/expected/if1_C.tml.dump -------------------------------------------------------------------------------- /tests/regression/nested_progs/expected/if2_1.tml.dump: -------------------------------------------------------------------------------- 1 | A(100). 2 | A_not_empty(). 3 | -------------------------------------------------------------------------------- /tests/regression/nested_progs/expected/if2_2.tml.dump: -------------------------------------------------------------------------------- 1 | A_empty(). 2 | -------------------------------------------------------------------------------- /tests/regression/nested_progs/expected/if3_1.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/nested_progs/expected/if3_1.tml.dump -------------------------------------------------------------------------------- /tests/regression/nested_progs/expected/if3_2.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/nested_progs/expected/if3_2.tml.dump -------------------------------------------------------------------------------- /tests/regression/nested_progs/expected/nested1.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/nested_progs/expected/nested1.tml.dump -------------------------------------------------------------------------------- /tests/regression/nested_progs/expected/nested2.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/nested_progs/expected/nested2.tml.dump -------------------------------------------------------------------------------- /tests/regression/nested_progs/expected/nested3.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/nested_progs/expected/nested3.tml.dump -------------------------------------------------------------------------------- /tests/regression/nested_progs/expected/nested4.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/nested_progs/expected/nested4.tml.dump -------------------------------------------------------------------------------- /tests/regression/nested_progs/expected/nested5.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/nested_progs/expected/nested5.tml.dump -------------------------------------------------------------------------------- /tests/regression/nested_progs/expected/nested_add_bit.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/nested_progs/expected/nested_add_bit.tml.dump -------------------------------------------------------------------------------- /tests/regression/nested_progs/expected/while1.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/nested_progs/expected/while1.tml.dump -------------------------------------------------------------------------------- /tests/regression/nested_progs/if1.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/nested_progs/if1.tml -------------------------------------------------------------------------------- /tests/regression/nested_progs/if1_A.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/nested_progs/if1_A.tml -------------------------------------------------------------------------------- /tests/regression/nested_progs/if1_AB.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/nested_progs/if1_AB.tml -------------------------------------------------------------------------------- /tests/regression/nested_progs/if1_ABC.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/nested_progs/if1_ABC.tml -------------------------------------------------------------------------------- /tests/regression/nested_progs/if1_AC.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/nested_progs/if1_AC.tml -------------------------------------------------------------------------------- /tests/regression/nested_progs/if1_B.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/nested_progs/if1_B.tml -------------------------------------------------------------------------------- /tests/regression/nested_progs/if1_BC.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/nested_progs/if1_BC.tml -------------------------------------------------------------------------------- /tests/regression/nested_progs/if1_C.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/nested_progs/if1_C.tml -------------------------------------------------------------------------------- /tests/regression/nested_progs/if2_1.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/nested_progs/if2_1.tml -------------------------------------------------------------------------------- /tests/regression/nested_progs/if2_2.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/nested_progs/if2_2.tml -------------------------------------------------------------------------------- /tests/regression/nested_progs/if3_1.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/nested_progs/if3_1.tml -------------------------------------------------------------------------------- /tests/regression/nested_progs/if3_2.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/nested_progs/if3_2.tml -------------------------------------------------------------------------------- /tests/regression/nested_progs/nested1.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/nested_progs/nested1.tml -------------------------------------------------------------------------------- /tests/regression/nested_progs/nested2.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/nested_progs/nested2.tml -------------------------------------------------------------------------------- /tests/regression/nested_progs/nested3.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/nested_progs/nested3.tml -------------------------------------------------------------------------------- /tests/regression/nested_progs/nested4.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/nested_progs/nested4.tml -------------------------------------------------------------------------------- /tests/regression/nested_progs/nested5.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/nested_progs/nested5.tml -------------------------------------------------------------------------------- /tests/regression/nested_progs/nested_add_bit.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/nested_progs/nested_add_bit.tml -------------------------------------------------------------------------------- /tests/regression/nested_progs/options: -------------------------------------------------------------------------------- 1 | -g 2 | -------------------------------------------------------------------------------- /tests/regression/quantifiers/2heads.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/quantifiers/2heads.tml -------------------------------------------------------------------------------- /tests/regression/quantifiers/ev_1.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/quantifiers/ev_1.tml -------------------------------------------------------------------------------- /tests/regression/quantifiers/ev_2.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/quantifiers/ev_2.tml -------------------------------------------------------------------------------- /tests/regression/quantifiers/expected/2heads.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/quantifiers/expected/2heads.tml.dump -------------------------------------------------------------------------------- /tests/regression/quantifiers/expected/ev_1.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/quantifiers/expected/ev_1.tml.dump -------------------------------------------------------------------------------- /tests/regression/quantifiers/expected/ev_2.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/quantifiers/expected/ev_2.tml.dump -------------------------------------------------------------------------------- /tests/regression/quantifiers/expected/fa2.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/quantifiers/expected/fa2.tml.dump -------------------------------------------------------------------------------- /tests/regression/quantifiers/expected/fa2b.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/quantifiers/expected/fa2b.tml.dump -------------------------------------------------------------------------------- /tests/regression/quantifiers/expected/faex.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/quantifiers/expected/faex.tml.dump -------------------------------------------------------------------------------- /tests/regression/quantifiers/expected/fe.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/quantifiers/expected/fe.tml.dump -------------------------------------------------------------------------------- /tests/regression/quantifiers/expected/fol_0.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/quantifiers/expected/fol_0.tml.dump -------------------------------------------------------------------------------- /tests/regression/quantifiers/expected/fol_add.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/quantifiers/expected/fol_add.tml.dump -------------------------------------------------------------------------------- /tests/regression/quantifiers/expected/fol_dm0.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/quantifiers/expected/fol_dm0.tml.dump -------------------------------------------------------------------------------- /tests/regression/quantifiers/expected/fol_dm1.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/quantifiers/expected/fol_dm1.tml.dump -------------------------------------------------------------------------------- /tests/regression/quantifiers/expected/fol_dm2.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/quantifiers/expected/fol_dm2.tml.dump -------------------------------------------------------------------------------- /tests/regression/quantifiers/expected/fol_neg0.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/quantifiers/expected/fol_neg0.tml.dump -------------------------------------------------------------------------------- /tests/regression/quantifiers/expected/fol_neg1.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/quantifiers/expected/fol_neg1.tml.dump -------------------------------------------------------------------------------- /tests/regression/quantifiers/expected/fol_qp0.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/quantifiers/expected/fol_qp0.tml.dump -------------------------------------------------------------------------------- /tests/regression/quantifiers/expected/fol_qp1.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/quantifiers/expected/fol_qp1.tml.dump -------------------------------------------------------------------------------- /tests/regression/quantifiers/expected/leq_0.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/quantifiers/expected/leq_0.tml.dump -------------------------------------------------------------------------------- /tests/regression/quantifiers/expected/leq_1.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/quantifiers/expected/leq_1.tml.dump -------------------------------------------------------------------------------- /tests/regression/quantifiers/expected/lucca0.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/quantifiers/expected/lucca0.tml.dump -------------------------------------------------------------------------------- /tests/regression/quantifiers/expected/t0.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/quantifiers/expected/t0.tml.dump -------------------------------------------------------------------------------- /tests/regression/quantifiers/expected/t01.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/quantifiers/expected/t01.tml.dump -------------------------------------------------------------------------------- /tests/regression/quantifiers/expected/t11.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/quantifiers/expected/t11.tml.dump -------------------------------------------------------------------------------- /tests/regression/quantifiers/expected/tomas0.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/quantifiers/expected/tomas0.tml.dump -------------------------------------------------------------------------------- /tests/regression/quantifiers/expected/tomas1.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/quantifiers/expected/tomas1.tml.dump -------------------------------------------------------------------------------- /tests/regression/quantifiers/expected/unique0.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/quantifiers/expected/unique0.tml.dump -------------------------------------------------------------------------------- /tests/regression/quantifiers/expected/unique1.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/quantifiers/expected/unique1.tml.dump -------------------------------------------------------------------------------- /tests/regression/quantifiers/expected/unique2.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/quantifiers/expected/unique2.tml.dump -------------------------------------------------------------------------------- /tests/regression/quantifiers/fa2.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/quantifiers/fa2.tml -------------------------------------------------------------------------------- /tests/regression/quantifiers/fa2b.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/quantifiers/fa2b.tml -------------------------------------------------------------------------------- /tests/regression/quantifiers/faex.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/quantifiers/faex.tml -------------------------------------------------------------------------------- /tests/regression/quantifiers/fe.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/quantifiers/fe.tml -------------------------------------------------------------------------------- /tests/regression/quantifiers/fol_0.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/quantifiers/fol_0.tml -------------------------------------------------------------------------------- /tests/regression/quantifiers/fol_add.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/quantifiers/fol_add.tml -------------------------------------------------------------------------------- /tests/regression/quantifiers/fol_dm0.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/quantifiers/fol_dm0.tml -------------------------------------------------------------------------------- /tests/regression/quantifiers/fol_dm1.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/quantifiers/fol_dm1.tml -------------------------------------------------------------------------------- /tests/regression/quantifiers/fol_dm2.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/quantifiers/fol_dm2.tml -------------------------------------------------------------------------------- /tests/regression/quantifiers/fol_neg0.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/quantifiers/fol_neg0.tml -------------------------------------------------------------------------------- /tests/regression/quantifiers/fol_neg1.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/quantifiers/fol_neg1.tml -------------------------------------------------------------------------------- /tests/regression/quantifiers/fol_qp0.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/quantifiers/fol_qp0.tml -------------------------------------------------------------------------------- /tests/regression/quantifiers/fol_qp1.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/quantifiers/fol_qp1.tml -------------------------------------------------------------------------------- /tests/regression/quantifiers/leq_0.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/quantifiers/leq_0.tml -------------------------------------------------------------------------------- /tests/regression/quantifiers/leq_1.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/quantifiers/leq_1.tml -------------------------------------------------------------------------------- /tests/regression/quantifiers/lucca0.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/quantifiers/lucca0.tml -------------------------------------------------------------------------------- /tests/regression/quantifiers/options: -------------------------------------------------------------------------------- 1 | --no-safecheck 2 | -------------------------------------------------------------------------------- /tests/regression/quantifiers/t0.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/quantifiers/t0.tml -------------------------------------------------------------------------------- /tests/regression/quantifiers/t01.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/quantifiers/t01.tml -------------------------------------------------------------------------------- /tests/regression/quantifiers/t11.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/quantifiers/t11.tml -------------------------------------------------------------------------------- /tests/regression/quantifiers/tomas0.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/quantifiers/tomas0.tml -------------------------------------------------------------------------------- /tests/regression/quantifiers/tomas1.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/quantifiers/tomas1.tml -------------------------------------------------------------------------------- /tests/regression/quantifiers/unique0.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/quantifiers/unique0.tml -------------------------------------------------------------------------------- /tests/regression/quantifiers/unique1.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/quantifiers/unique1.tml -------------------------------------------------------------------------------- /tests/regression/quantifiers/unique2.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/quantifiers/unique2.tml -------------------------------------------------------------------------------- /tests/regression/state_blocks/backtracking_sudoku_state_blocks.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/state_blocks/backtracking_sudoku_state_blocks.tml -------------------------------------------------------------------------------- /tests/regression/state_blocks/expected/backtracking_sudoku_state_blocks.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/state_blocks/expected/backtracking_sudoku_state_blocks.tml.dump -------------------------------------------------------------------------------- /tests/regression/state_blocks/expected/backtracking_sudoku_state_blocks.tml.output: -------------------------------------------------------------------------------- 1 | solution found 2 | -------------------------------------------------------------------------------- /tests/regression/state_blocks/expected/factorial_state_blocks.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/state_blocks/expected/factorial_state_blocks.tml.dump -------------------------------------------------------------------------------- /tests/regression/state_blocks/expected/state_blocks.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/state_blocks/expected/state_blocks.tml.dump -------------------------------------------------------------------------------- /tests/regression/state_blocks/expected/state_blocks.tml.output: -------------------------------------------------------------------------------- 1 | ordering of `a` finished... 2 | -------------------------------------------------------------------------------- /tests/regression/state_blocks/expected/state_blocks_fp.tml.dump: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/state_blocks/expected/state_blocks_fp.tml.dump -------------------------------------------------------------------------------- /tests/regression/state_blocks/factorial_state_blocks.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/state_blocks/factorial_state_blocks.tml -------------------------------------------------------------------------------- /tests/regression/state_blocks/options: -------------------------------------------------------------------------------- 1 | --fp --sb 2 | -------------------------------------------------------------------------------- /tests/regression/state_blocks/state_blocks.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/state_blocks/state_blocks.tml -------------------------------------------------------------------------------- /tests/regression/state_blocks/state_blocks_fp.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/state_blocks/state_blocks_fp.tml -------------------------------------------------------------------------------- /tests/regression/unsat/contradiction1.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/unsat/contradiction1.tml -------------------------------------------------------------------------------- /tests/regression/unsat/contradiction2.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/unsat/contradiction2.tml -------------------------------------------------------------------------------- /tests/regression/unsat/expected/contradiction1.tml.dump: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/regression/unsat/expected/contradiction2.tml.dump: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/regression/unsat/expected/inifnite_loop1.tml.dump: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/regression/unsat/expected/inifnite_loop2.tml.dump: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/regression/unsat/inifnite_loop1.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/unsat/inifnite_loop1.tml -------------------------------------------------------------------------------- /tests/regression/unsat/inifnite_loop2.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/regression/unsat/inifnite_loop2.tml -------------------------------------------------------------------------------- /tests/run_all_development_tests.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/run_all_development_tests.sh -------------------------------------------------------------------------------- /tests/run_all_nodejs_regression_tests.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/run_all_nodejs_regression_tests.sh -------------------------------------------------------------------------------- /tests/run_all_regression_tests.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/run_all_regression_tests.sh -------------------------------------------------------------------------------- /tests/run_nodejs_regression_tests.sh: -------------------------------------------------------------------------------- 1 | #!/bin/bash 2 | 3 | ./run_regression_tests_with.sh ../build-Release/tmljs $@ 4 | -------------------------------------------------------------------------------- /tests/run_regression_tests.sh: -------------------------------------------------------------------------------- 1 | #!/bin/bash 2 | 3 | ./run_regression_tests_with.sh ../build-Release/tml $@ 4 | -------------------------------------------------------------------------------- /tests/run_regression_tests_with.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/run_regression_tests_with.sh -------------------------------------------------------------------------------- /tests/run_unit_tests.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/run_unit_tests.sh -------------------------------------------------------------------------------- /tests/sat/bdd.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/sat/bdd.cpp -------------------------------------------------------------------------------- /tests/sat/bdd.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/sat/bdd.h -------------------------------------------------------------------------------- /tests/sat/defs.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/sat/defs.h -------------------------------------------------------------------------------- /tests/sat/main.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/sat/main.cpp -------------------------------------------------------------------------------- /tests/sat/memory_map.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/sat/memory_map.h -------------------------------------------------------------------------------- /tests/simple_test.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/simple_test.h -------------------------------------------------------------------------------- /tests/sppf/misc-thesis-disambiguity.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/sppf/misc-thesis-disambiguity.tml -------------------------------------------------------------------------------- /tests/sppf/scottpaper-example2.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/sppf/scottpaper-example2.tml -------------------------------------------------------------------------------- /tests/sppf/scottpaper-example3.tml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/sppf/scottpaper-example3.tml -------------------------------------------------------------------------------- /tests/tc/rtest.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/tc/rtest.sh -------------------------------------------------------------------------------- /tests/tc/tcgen.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/tc/tcgen.cpp -------------------------------------------------------------------------------- /tests/tc/tcrand.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/tc/tcrand.cpp -------------------------------------------------------------------------------- /tests/tc/tcres.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/tc/tcres.cpp -------------------------------------------------------------------------------- /tests/tc/test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/tc/test.sh -------------------------------------------------------------------------------- /tests/test_earley.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/test_earley.cpp -------------------------------------------------------------------------------- /tests/test_input.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/test_input.cpp -------------------------------------------------------------------------------- /tests/test_iterators.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/test_iterators.cpp -------------------------------------------------------------------------------- /tests/test_output.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/test_output.cpp -------------------------------------------------------------------------------- /tests/test_transform_opt.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/test_transform_opt.cpp -------------------------------------------------------------------------------- /tests/test_transform_opt.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/test_transform_opt.h -------------------------------------------------------------------------------- /tests/unittest.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tests/unittest.hpp -------------------------------------------------------------------------------- /tml-check.sh.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tml-check.sh.in -------------------------------------------------------------------------------- /tml-gdb.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/IDNI/TML/HEAD/tml-gdb.py --------------------------------------------------------------------------------