|
The file was added | tests/direct_comp/peasy/b1_equal_chain.metta |
The file was added | tests/direct_comp/morph/states_spaces.metta |
The file was added | tests/direct_comp/peasy/b3_direct.metta |
The file was removed | tests/direct_comp/add_atom_match.metta |
The file was added | tests/direct_comp/morph/zeroargs.metta |
The file was added | tests/direct_comp/peasy/f1_imports.metta |
The file was added | tests/direct_comp/morph/multifunction.metta |
The file was added | tests/direct_comp/morph/hyperpose.metta |
The file was added | tests/direct_comp/morph/supercollapse.metta |
The file was added | tests/performance/compare_algo/nqueens/nqueens_compiled.pl |
The file was added | tests/direct_comp/peasy/a3_twoside.metta |
The file was added | tests/direct_comp/peasy/c1_grounded_basic.metta |
The file was added | tests/direct_comp/peasy/c2_spaces_kb.metta |
The file was added | tests/performance/compare_algo/nqueens/n_queens_clpfd_sics.pl |
The file was added | tests/direct_comp/peasy/f1_moduleA.metta |
The file was added | tests/direct_comp/peasy/b5_types_prelim.metta |
The file was added | tests/direct_comp/peasy/e2_states.metta |
The file was removed | tests/direct_comp/compiler_walkthru.metta |
The file was added | tests/direct_comp/peasy/_e2_states_dia.metta |
The file was added | tests/direct_comp/peasy/b4_nondeterm.metta |
The file was added | tests/direct_comp/peasy/f1_moduleC.metta |
The file was added | tests/direct_comp/morph/add_atom_match.metta |
The file was added | tests/direct_comp/peasy/g1_docs.metta |
The file was added | tests/direct_comp/peasy/a2_opencoggy.metta |
The file was added | tests/direct_comp/easy/efail.metta |
The file was added | tests/direct_comp/morph/let_superpose_if_case.metta |
The file was added | tests/direct_comp/peasy/d3_deptypes.metta |
The file was added | tests/direct_comp/morph/let_superpose_list2.metta |
The file was added | tests/direct_comp/morph/nested_parameters.metta |
The file was added | tests/direct_comp/morph/match_superposed_spaces.metta |
The file was added | tests/direct_comp/morph/types3.metta |
The file was added | tests/performance/compare_algo/nqueens/mqueens_ordered.metta.md |
The file was removed | tests/direct_comp/define_if_like.metta.answers |
The file was added | tests/direct_comp/peasy/b0_chaining_prelim.metta |
The file was added | tests/direct_comp/peasy/b2_backchain.metta |
The file was removed | tests/performance/compare_algo/nqueens/format_args_ordered.metta |
The file was added | tests/direct_comp/morph/and_or.metta |
The file was added | tests/direct_comp/morph/superpose_nested.metta |
The file was added | tests/performance/compare_algo/nqueens/n_queens.pl |
The file was removed | tests/direct_comp/00a_lang_compiled_case.metta.answers |
The file was added | tests/direct_comp/morph/identity.metta |
The file was added | tests/direct_comp/peasy/f1_moduleB.metta |
The file was added | tests/direct_comp/peasy/c2_spaces.metta |
The file was removed | tests/direct_comp/add_atom_match.metta.answers |
The file was added | tests/direct_comp/morph/match_feval.metta |
The file was added | tests/direct_comp/morph/collapse.metta |
The file was added | tests/direct_comp/peasy/d2_higherfunc.metta |
The file was added | tests/direct_comp/morph/sequential_nested.metta |
The file was added | tests/performance/compare_algo/nqueens/nqueens_compiled_sics.pl |
The file was added | tests/direct_comp/peasy/d4_type_prop.metta |
The file was added | tests/direct_comp/previous/define_if_like.metta |
The file was added | tests/performance/compare_algo/nqueens/nqueens_test_in_java.sh |
The file was added | tests/direct_comp/peasy/c3_pln_stv.metta |
The file was added | tests/direct_comp/peasy/e3_match_states.metta |
The file was added | tests/direct_comp/morph/let_superpose_list.metta |
The file was added | tests/direct_comp/previous/00a_lang_compiled_case.metta |
The file was added | tests/performance/compare_algo/nqueens/mqueens_ordered.metta |
The file was added | tests/direct_comp/peasy/e1_kb_write.metta |
The file was added | tests/direct_comp/morph/letlet.metta |
The file was added | tests/direct_comp/peasy/a1_symbols.metta |
The file was added | tests/direct_comp/morph/match_void.metta |
The file was added | tests/direct_comp/morph/peano.metta |
The file was added | tests/direct_comp/previous/compiler_walkthru.metta |
The file was added | tests/direct_comp/morph/factorial.metta |
The file was removed | tests/performance/compare_algo/nqueens/format_args_ordered.metta.pl |
The file was added | tests/direct_comp/peasy/d1_gadt.metta |
The file was added | tests/direct_comp/morph/types2.metta |
The file was added | tests/direct_comp/morph/types.metta |
The file was removed | tests/direct_comp/compiler_walkthru.metta.answers |
The file was removed | tests/performance/compare_algo/nqueens/format_args_ordered_low_overhead.pl |
The file was added | tests/direct_comp/morph/if.metta |
The file was removed | tests/direct_comp/define_if_like.metta |
The file was removed | tests/direct_comp/00a_lang_compiled_case.metta |
The file was added | tests/direct_comp/previous/add_atom_match.metta |
The file was added | tests/performance/compare_algo/nqueens/mqueens_ordered_low_overhead.pl |
The file was modified | .gitignore (diff) |
The file was added | tests/direct_comp/peasy/d5_auto_types.metta |