senvas

senvas pushed to master at syntaxAlchemist/ldmc

2025-03-19 02:42:18 +01:00

8b8acb81a6 generated main(): use sizeof for buffer sizes

5d1ea93e20 add float & double representations to C-generator

65cd0b6853 add morphisms for angle, temperature & real numbers

6f85e004b9 improve posint morphisms

Compare 4 commits »

senvas pushed to wip-subtypeunify at syntaxAlchemist/lib-laddertypes

2025-03-17 13:27:53 +01:00

3eaca0dc37 work on unification

dc6626833d add failing unification testcase

fe73c47504 find_morphism_path(): param-normalize halo

2c288dbff3 fix tests

Compare 4 commits »

senvas created branch master in senvas/smart-sensor-example

2025-03-17 10:16:12 +01:00

senvas pushed to master at senvas/smart-sensor-example

2025-03-17 10:16:12 +01:00

cbee09be85 initial virtual sensor with protobuf

senvas created repository senvas/smart-sensor-example

2025-03-17 10:15:59 +01:00

senvas pushed to master at syntaxAlchemist/ldmc

2025-03-15 19:50:20 +01:00

6cfb25a1a7 fix warnings

45453a04f4 split main.rs into separate files

2d92bce91b includes & errors in morphisms

Compare 3 commits »

senvas pushed to master at syntaxAlchemist/ldmc

2025-03-15 18:50:06 +01:00

90eb43475b gitignore

2eb3728027 add test script

d0118b56b1 add morphisms

Compare 3 commits »

senvas pushed to master at syntaxAlchemist/ldmc

2025-03-15 18:46:07 +01:00

630948139b move header & library for morphism data structures to 'runtime' diretcory

senvas pushed to master at syntaxAlchemist/ldmc

2025-03-15 18:39:57 +01:00

c856496be7 move header & library for morphism data structures to 'runtime' diretcory

senvas pushed to master at syntaxAlchemist/ldmc

2025-03-15 18:29:30 +01:00

5a64334b1d add include header in morphism-base

5993923338 apply substitution before creating symbol name when generating instantiations

ffd190890d improve encode_type_to_symbol to handle complex types

186c12fc5d improve output

44ff30e599 encode all literal-character types as ascii code for compatiblity with c symbol names

Compare 10 commits »

senvas pushed to wip-subtypeunify at syntaxAlchemist/lib-laddertypes

2025-03-12 15:11:33 +01:00

53dbb7fc33 add tests for subtype-unify & find_morphism_path

senvas pushed to master at senvas/synth

2025-03-12 01:24:00 +01:00

c2e65bf10d resolve DRC checks, frame

senvas pushed to master at senvas/synth

2025-03-11 23:41:25 +01:00

d4827a2c94 resolve remaining routes & compactify

senvas pushed to master at senvas/synth

2025-03-11 18:56:36 +01:00

fc657f420a - add power connector

senvas pushed to wip-subtypeunify at syntaxAlchemist/lib-laddertypes

2025-03-10 18:20:12 +01:00

8c6c7e4c00 wip

senvas pushed to ref3 at syntaxAlchemist/lib-nested

2025-03-10 18:19:35 +01:00

48fc91b586 todo.md

894e19b84b wip

bbcf97d00b lines example: split files

Compare 3 commits »

senvas created branch master in senvas/synth

2025-03-10 18:11:57 +01:00

senvas pushed to master at senvas/synth

2025-03-10 18:11:57 +01:00

8986ea3c3d add KiCad Files & paper drafts for AR-Env1

senvas created repository senvas/synth

2025-03-10 18:08:45 +01:00

senvas pushed to wip-subtypeunify at syntaxAlchemist/lib-laddertypes

2025-03-09 13:28:40 +01:00

911411791a fix path search & unification

ee75d23755 term strip(): flatten ladders

Compare 2 commits »