senvas

0 followers · 0 following

• Joined on 2024-02-15
• • 

Projects Packages Public activity Starred repositories

579 contributions in the last 12 months

Less

More

senvas pushed to topic-constraint-system at syntaxAlchemist/lib-laddertypes 2025-05-03 19:24:38 +02:00

ef2c78c828 fix halo type in subtype-constraint

ade0f22b0c add test to break halo type

Compare 2 commits »

senvas pushed to topic-constraint-system at syntaxAlchemist/lib-laddertypes 2025-05-03 18:46:50 +02:00

84b5446402 add test to break halo type

senvas pushed to wip-struct at syntaxAlchemist/ldmc 2025-05-01 06:39:45 +02:00

6787e607a6 wip

senvas created branch topic-constraint-system in syntaxAlchemist/lib-laddertypes 2025-05-01 06:12:21 +02:00

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

senvas pushed to wip-subtypeunify at syntaxAlchemist/lib-laddertypes 2025-05-01 06:12:00 +02:00

527c7884b8 wip: renamings, try to fix tests

senvas pushed to wip-subtypeunify at syntaxAlchemist/lib-laddertypes 2025-04-08 10:35:16 +02:00

b7832aed94 more work on sugared pnf

69ec5ad8bb rewrite of pnf sugared

2ecbc84233 switch pnf tests to sugared terms

78c83cc481 add failing test (failed to find morphism instance)

Compare 4 commits »

senvas pushed to wip-struct at syntaxAlchemist/ldmc 2025-04-03 16:38:43 +02:00

ef819b4711 morphisms: remove 'return 0;' at end since it is now added by default

senvas pushed to wip-subtypeunify at syntaxAlchemist/lib-laddertypes 2025-04-03 15:41:27 +02:00

a9967f8183 fix tests

8c170baad3 morphism instance: fix apply subst

6731f7fdea MorphismType: strip_halo() add strip(), and dont skip struct/enum if members dont match

f5fc2979c7 SugaredMorphismType::Struct add src/dst repr

ebaa1350ac unification sugared: check Seq-/Enum-/Struct- Representations for subtype

Compare 5 commits »

senvas pushed to wip-struct at syntaxAlchemist/ldmc 2025-04-02 23:32:58 +02:00

3f1397735c improve code generation

senvas pushed to wip-subtypeunify at syntaxAlchemist/lib-laddertypes 2025-04-02 23:13:19 +02:00

7f96b66324 subtype unification: check seq-/struct-/enum-repr type

ce0103c04f find_morphism_path(): always advance with direct morph, even if complex decomposition from goal exists

Compare 2 commits »

senvas pushed to wip-subtypeunify at syntaxAlchemist/lib-laddertypes 2025-04-02 20:11:45 +02:00

72705e824e morphism type: add apply_subst()

6fa46ae45d desugar: add missing seq/enum cases

Compare 2 commits »

senvas pushed to master at senvas/smart-sensor-example 2025-04-02 16:34:08 +02:00

82cd11a4af refactor RpcService class

senvas pushed to wip-struct at syntaxAlchemist/ldmc 2025-04-02 15:02:26 +02:00

67cec64dfc fix codegen for seq-map

senvas pushed to wip-struct at syntaxAlchemist/ldmc 2025-04-02 14:38:09 +02:00

98592aa596 fuse results of sub- morphisms in complex morphisms

senvas pushed to wip-struct at syntaxAlchemist/ldmc 2025-04-02 14:32:31 +02:00

35b747ea15 fix local src/dst types in complex morphisms

senvas pushed to wip-struct at syntaxAlchemist/ldmc 2025-04-02 14:12:02 +02:00

39cba1ee57 improve symbol names in generated c code

senvas pushed to wip-subtypeunify at syntaxAlchemist/lib-laddertypes 2025-04-02 14:00:06 +02:00

68627f140e add strip_halo()

senvas pushed to wip-struct at syntaxAlchemist/ldmc 2025-04-01 18:23:59 +02:00

583892f10d wip struct morphisms

senvas pushed to wip-subtypeunify at syntaxAlchemist/lib-laddertypes 2025-04-01 18:22:14 +02:00

c5fef299d8 wip. rewrite path search & unification for Sugared Terms