senvas

senvas pushed to topic-constraint-system at syntaxAlchemist/lib-laddertypes

2025-06-01 00:31:29 +02:00

c4d89c7f51 add Id as case for MorphismInstance

ad0511cb10 disable debug prints

0718da96c0 add Hash to morphism type

403aede376 fix halo type in subtype-constraint

2740fb57ea add test to break halo type

Compare 7 commits »

senvas pushed to topic-constraint-system at syntaxAlchemist/lib-laddertypes

2025-06-01 00:25:17 +02:00

115814e484 add Id as case for MorphismInstance

0884e52cdf disable debug prints

a7262c66b4 add Hash to morphism type

975eac8850 fix halo type in subtype-constraint

9ffe78739a add test to break halo type

Compare 18 commits »

senvas pushed to topic-constraint-system at syntaxAlchemist/lib-laddertypes

2025-06-01 00:22:04 +02:00

0afb52c4f0 add Id as case for MorphismInstance

a54efd0c71 disable debug prints

9c050e5535 add Hash to morphism type

0b35979047 fix halo type in subtype-constraint

8a374bbc5c add test to break halo type

Compare 30 commits »

senvas pushed to topic-constraint-system at syntaxAlchemist/lib-laddertypes

2025-06-01 00:12:08 +02:00

5d5ed08550 add Id as case for MorphismInstance

f7273d0451 disable debug prints

47ef923fe6 add Hash to morphism type

cac4b3ed81 fix halo type in subtype-constraint

976f4524a4 add test to break halo type

Compare 31 commits »

senvas pushed to topic-constraint-system at syntaxAlchemist/lib-laddertypes

2025-05-31 23:54:53 +02:00

3240c472ca add Id as case for MorphismInstance

c05dc688b5 disable debug prints

f6d72a96b7 add Hash to morphism type

46493807fd fix halo type in subtype-constraint

fdbe7880e1 add test to break halo type

Compare 40 commits »

senvas pushed to topic-morphism-base at syntaxAlchemist/lib-laddertypes

2025-05-31 23:47:16 +02:00

c4a821dbf3 rewrite enum_morphisms & find_morphism_path

3b244a688b morphism base: store vec of seq-types

Compare 2 commits »

senvas pushed to topic-constraint-system at syntaxAlchemist/lib-laddertypes

2025-05-31 23:40:46 +02:00

16efb00a23 add Id as case for MorphismInstance

5c69638ca0 disable debug prints

cae37a9dda add Hash to morphism type

2fc4803557 fix halo type in subtype-constraint

f3d9b76ccf add test to break halo type

Compare 36 commits »

senvas pushed to topic-constraint-system at syntaxAlchemist/lib-laddertypes

2025-05-31 22:51:30 +02:00

eb4452ade0 add Id as case for MorphismInstance

b115e91e63 disable debug prints

c29c039335 add Hash to morphism type

1e78f03f81 fix halo type in subtype-constraint

3242c7320a add test to break halo type

Compare 47 commits »

senvas pushed to topic-morphism-base at syntaxAlchemist/lib-laddertypes

2025-05-31 22:50:59 +02:00

ddf71aa5ad rewrite enum_morphisms & find_morphism_path

16ec28e234 morphism base: store vec of seq-types

da74c73de1 fix tests

06b0e66931 fix find_morphism_path

ae0d7dcffb morphism base: find shortest path instead of just some path

Compare 11 commits »

senvas pushed to topic-dict at syntaxAlchemist/lib-laddertypes

2025-05-31 22:50:24 +02:00

e15db9d1f3 type dict: get_typename_create

senvas pushed to topic-constraint-system at syntaxAlchemist/lib-laddertypes

2025-05-31 22:49:21 +02:00

4b9c19c63f add Id as case for MorphismInstance

467fa7b85d disable debug prints

10eabcb6a5 add Hash to morphism type

f3b5b73c79 fix halo type in subtype-constraint

f916821d32 add test to break halo type

Compare 50 commits »

senvas created branch topic-steiner-tree in syntaxAlchemist/lib-laddertypes

2025-05-31 22:36:51 +02:00

senvas pushed to topic-steiner-tree at syntaxAlchemist/lib-laddertypes

2025-05-31 22:36:51 +02:00

senvas created branch topic-morphism-base2 in syntaxAlchemist/lib-laddertypes

2025-05-31 22:36:21 +02:00

senvas pushed to topic-morphism-base2 at syntaxAlchemist/lib-laddertypes

2025-05-31 22:36:21 +02:00

97e5475f70 steiner tree (?)

ad4b23d40e steiner tree: eliminate identity loops

b7fb889dbf add steiner tree solver based on shortest path

f068ba45fd initial implementation of solver for steiner trees

e8ff14dfdb rewrite enum_morphisms & find_morphism_path

Compare 10 commits »

senvas pushed to topic-morphism-base at syntaxAlchemist/lib-laddertypes

2025-05-31 22:05:59 +02:00

27905653ae steiner tree (?)

9108e7d159 reactivate find_morphism()

befd31dfdf rewrite enum_morphisms & find_morphism_path

a225ece6f3 morphism base: store vec of seq-types

de739a6e1a fix tests

Compare 18 commits »

senvas pushed to topic-dict at syntaxAlchemist/lib-laddertypes

2025-05-31 21:58:28 +02:00

fb2b54059d add Send+Sync trait bound to TypeDict

senvas pushed to topic-dict at syntaxAlchemist/lib-laddertypes

2025-05-31 21:47:30 +02:00

25649084ab make TypeDict a trait & BimapTypeDict an impl

senvas created branch topic-dict in syntaxAlchemist/lib-laddertypes

2025-05-31 21:45:17 +02:00

senvas pushed to topic-dict at syntaxAlchemist/lib-laddertypes

2025-05-31 21:45:17 +02:00

c6e7acec70 fix tests

1006096690 add Debug for Bimap & BimapTypeDict

d754218af5 make TypeDict a trait & BimapTypeDict an impl

Compare 3 commits »