senvas

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

2025-06-01 19:02:59 +02:00

6ef48468ec steiner tree (?)

505063ac8b steiner tree: eliminate identity loops

89ca3de93f add steiner tree solver based on shortest path

e58722f522 initial implementation of solver for steiner trees

804741cd62 Merge branch 'topic-morphism-base' into dev

Compare 18 commits »

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

2025-06-01 18:53:55 +02:00

9ab5a41ce7 add common_halo

804741cd62 Merge branch 'topic-morphism-base' into dev

de86b3f153 split path search & morphism base into separate files

d56d4089d1 add test for find_morphism_path

59d182135f rewrite enum_morphisms & find_morphism_path

Compare 15 commits »

senvas deleted branch topic-morphism-base from syntaxAlchemist/lib-laddertypes

2025-06-01 18:51:14 +02:00

senvas pushed to dev at syntaxAlchemist/lib-laddertypes

2025-06-01 18:50:43 +02:00

804741cd62 Merge branch 'topic-morphism-base' into dev

de86b3f153 split path search & morphism base into separate files

d56d4089d1 add test for find_morphism_path

59d182135f rewrite enum_morphisms & find_morphism_path

aa7a39bf17 improvements over initial graph search implementation

Compare 9 commits »

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

2025-06-01 18:49:39 +02:00

17ba81c817 split constraint system into files

a1dd6a5121 fix halo type in subtype-constraint

c8b2ffae95 add test to break halo type

10947ce791 rename term&morphism structs to make Sugared* variant the default

7b25b4472d MorphismType: add strip_common_rungs()

Compare 10 commits »

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

2025-06-01 18:48:34 +02:00

a235054af5 wip

b2d2ebfee7 more graph search tests, try to get substitutions correct

6eed2f01f8 further work on substitutions & subtypes in graph search

e2fdfdfbdc wip

5b061258d1 further work on new graph search

Compare 28 commits »

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

2025-06-01 18:01:51 +02:00

7de5a17660 split constraint system into files

5c24a627a1 add Id as case for MorphismInstance

3eeb37fd5d add #[derive(Hash)] to MorphismType

2a127a373f fix halo type in subtype-constraint

2d98365a15 add test to break halo type

Compare 10 commits »

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

2025-06-01 17:58:30 +02:00

be914683d7 move estimated_cost() to member of MorphismType

37abdd0da9 initial cost heuristic for morphism types & accelerated graph search (wip)

55958a3701 split constraint system into files

348d613ee2 add Id as case for MorphismInstance

eed0457ede add #[derive(Hash)] to MorphismType

Compare 23 commits »

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

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

55958a3701 split constraint system into files

348d613ee2 add Id as case for MorphismInstance

eed0457ede add #[derive(Hash)] to MorphismType

d1395472f0 fix halo type in subtype-constraint

9918903f42 add test to break halo type

Compare 11 commits »

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

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

0cfcede5dd subtype constraint: prefer to assign rhs variable

ad2ab70214 split constraint system into files

daa00e4de9 add Id as case for MorphismInstance

ca9175de9e disable debug prints

03f44f6b65 add Hash to morphism type

Compare 11 commits »

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

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

c3056e0cc4 subtype constraint: prefer to assign rhs variable

c43bda6c06 split constraint system into files

be5a0bf6e1 add Id as case for MorphismInstance

2322d713b3 disable debug prints

2a43153512 add Hash to morphism type

Compare 12 commits »

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

2025-06-01 17:10:13 +02:00

d5d09e1672 subtype constraint: prefer to assign rhs variable

9b6a4f4e8a split constraint system into files

d34baa7194 add Id as case for MorphismInstance

f4317326ad disable debug prints

ad6c0eb2cc add Hash to morphism type

Compare 13 commits »

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

2025-06-01 17:05:38 +02:00

8207de2eb7 subtype constraint: prefer to assign rhs variable

b7fbab0495 split constraint system into files

4137ff9155 add Id as case for MorphismInstance

d985312ab6 disable debug prints

ac838057fb add Hash to morphism type

Compare 14 commits »

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

2025-06-01 16:57:16 +02:00

a221ae5646 subtype constraint: prefer to assign rhs variable

23c92f377c split constraint system into files

c9a03b9185 add Id as case for MorphismInstance

e9dd2367d4 disable debug prints

3b5f104052 add Hash to morphism type

Compare 28 commits »

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

2025-06-01 15:44:20 +02:00

1288b7f7aa wip

144def2a50 more graph search tests, try to get substitutions correct

93dd44e5a6 further work on substitutions & subtypes in graph search

1e2b96a58d wip

dc51b01760 further work on new graph search

Compare 45 commits »

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

2025-06-01 15:43:59 +02:00

9a13f0797a move estimated_cost() to member of MorphismType

9f30e7c98e initial cost heuristic for morphism types & accelerated graph search (wip)

a3e1e78296 subtype constraint: prefer to assign rhs variable

483ecbae68 split constraint system into files

2770afd370 add Id as case for MorphismInstance

Compare 35 commits »

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

2025-06-01 15:42:50 +02:00

a3e1e78296 subtype constraint: prefer to assign rhs variable

483ecbae68 split constraint system into files

2770afd370 add Id as case for MorphismInstance

5a666e21a9 disable debug prints

02e16e3e1b add Hash to morphism type

Compare 33 commits »

senvas deleted branch topic-subtype-satisfaction from syntaxAlchemist/lib-laddertypes

2025-06-01 15:36:42 +02:00

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

2025-06-01 15:35:41 +02:00

f40cac5f8f split path search & morphism base into separate files

43eb00cd51 add test for find_morphism_path

3f3e23150f fix path search:

bb59a913f3 rewrite enum_morphisms & find_morphism_path

1cc25d5d68 fix find_morphism_path

Compare 12 commits »

senvas pushed to dev at syntaxAlchemist/lib-laddertypes

2025-06-01 15:34:36 +02:00

fab6818fe9 Merge branch 'topic-subtype-satisfaction' into dev

63eb4798ac work on subtype satisfaction

a2fc025eea add (failing) tests for subtype-satisfaction

229c6193c4 subtype satisfaction: move rhs-variable assignment up in match-priority

82a6a20a31 unification: allow subtype and equality constraints

Compare 5 commits »