senvas

0 followers · 0 following

• Joined on 2024-02-15
• • 

Projects Packages Public activity Starred repositories

502 contributions in the last 12 months

Less

More

senvas pushed to topic-morphism-base2 at syntaxAlchemist/lib-laddertypes 2025-06-01 12:57:46 +02:00

bc4bd01fc6 rewrite enum_morphisms & find_morphism_path

01ae80c794 morphism base: store vec of seq-types

203e7d4e3f fix find_morphism_path

422b60099a morphism base: find shortest path instead of just some path

ac645204d8 fix returned halo type in find_morphism_with_subtyping()

Compare 10 commits »

senvas pushed to topic-constraint-system at syntaxAlchemist/lib-laddertypes 2025-06-01 12:19:43 +02:00

d99dc74f3f subtype constraint: prefer to assign rhs variable

08ac83158b split constraint system into files

a88310279e add Id as case for MorphismInstance

66ad5af93c disable debug prints

717794dab7 add Hash to morphism type

Compare 8 commits »

senvas pushed to topic-constraint-system at syntaxAlchemist/lib-laddertypes 2025-06-01 12:15:00 +02:00

76ffd8ba73 subtype constraint: prefer to assign rhs variable

e962e467a4 split constraint system into files

Compare 2 commits »

senvas pushed to topic-constraint-system at syntaxAlchemist/lib-laddertypes 2025-06-01 01:31:06 +02:00

042b6f4362 add Id as case for MorphismInstance

7115430fef disable debug prints

8e80830942 add Hash to morphism type

8411b287be fix halo type in subtype-constraint

20e09d941c add test to break halo type

Compare 30 commits »

senvas pushed to topic-morphgraph at syntaxAlchemist/lib-laddertypes 2025-06-01 01:13:41 +02:00

d5b84c8a32 wip

0d09c74e47 more graph search tests, try to get substitutions correct

0a2d77a66f further work on substitutions & subtypes in graph search

27638e3cf8 wip

0126a62e76 further work on new graph search

Compare 60 commits »

senvas pushed to topic-heuristic at syntaxAlchemist/lib-laddertypes 2025-06-01 01:12:17 +02:00

39805806be move estimated_cost() to member of MorphismType

267b5e009e initial cost heuristic for morphism types & accelerated graph search (wip)

32cb3cf98a add Id as case for MorphismInstance

6dedb7284f disable debug prints

6ac3107b62 add Hash to morphism type

Compare 54 commits »

senvas pushed to topic-steiner-tree at syntaxAlchemist/lib-laddertypes 2025-06-01 01:07:58 +02:00

6f4316e074 steiner tree (?)

a46e225e06 steiner tree: eliminate identity loops

6ea50ab8d0 add steiner tree solver based on shortest path

8cf49cb5f1 initial implementation of solver for steiner trees

d9bda81733 rewrite enum_morphisms & find_morphism_path

Compare 17 commits »

senvas deleted branch topic-morphism-base2 from syntaxAlchemist/lib-laddertypes 2025-06-01 01:01:50 +02:00

senvas pushed to topic-cm2 at syntaxAlchemist/lib-laddertypes 2025-06-01 00:58:59 +02:00

a4d1da62c0 add common_halo

senvas created branch topic-cm2 in syntaxAlchemist/lib-laddertypes 2025-06-01 00:58:22 +02:00

senvas pushed to topic-cm2 at syntaxAlchemist/lib-laddertypes 2025-06-01 00:58:22 +02:00

e4cc275fe1 add common_halo

senvas pushed to dev at syntaxAlchemist/lib-laddertypes 2025-06-01 00:44:36 +02:00

deb097acd3 term: add get_interface_type() to get the top rung of a ladder

senvas pushed to topic-morphism-base at syntaxAlchemist/lib-laddertypes 2025-06-01 00:44:13 +02:00

d9bda81733 rewrite enum_morphisms & find_morphism_path

751f76de46 morphism base: store vec of seq-types

0365cd1d34 fix find_morphism_path

36d8cb63e4 morphism base: find shortest path instead of just some path

335a307836 fix returned halo type in find_morphism_with_subtyping()

Compare 9 commits »

senvas pushed to topic-constraint-system at syntaxAlchemist/lib-laddertypes 2025-06-01 00:43:56 +02:00

32cb3cf98a add Id as case for MorphismInstance

6dedb7284f disable debug prints

6ac3107b62 add Hash to morphism type

a7abb0193b fix halo type in subtype-constraint

855e569a29 add test to break halo type

Compare 41 commits »

senvas pushed to topic-constraint-system at syntaxAlchemist/lib-laddertypes 2025-06-01 00:41:40 +02:00

2315be04d0 add Id as case for MorphismInstance

d367a47eb6 disable debug prints

87e646d6dc add Hash to morphism type

7909f7c374 fix halo type in subtype-constraint

955fc6d47b add test to break halo type

Compare 44 commits »

senvas pushed to topic-morphism-base at syntaxAlchemist/lib-laddertypes 2025-06-01 00:40:57 +02:00

6d6ded956e rewrite enum_morphisms & find_morphism_path

e3a097cfb1 morphism base: store vec of seq-types

5b958fba70 fix find_morphism_path

0237b1291b morphism base: find shortest path instead of just some path

602d2c25a9 fix returned halo type in find_morphism_with_subtyping()

Compare 11 commits »

senvas pushed to dev at syntaxAlchemist/lib-laddertypes 2025-06-01 00:40:16 +02:00

aa67520184 term: add strip() to flatten ladders

senvas pushed to dev at syntaxAlchemist/lib-laddertypes 2025-06-01 00:39:05 +02:00

ba7e921a5e term strip(): flatten ladders

c4a26d11da term: add check if term is empty

Compare 2 commits »

senvas deleted branch topic-dict from syntaxAlchemist/lib-laddertypes 2025-06-01 00:34:17 +02:00

senvas pushed to dev at syntaxAlchemist/lib-laddertypes 2025-06-01 00:34:14 +02:00

9db57488dd Merge branch 'topic-dict' into dev

e15db9d1f3 type dict: get_typename_create

fb2b54059d add Send+Sync trait bound to TypeDict

25649084ab make TypeDict a trait & BimapTypeDict an impl

Compare 4 commits »