senvas

senvas created branch wip-subtypeunify in syntaxAlchemist/lib-laddertypes

2025-03-06 14:03:10 +01:00

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

2025-03-06 14:03:10 +01:00

893d09255d wip subtype unification

senvas pushed to topic-morphism-base at syntaxAlchemist/lib-laddertypes

2025-02-25 22:58:42 +01:00

a6a6677920 fix unification test

c60d55adba subtype unification: dont allow trait types as subtypes

85f1e6384f add common_halo

c28120f09c steiner tree (?)

4e89eeda91 reactivate find_morphism()

Compare 5 commits »

senvas pushed to dev at senvas/guitfx

2025-02-20 17:04:15 +01:00

703d41aec8 add .clang-format file & format all

senvas pushed to dev at senvas/guitfx

2025-02-20 16:15:57 +01:00

765275ac32 move midi-control into separate function&file

752155de32 add gitignore

a6970aeed3 clang format

62acece204 gate: decrease attack, increase release

ce2212708a up expr threshold

Compare 12 commits »

senvas pushed to topic-noisegate at senvas/guitfx

2025-02-20 16:05:29 +01:00

765275ac32 move midi-control into separate function&file

752155de32 add gitignore

a6970aeed3 clang format

62acece204 gate: decrease attack, increase release

ce2212708a up expr threshold

Compare 5 commits »

senvas pushed to master at syntaxAlchemist/ldmc

2025-02-16 17:25:48 +01:00

24e28e7bb5 move code size benchmark to separate directory

senvas pushed to master at syntaxAlchemist/ldmc

2025-02-16 17:09:25 +01:00

cea1f36e63 read morphism body definitions from morphism-base file and generate instantiations based on type-variable substitutions

3f4a99ad79 generate instanitated symbol name

afa326ed23 more work on code generation

c270efbb87 add radix morphism for little and big endian

638bb690aa nullterm/lenprefix : UInt8 as base type,strip char~ascii

Compare 6 commits »

senvas pushed to topic-morphism-base at syntaxAlchemist/lib-laddertypes

2025-02-15 18:53:37 +01:00

19e29759d2 rewrite enum_morphisms & find_morphism_path

b0ebf49d03 pretty format: use different colors for variables

62a80fcd2f morphism base: store vec of seq-types

75aaf096eb fix tests

804c688f4c pretty: output escape character for \0 and \n

Compare 20 commits »

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

2025-02-15 18:36:19 +01:00

b502b62479 unification: reject non-identity loops & add test cases

f05ef07589 subtype unification

Compare 2 commits »

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

2025-02-15 18:26:19 +01:00

06ac2c3863 unification: reject non-identity loops & add test cases

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

2025-02-15 18:25:46 +01:00

30196897c7 unification: reject non-identity loops & add test cases

senvas pushed to topic-morphism-base at syntaxAlchemist/lib-laddertypes

2025-02-15 17:21:47 +01:00

4c1db87565 unification: reject non-identity loops & add test cases

03c2756ede rewrite enum_morphisms & find_morphism_path

e7fa936a4d pretty format: use different colors for variables

1c4b98f82a subtype unification

179bbd6721 morphism base: store vec of seq-types

Compare 22 commits »

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

2025-02-09 16:59:12 +01:00

e17a1a9462 add subtype unification

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

2025-02-09 13:14:32 +01:00

e53edd23b9 unification: remove unreachable pattern

3c5d7111bc Merge branch 'fix-pnf' into dev

a9a35aed1b rewrite param_normalize()

4a6a35a897 pnf: add test for collapsing first application argument

4aa62d4813 Merge branch 'topic-sugar' into dev

Compare 7 commits »

senvas deleted branch topic-parameter-normal-form from syntaxAlchemist/lib-laddertypes

2025-02-09 12:48:12 +01:00

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

2025-02-09 12:47:23 +01:00

senvas deleted branch fix-pnf from syntaxAlchemist/lib-laddertypes

2025-02-09 12:47:20 +01:00

senvas pushed to topic-morphism-base at syntaxAlchemist/lib-laddertypes

2025-02-09 12:46:51 +01:00

a52c01d9e9 morphism base: store vec of seq-types

4155310e1e fix tests

a534d33b7b pretty: output escape character for \0 and \n

f33ad0a7e2 steiner tree: eliminate identity loops

8fb20e4e18 add Send+Sync trait bound to TypeDict

Compare 22 commits »

senvas pushed to fix-pnf at syntaxAlchemist/lib-laddertypes

2025-02-09 12:43:37 +01:00

a9a35aed1b rewrite param_normalize()

4a6a35a897 pnf: add test for collapsing first application argument

4aa62d4813 Merge branch 'topic-sugar' into dev

c6bad6046a add sugared terms & pretty printing

c03db48fd2 TypeID: add Copy trait

Compare 5 commits »