Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. HE issues into tests (details)
  2. Fix .metta files to be treated as text (details)
  3. Re-normalized .metta files to be treated as text (details)
  4. Re-encoded .metta files to UTF-8 (details)
The file was addedtests/baseline_compat/hyperon-mettalog_sanity/duplication_semantics_he_798.metta
The file was addedtests/baseline_compat/hyperon-mettalog_sanity/partitioning_atomspaces_and_performance_he_774.metta
The file was addedtests/baseline_compat/hyperon-mettalog_sanity/differen_arities_are_fine_he_603.metta
The file was addedtests/baseline_compat/hyperon-mettalog_sanity/type_checking_symbol_he_673.metta
The file was addedtests/baseline_compat/hyperon-mettalog_sanity/single_sided_matching_he_674.metta
The file was addedtests/baseline_compat/hyperon-mettalog_sanity/alpha_equivalence_assertions_he_744.metta
The file was addedtests/baseline_compat/hyperon-mettalog_sanity/non_deterministic_functions_he_744.metta
The file was addedtests/baseline_compat/hyperon-mettalog_sanity/idiomatic_negation_and_set_difference_he_805.metta
The file was modifiedsrc/packs/lsp_server_metta/prolog/lsp_metta_hover.pl (diff)
The file was modifiedsrc/canary/stdlib_mettalog.metta (diff)
The file was addedtests/baseline_compat/hyperon-mettalog_sanity/unbounded_free_variables_he_787.metta
Commit 19cbeb20c5845265259d8dd8536e5a1c88f1c90c by Douglas R Miles
Fix .metta files to be treated as text
The file was addedtests/baseline_compat/hyperon-mettalog_sanity/tuple_type_checking_he_669.metta
The file was modifiedtests/baseline_compat/hyperon-mettalog_sanity/type_checking_symbol_he_673.metta (diff)
Commit 0b6a0ade5f23c0f6286a814c6385ff59c3aff0c0 by Douglas R Miles
Re-normalized .metta files to be treated as text
The file was modifiedtests/baseline_compat/hyperon-mettalog_sanity/space_intersection_tests.metta (diff)
The file was modifiedtests/baseline_compat/hyperon-mettalog_sanity/intersection_tests.metta (diff)
The file was modifiedtests/baseline_compat/hyperon-mettalog_sanity/represent_and_parse_tests.metta (diff)
The file was modifiedtests/baseline_compat/hyperon-mettalog_sanity/space_subtraction_tests.metta (diff)
The file was modifiedtests/baseline_compat/hyperon-mettalog_sanity/what_evals_or_not.metta (diff)
The file was modifiedtests/baseline_compat/hyperon-mettalog_sanity/base_test_repr_parse_intersection.metta (diff)
The file was modifiedtests/baseline_compat/hyperon-mettalog_sanity/single_sided_matching_he_674.metta (diff)
The file was modifiedtests/baseline_compat/hyperon-mettalog_sanity/unbounded_free_variables_he_787.metta (diff)
The file was modifiedtests/baseline_compat/hyperon-mettalog_sanity/duplication_semantics_he_798.metta (diff)
The file was modifiedtests/baseline_compat/hyperon-mettalog_sanity/differen_arities_are_fine_he_603.metta (diff)
The file was modifiedtests/baseline_compat/hyperon-mettalog_sanity/idiomatic_negation_and_set_difference_he_805.metta (diff)
The file was modifiedtests/baseline_compat/hyperon-mettalog_sanity/tuple_type_checking_he_669.metta (diff)
The file was modifiedtests/baseline_compat/hyperon-mettalog_sanity/alpha_equivalence_assertions_he_744.metta (diff)
The file was modifiedtests/baseline_compat/hyperon-mettalog_sanity/partitioning_atomspaces_and_performance_he_774.metta (diff)
The file was modifiedtests/baseline_compat/hyperon-mettalog_sanity/non_deterministic_functions_he_744.metta (diff)
The file was modifiedtests/baseline_compat/hyperon-mettalog_sanity/type_checking_symbol_he_673.metta (diff)