senvas
0 followers · 0 following
  • Joined on 2024-02-15
Projects Packages Public activity Starred repositories
380 contributions in the last 12 months
MayJunJulAugSepOctNovDecJanFebMarAprMonWedFri
Less
More
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
senvas pushed to wip-struct at syntaxAlchemist/ldmc 2025-03-31 10:30:50 +02:00
d98afc294d exemplaric platform definitions
bce52e9fcf replace native.Float/native.Double with native.Float32/native.Float64
Compare 2 commits »
senvas pushed to master at senvas/race-to-treasure 2025-03-29 14:20:47 +01:00
c28dfc40ab add dice
29c77da0be first ogre snack
Compare 2 commits »
senvas pushed to master at senvas/race-to-treasure 2025-03-28 21:31:37 +01:00
79ae6ecc1e improve key
senvas pushed to master at senvas/race-to-treasure 2025-03-26 16:00:56 +01:00
989b210d90 initial key
senvas pushed to master at syntaxAlchemist/ldmc 2025-03-25 19:39:28 +01:00
1869176bb7 make MsbCont morphism generic over item type
senvas pushed to wip-subtypeunify at syntaxAlchemist/lib-laddertypes 2025-03-25 16:31:40 +01:00
d445e27293 add get_interface_type()