Commit graph

Select branches

Hide pull requests

master

topic-morphisms-example

topic-viz

wip-struct

Mono Color

• fd9f148549
  
  search viz animation topic-morphisms-example Michael Sippel 2025-07-12 07:57:40 +02:00
• 0c05d51ecd
  
  morphisms: fix syntax error in angle.morphism-base Michael Sippel 2025-07-02 08:44:55 +02:00
• 43dcb13f62
  
  search viz: implement MapStruct/MapEnum & correctly set extent Michael Sippel 2025-07-02 08:43:49 +02:00
• 3938985b83
  
  add delta seq morphism Michael Sippel 2025-06-30 14:07:26 +02:00
• 688ee303c4
  
  adapt morphisms to new syntax Michael Sippel 2025-06-30 14:04:47 +02:00
• bbbe54149e
  
  adapt layout in search pane Michael Sippel 2025-06-30 13:59:49 +02:00
• 7ed2936024
  
  add type defs for nativeInt* Michael Sippel 2025-06-30 08:32:09 +02:00
• 410ba4019f
  
  target morph: strip already substituted variables from context when baking MorphismInstance::Specialize Michael Sippel 2025-06-29 20:22:21 +02:00
• 557d345412
  
  viz: improve search pane Michael Sippel 2025-06-29 17:40:45 +02:00
• 7375d14fcb
  
  fixup theme Michael Sippel 2025-06-29 02:41:11 +02:00
• 1de4c7e7ad
  
  dont emit code when no instacne s available Michael Sippel 2025-06-28 07:07:40 +02:00
• 61ae353105
  
  search viz: emit svg for nodes in search graph Michael Sippel 2025-06-28 07:06:16 +02:00
• b83771594a
  
  viz: search pane Michael Sippel 2025-06-26 23:22:24 +02:00
• bbaec58c83
  
  rename ctx; TypeTerm::Seq: items->item Michael Sippel 2025-06-26 16:03:38 +02:00
• dbe1a2c002
  
  gen_lib: use sugared sequence syntax Michael Sippel 2025-06-21 03:05:04 +02:00
• 793ade4709
  
  implement get_c_repr_type for struct/enum/seq (since we removed desugared terms) Michael Sippel 2025-06-21 02:51:32 +02:00
• 06b607eb6f
  
  parser adaptions; remove desugared terms Michael Sippel 2025-06-20 17:13:46 +02:00
• 89b730ea7d
  
  substitutions & contexts Michael Sippel 2025-06-19 16:11:39 +02:00
• 4674e75e99
  
  morphism base: new syntax Michael Sippel 2025-06-14 13:22:36 +02:00
• 64e8b96c92
  
  adapt to changes in lib-laddertypes Michael Sippel 2025-06-12 04:14:27 +02:00
• 6897b5e274
  
  adapt to changed MorphismInstance in lib-laddertypes Michael Sippel 2025-05-30 20:19:45 +02:00
• 0564845951
  
  fix angle morphism name Michael Sippel 2025-05-30 18:28:09 +02:00
• 1a3c194ec2
  
  morphisms: posint le/be fixes & distinguished morphism names Michael Sippel 2025-05-28 16:51:00 +02:00
• 0d6378c72e
  
  morphism base: digits as ℕ Michael Sippel 2025-05-28 13:47:29 +02:00
• cd53199dfb
  
  remove syntax experiments from morphism base Michael Sippel 2025-05-28 07:42:14 +02:00
• 080e8b756c
  
  add farbfeld example Michael Sippel 2025-05-24 18:22:33 +02:00
• f8ef2d08a2
  
  add more morphisms Michael Sippel 2025-05-24 18:21:26 +02:00
• e5df94ebd1
  
  visualization: alsow use arrowhead2 with edges outside of module <g> topic-viz Michael Sippel 2025-05-28 15:53:18 +02:00
• 74fc706c4b
  
  visualization: fix edge positions in both pane modes Michael Sippel 2025-05-28 15:46:25 +02:00
• 3d121fb57b
  
  visualization: improve layouting Michael Sippel 2025-05-28 13:12:23 +02:00
• d5fab37fca
  
  visualization: add seq map Michael Sippel 2025-05-28 09:19:18 +02:00
• f03ebb2d2c
  
  visualization: improve style of struct morphisms Michael Sippel 2025-05-28 07:27:43 +02:00
• 8d7c60cfe0
  
  visualization: improve struct layout & add opening bracket symbol Michael Sippel 2025-05-27 21:52:37 +02:00
• 76b64e583f
  
  improve morph instance viz Michael Sippel 2025-05-27 15:29:29 +02:00
• 7c17302f8b
  
  vizualize chain morphisms Michael Sippel 2025-05-27 01:46:53 +02:00
• f9b0759f32
  
  improve js string generation Michael Sippel 2025-05-27 00:34:00 +02:00
• ff0fe2c877
  
  viz: fix some html/js stuff Michael Sippel 2025-05-27 00:19:56 +02:00
• 3c04c7909c
  
  cleanup viz code Michael Sippel 2025-05-26 23:08:05 +02:00
• 5f944fb403
  
  wip viz Michael Sippel 2025-05-24 18:19:44 +02:00
• 9276336655
  
  viz: dummy for adding morphism instances in addition to the overall morphism base Michael Sippel 2025-05-18 13:02:51 +02:00
• c40efda83b
  
  initial html output Michael Sippel 2025-05-17 18:42:55 +02:00
• cff14cf096
  
  add MorphismInstance::Id wip-struct Michael Sippel 2025-05-28 17:33:22 +02:00
• edd3441511
  
  todo.md Michael Sippel 2025-05-27 15:38:57 +02:00
• dfa364bc0f
  
  length prefix morphism: generic calls to functions with C macro Michael Sippel 2025-05-16 13:55:36 +02:00
• 62f0ff9eac
  
  add array morphisms : StaticLength <--> LengthPrefix Michael Sippel 2025-05-16 13:53:19 +02:00
• 76c005ac8b
  
  morph lenpfx to valterm: make item type generic Michael Sippel 2025-05-16 13:51:45 +02:00
• 0eb8074644
  
  digit morphism: also print Radix in warning Michael Sippel 2025-05-16 02:34:18 +02:00
• 0c9a4ccc8b
  
  example: use -o option in makefile Michael Sippel 2025-05-16 02:33:17 +02:00
• 24f9a0f5b5
  
  C code gen: rename include block to header block Michael Sippel 2025-05-14 10:28:31 +02:00
• 7dd6352760
  
  code generation: only use scanf/printf on newline('\n') terminated strings Michael Sippel 2025-05-14 10:20:55 +02:00
• 692a34c257
  
  main: when loading morphism base, remove . from path suffix variable Michael Sippel 2025-05-14 10:19:48 +02:00
• ea2504ff07
  
  morphisms: fix bitshift in lenpfx to msb-cont Michael Sippel 2025-05-10 17:53:31 +02:00
• 6f0a0f5927
  
  when generating #defines for values of type variables, distinguish between variables of type 'Type' and others Michael Sippel 2025-05-10 16:28:58 +02:00
• 4a705241fe
  
  manage include blocks & only output required blocks once Michael Sippel 2025-05-10 16:27:56 +02:00
• efa584dfb5
  
  update test.sh to new cli features Michael Sippel 2025-05-10 16:25:36 +02:00
• 783c70b2e2
  
  add output option in cli arguments Michael Sippel 2025-05-10 15:40:49 +02:00
• a58ac1a69c
  
  in generation of main function, fix case that input/output buffer is a nullterm string Michael Sippel 2025-05-10 15:16:51 +02:00
• 1116457bcc
  
  add example C program which generates (de)marshaling with ldmc Michael Sippel 2025-05-10 15:00:54 +02:00
• 27ea365755
  
  improve integration Michael Sippel 2025-05-09 03:33:18 +02:00
• 923fe987dc
  
  fix typedefs Michael Sippel 2025-05-07 16:29:45 +02:00
• 3ed7a19270
  
  adapt changes in lib-laddertypes Michael Sippel 2025-05-06 00:39:32 +02:00
• 6787e607a6
  
  wip Michael Sippel 2025-05-01 06:38:17 +02:00
• ef819b4711
  
  morphisms: remove 'return 0;' at end since it is now added by default Michael Sippel 2025-04-03 16:37:46 +02:00
• 3f1397735c
  
  improve code generation Michael Sippel 2025-04-02 23:32:06 +02:00
• 67cec64dfc
  
  fix codegen for seq-map Michael Sippel 2025-04-02 15:01:45 +02:00
• 98592aa596
  
  fuse results of sub- morphisms in complex morphisms Michael Sippel 2025-04-02 14:37:31 +02:00
• 35b747ea15
  
  fix local src/dst types in complex morphisms Michael Sippel 2025-04-02 14:31:47 +02:00
• 39cba1ee57
  
  improve symbol names in generated c code Michael Sippel 2025-04-02 14:11:17 +02:00
• 583892f10d
  
  wip struct morphisms Michael Sippel 2025-04-01 18:23:18 +02:00
• d98afc294d
  
  exemplaric platform definitions Michael Sippel 2025-03-31 10:29:57 +02:00
• bce52e9fcf
  
  replace native.Float/native.Double with native.Float32/native.Float64 Michael Sippel 2025-03-25 19:38:56 +01:00
• 21bb33193a
  
  wip struct morphisms Michael Sippel 2025-03-24 10:14:25 +01:00
• 1869176bb7
  
  make MsbCont morphism generic over item type master Michael Sippel 2025-03-20 19:49:03 +01:00
• 4b824cbb7c
  
  unicode morphisms: remove LE- suffix from UTF32 since we are using native.UInt32 Michael Sippel 2025-03-20 17:26:18 +01:00
• 1d10b1bf61
  
  improve length prefix array macros Michael Sippel 2025-03-20 17:25:40 +01:00
• f67f8c0118
  
  replace x86.T with native.T Michael Sippel 2025-03-20 16:28:16 +01:00
• e29a5a3475
  
  generate all length prefix array variants via macro Michael Sippel 2025-03-20 16:16:41 +01:00
• 4c7302c4a3
  
  digit morphisms: print message to stderr when digit is out of range Michael Sippel 2025-03-19 17:28:54 +01:00
• 17a1e499d8
  
  add lenpfx to valsep morphism Michael Sippel 2025-03-19 17:28:26 +01:00
• f8725c0624
  
  unicode morphisms: switch to 0 terminator instead of '\0' Michael Sippel 2025-03-19 17:28:04 +01:00
• 24b332c682
  
  add morphism for unix-timestamp to iso8601 Michael Sippel 2025-03-19 17:27:04 +01:00
• 8b8acb81a6
  
  generated main(): use sizeof for buffer sizes Michael Sippel 2025-03-18 14:09:01 +01:00
• 5d1ea93e20
  
  add float & double representations to C-generator Michael Sippel 2025-03-18 14:07:14 +01:00
• 65cd0b6853
  
  add morphisms for angle, temperature & real numbers Michael Sippel 2025-03-18 14:06:05 +01:00
• 6f85e004b9
  
  improve posint morphisms Michael Sippel 2025-03-18 14:05:42 +01:00
• 6cfb25a1a7
  
  fix warnings Michael Sippel 2025-03-15 19:48:02 +01:00
• 45453a04f4
  
  split main.rs into separate files Michael Sippel 2025-03-15 19:37:03 +01:00
• 2d92bce91b
  
  includes & errors in morphisms Michael Sippel 2025-03-15 19:19:20 +01:00
• 90eb43475b
  
  gitignore Michael Sippel 2025-03-15 18:49:39 +01:00
• 2eb3728027
  
  add test script Michael Sippel 2025-03-15 18:49:29 +01:00
• d0118b56b1
  
  add morphisms Michael Sippel 2025-03-15 18:49:06 +01:00
• 630948139b
  
  move header & library for morphism data structures to 'runtime' diretcory Michael Sippel 2025-03-15 18:38:48 +01:00
• 5a64334b1d
  
  add include header in morphism-base Michael Sippel 2025-03-15 18:28:57 +01:00
• 5993923338
  
  apply substitution before creating symbol name when generating instantiations Michael Sippel 2025-03-15 18:23:18 +01:00
• ffd190890d
  
  improve encode_type_to_symbol to handle complex types Michael Sippel 2025-03-15 18:22:46 +01:00
• 186c12fc5d
  
  improve output Michael Sippel 2025-02-20 05:35:40 +01:00
• 44ff30e599
  
  encode all literal-character types as ascii code for compatiblity with c symbol names Michael Sippel 2025-02-20 05:26:37 +01:00
• dfc9ced33c
  
  msb continuation ((ammend)) Michael Sippel 2025-02-20 05:24:50 +01:00
• 9e871a97a4
  
  remove deprecated .gitignore Michael Sippel 2025-02-20 05:23:32 +01:00
• 4a5977ec8e
  
  add morphisms to Msb-ContinuationBit Sequences Michael Sippel 2025-02-20 05:22:28 +01:00