senvas

senvas deleted branch topic-parser from syntaxAlchemist/lib-laddertypes

2025-07-13 16:17:18 +02:00

senvas deleted branch wip from syntaxAlchemist/lib-laddertypes

2025-07-13 16:17:14 +02:00

senvas deleted branch topic-morphgraph from syntaxAlchemist/lib-laddertypes

2025-07-13 16:16:37 +02:00

senvas pushed to dev at syntaxAlchemist/lib-laddertypes

2025-07-13 16:15:56 +02:00

595aedf8dc Merge branch 'topic-parser' into dev

4b898a2a9c fix pnf: when collapsing seq-repr check if item types overlap, not just if they are equal

8161db46f0 refactor ConstraintPair & TypeTerm::Univ

968db99507 parser: add parsing of sugared func/morph arrows

d14f3310ed lexer: add arrow tokens

Compare 26 commits »

senvas created branch fix-graph-search in syntaxAlchemist/lib-laddertypes

2025-07-13 16:15:45 +02:00

senvas pushed to fix-graph-search at syntaxAlchemist/lib-laddertypes

2025-07-13 16:15:45 +02:00

f77bca3e51 graph search: remove terminal preview

3e2dd3c219 graph search: fix dst type in map-seq sub search; disable debug prints

68bc0a82ce cycle detection

da623f6dce graph search: weight heuristic less than actual weight

2e7d122824 heuristic: add penalty for ladders against atoms depending on ladder size

Compare 10 commits »

senvas pushed to wip at syntaxAlchemist/lib-laddertypes

2025-07-13 16:02:35 +02:00

2c71898932 graph search: remove terminal preview

d45961b814 graph search: fix dst type in map-seq sub search; disable debug prints

39e63d1a16 cycle detection

48da58eb60 graph search: weight heuristic less than actual weight

42be7f7de7 heuristic: add penalty for ladders against atoms depending on ladder size

Compare 12 commits »

senvas pushed to wip at syntaxAlchemist/lib-laddertypes

2025-07-13 15:51:14 +02:00

24cae96422 graph search: remove terminal preview

4f7ee780f9 graph search: fix dst type in map-seq sub search; disable debug prints

e27fb89ab1 wip? debug loop

33e885c8f5 disable debug prints

626160666e graph search: weight heuristic less than actual weight

Compare 44 commits »

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

2025-07-13 15:49:47 +02:00

45f40c71d3 graph search: check if morphism decomposition is trivial

4f0f091c93 GraphSearch: add id to searchNodes and record search history

25a9de1e7c rename ctx; TypeTerm::Seq: items->item

0c99701701 cycle detection

57fda9bd40 remove debug prints

Compare 33 commits »

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

2025-07-13 15:48:57 +02:00

042447fbea restructure contexts & substitutions,

b8f6cab862 morphism graph: cycle detection: exclude trivial loop through Id Step

ef899d28d3 morphism graph: make all structure reprs optional

d256c9cf3b add shift_variables() and in Morphism trait add ctx()

2c3c526407 pretty: fix dict call to get_varname

Compare 20 commits »

senvas deleted branch topic-constraint-system from syntaxAlchemist/lib-laddertypes

2025-07-13 15:45:04 +02:00

senvas pushed to dev at syntaxAlchemist/lib-laddertypes

2025-07-13 15:42:51 +02:00

58bdcd185b Merge branch 'topic-constraint-system' into dev

cb9b62b00c add test with mixed constraints

0cd80c16d5 initial trait type satisfaction

e8615aa42b initially add bounds to MorphismType

bf5b2447be terms: change Morph type to have src/dst instead of Vec

Compare 16 commits »

senvas pushed to wip at syntaxAlchemist/lib-laddertypes

2025-07-13 15:18:42 +02:00

3c188b3814 graph search: remove terminal preview

senvas pushed to wip at syntaxAlchemist/lib-laddertypes

2025-07-13 15:09:09 +02:00

909211ab18 graph search: fix dst type in map-seq sub search; disable debug prints

senvas pushed to topic-morphisms-example at syntaxAlchemist/ldmc

2025-07-13 14:14:00 +02:00

b2a195f864 add codegen for mapSeq on MsbCont

senvas pushed to topic-morphisms-example at syntaxAlchemist/ldmc

2025-07-13 14:13:15 +02:00

2865feccb9 add experimental aos->soa morphism

f960012205 target_morph: add field types from struct/enum in add_type()

Compare 2 commits »

senvas pushed to topic-morphisms-example at syntaxAlchemist/ldmc

2025-07-12 20:33:32 +02:00

1d77953a45 search viz: support animations in multiple panes

aa1e2e40bf search viz: hide animation control initially

Compare 2 commits »

senvas pushed to topic-morphisms-example at syntaxAlchemist/ldmc

2025-07-12 07:58:08 +02:00

fd9f148549 search viz animation

senvas pushed to wip at syntaxAlchemist/lib-laddertypes

2025-07-10 12:44:13 +02:00

52c92a156c wip? debug loop

senvas pushed to topic-morphisms-example at syntaxAlchemist/ldmc

2025-07-02 08:44:17 +02:00

0c05d51ecd morphisms: fix syntax error in angle.morphism-base