senvas

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

2025-07-02 08:43:22 +02:00

43dcb13f62 search viz: implement MapStruct/MapEnum & correctly set extent

senvas pushed to dev at senvas/monster-benchmark

2025-06-30 14:20:13 +02:00

8314b84285 add preliminary result

senvas pushed to dev at senvas/monster-benchmark

2025-06-30 14:17:08 +02:00

c54713243c matplotlib

8ae07c6bf6 test some asserts in deserialize

Compare 2 commits »

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

2025-06-30 14:06:52 +02:00

3938985b83 add delta seq morphism

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

2025-06-30 14:05:49 +02:00

688ee303c4 adapt morphisms to new syntax

bbbe54149e adapt layout in search pane

Compare 2 commits »

senvas pushed to wip at syntaxAlchemist/lib-laddertypes

2025-06-30 13:53:11 +02:00

cb45831e79 disable debug prints

9c308fd616 graph search: weight heuristic less than actual weight

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

Compare 3 commits »

senvas pushed to wip at syntaxAlchemist/lib-laddertypes

2025-06-30 08:50:38 +02:00

2f8c5aa9d8 rename add_explore_node -> add_search_node

8d802b3aa6 loop condition

1f9534f98b pnf: try to fix normalization of seq-repr

cc808f9971 graph search: fix: dont abort if sub search fails

5b3e3761d5 morphism decomposition: check seq/struct repr

Compare 5 commits »

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

2025-06-30 08:50:29 +02:00

7ed2936024 add type defs for nativeInt*

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

2025-06-30 05:37:40 +02:00

410ba4019f target morph: strip already substituted variables from context when baking MorphismInstance::Specialize

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

2025-06-29 17:40:36 +02:00

557d345412 viz: improve search pane

7375d14fcb fixup theme

1de4c7e7ad dont emit code when no instacne s available

61ae353105 search viz: emit svg for nodes in search graph

b83771594a viz: search pane

Compare 6 commits »

senvas pushed to dev at senvas/monster-benchmark

2025-06-28 14:43:57 +02:00

b98e0b076b initial protobuf/flatbuffers benchmark

senvas pushed to wip at syntaxAlchemist/lib-laddertypes

2025-06-27 03:25:58 +02:00

9bf5149145 graph search: check if morphism decomposition is trivial

a24f94c45e GraphSearch: add id to searchNodes and record search history

f7150ed7fe rename ctx; TypeTerm::Seq: items->item

f34c4612df cycle detection

7daf449be3 remove debug prints

Compare 5 commits »

senvas created branch wip in syntaxAlchemist/lib-laddertypes

2025-06-27 03:25:57 +02:00

senvas deleted branch topic-sugar-wip from syntaxAlchemist/lib-laddertypes

2025-06-23 23:25:39 +02:00

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

2025-06-23 14:05:09 +02:00

dd3d017c43 ctx: implement addressing modes to simplify handling of contexts in graph construction

f40c80e06e remove Ctx() from Morphism

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

63484c5a4f refactor ConstraintPair & TypeTerm::Univ

Compare 4 commits »

senvas created branch dev in senvas/monster-benchmark

2025-06-22 22:11:57 +02:00

senvas pushed to dev at senvas/monster-benchmark

2025-06-22 22:11:57 +02:00

31e3c76568 initial protobuf/flatbuffers benchmark

senvas created repository senvas/monster-benchmark

2025-06-22 22:11:25 +02:00

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

2025-06-21 03:05:10 +02:00

dbe1a2c002 gen_lib: use sugared sequence syntax

793ade4709 implement get_c_repr_type for struct/enum/seq

Compare 2 commits »

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

2025-06-20 17:13:51 +02:00

06b607eb6f parser adaptions; remove desugared terms