senvas
0 followers · 0 following
  • Joined on 2024-02-15
Projects Packages Public activity Starred repositories
579 contributions in the last 12 months
AugSepOctNovDecJanFebMarAprMayJunJulMonWedFri
Less
More
senvas deleted branch topic-subtype-unify from syntaxAlchemist/lib-laddertypes 2025-06-01 14:46:53 +02:00
senvas deleted branch topic-morphism-base2 from syntaxAlchemist/lib-laddertypes 2025-06-01 14:46:35 +02:00
senvas pushed to topic-morphism-base at syntaxAlchemist/lib-laddertypes 2025-06-01 14:46:27 +02:00
cc9b2fdf5c split path search & morphism base into separate files
a0c6b45dce add test for find_morphism_path
e69f515715 fix path search:
1acb4acf08 rewrite enum_morphisms & find_morphism_path
415b906caf fix find_morphism_path
Compare 15 commits »
senvas pushed to topic-heuristic at syntaxAlchemist/lib-laddertypes 2025-06-01 14:45:37 +02:00
8acc1f1036 move estimated_cost() to member of MorphismType
26e07d9fe0 initial cost heuristic for morphism types & accelerated graph search (wip)
6f038fcb40 subtype constraint: prefer to assign rhs variable
5be6c42abd split constraint system into files
a9586f49d7 add Id as case for MorphismInstance
Compare 38 commits »
senvas pushed to topic-constraint-system at syntaxAlchemist/lib-laddertypes 2025-06-01 14:42:38 +02:00
6f038fcb40 subtype constraint: prefer to assign rhs variable
5be6c42abd split constraint system into files
a9586f49d7 add Id as case for MorphismInstance
1e729cc967 disable debug prints
25e0bb6c13 add Hash to morphism type
Compare 36 commits »
senvas pushed to topic-morphism-base2 at syntaxAlchemist/lib-laddertypes 2025-06-01 14:37:40 +02:00
cc9b2fdf5c split path search & morphism base into separate files
a0c6b45dce add test for find_morphism_path
e69f515715 fix path search:
1acb4acf08 rewrite enum_morphisms & find_morphism_path
415b906caf fix find_morphism_path
Compare 13 commits »
senvas created branch topic-subtype-satisfaction in syntaxAlchemist/lib-laddertypes 2025-06-01 14:36:51 +02:00
senvas pushed to topic-subtype-satisfaction at syntaxAlchemist/lib-laddertypes 2025-06-01 14:36:51 +02:00
63eb4798ac work on subtype satisfaction
a2fc025eea add (failing) tests for subtype-satisfaction
Compare 2 commits »
senvas pushed to topic-morphism-base2 at syntaxAlchemist/lib-laddertypes 2025-06-01 14:34:34 +02:00
2d721c6693 split path search & morphism base into separate files
senvas pushed to topic-morphism-base2 at syntaxAlchemist/lib-laddertypes 2025-06-01 14:32:15 +02:00
0749ae8a30 morphism base into separate file
989939aa8f move shortest path into separate file
3a87592bd7 add test for find_morphism_path
72ff2d7e65 fix path search:
c14f8dc02f rewrite enum_morphisms & find_morphism_path
Compare 14 commits »
senvas pushed to topic-subtype-unify at syntaxAlchemist/lib-laddertypes 2025-06-01 14:31:42 +02:00
37ef9c8115 work on subtype satisfaction
92a7552bfe add (failing) tests for subtype-unify
Compare 2 commits »
senvas pushed to topic-morphism-base2 at syntaxAlchemist/lib-laddertypes 2025-06-01 14:27:10 +02:00
56e33abda4 morphism base into separate file
17dec13f69 move shortest path into separate file
da1be325c5 add test for find_morphism_path
084d60a963 fix path search:
0dd5a95186 rewrite enum_morphisms & find_morphism_path
Compare 18 commits »
senvas pushed to topic-subtype-unify at syntaxAlchemist/lib-laddertypes 2025-06-01 14:26:25 +02:00
101e93057a work on unification
ceee1bf64b add failing unification testcase
d5ee07bff6 fix subtype unification
73058b5529 add (failing) tests for subtype-unify
229c6193c4 subtype satisfaction: move rhs-variable assignment up in match-priority
Compare 6 commits »
senvas pushed to topic-morphism-base2 at syntaxAlchemist/lib-laddertypes 2025-06-01 14:15:19 +02:00
a4fa48e7c2 morphism base into separate file
c1837fa2ca move shortest path into separate file
aab6905f89 add test for find_morphism_path
6ec396acbb fix path search:
8f52545fca rewrite enum_morphisms & find_morphism_path
Compare 9 commits »
senvas pushed to topic-morphism-base2 at syntaxAlchemist/lib-laddertypes 2025-06-01 14:11:48 +02:00
cfe84947f9 morphism base into separate file
d718276281 move shortest path into separate file
b29976a1af add test for find_morphism_path
a9322a5e5d fix path search:
fbe8b0b10e rewrite enum_morphisms & find_morphism_path
Compare 19 commits »
senvas pushed to topic-subtype-unify at syntaxAlchemist/lib-laddertypes 2025-06-01 14:10:17 +02:00
f66feb787c work on unification
12a7cbe8f8 add failing unification testcase
967c5b4e69 fix subtype unification
4155a0be49 add (failing) tests for subtype-unify
94eef16ed1 subtype satisfaction: move rhs-variable assignment up in match-priority
Compare 7 commits »
senvas pushed to topic-morphism-base2 at syntaxAlchemist/lib-laddertypes 2025-06-01 13:53:03 +02:00
2245fb3508 morphism base into separate file
c9569b3b38 move shortest path into separate file
Compare 2 commits »
senvas pushed to topic-morphism-base2 at syntaxAlchemist/lib-laddertypes 2025-06-01 13:50:28 +02:00
1db302d18e add test for find_morphism_path
896df2d9a3 fix path search:
97f93673c5 rewrite enum_morphisms & find_morphism_path
49df28c6df fix find_morphism_path
6875ccbf53 morphism base: find shortest path instead of just some path
Compare 6 commits »
senvas pushed to topic-morphism-base2 at syntaxAlchemist/lib-laddertypes 2025-06-01 13:46:14 +02:00
0c6353ba5b add test for find_morphism_path
3c31c9ad28 fix path search:
dea75ba849 rewrite enum_morphisms & find_morphism_path
52a6495a9f fix find_morphism_path
de968708c0 morphism base: find shortest path instead of just some path
Compare 6 commits »
senvas pushed to topic-morphism-base2 at syntaxAlchemist/lib-laddertypes 2025-06-01 13:43:43 +02:00
b64e7ffa17 add test for find_morphism_path