Commit graph

Select branches

Hide pull requests

dev

topic-constraint-system

topic-marco

topic-morphism-base

topic-semantic-subtype

topic-sugar-wip

topic-unification

wip-subtypeunify

Mono Color

• ef2c78c828
  
  fix halo type in subtype-constraint topic-constraint-system Michael Sippel 2025-05-03 19:22:59 +02:00
• ade0f22b0c
  
  add test to break halo type Michael Sippel 2025-05-03 18:45:15 +02:00
• 527c7884b8
  
  wip: renamings, try to fix tests wip-subtypeunify Michael Sippel 2025-05-01 06:10:30 +02:00
• b7832aed94
  
  more work on sugared pnf Michael Sippel 2025-04-07 18:10:08 +02:00
• 69ec5ad8bb
  
  rewrite of pnf sugared Michael Sippel 2025-04-05 22:55:34 +02:00
• 2ecbc84233
  
  switch pnf tests to sugared terms Michael Sippel 2025-04-05 22:55:20 +02:00
• 78c83cc481
  
  add failing test (failed to find morphism instance) Michael Sippel 2025-04-03 15:57:18 +02:00
• a9967f8183
  
  fix tests Michael Sippel 2025-04-03 15:40:42 +02:00
• 8c170baad3
  
  morphism instance: fix apply subst Michael Sippel 2025-04-03 15:39:25 +02:00
• 6731f7fdea
  
  MorphismType: strip_halo() add strip(), and dont skip struct/enum if members dont match Michael Sippel 2025-04-03 15:38:32 +02:00
• f5fc2979c7
  
  SugaredMorphismType::Struct add src/dst repr Michael Sippel 2025-04-03 15:37:23 +02:00
• ebaa1350ac
  
  unification sugared: check Seq-/Enum-/Struct- Representations for subtype Michael Sippel 2025-04-03 14:33:29 +02:00
• 7f96b66324
  
  subtype unification: check seq-/struct-/enum-repr type Michael Sippel 2025-04-02 23:12:25 +02:00
• ce0103c04f
  
  find_morphism_path(): always advance with direct morph, even if complex decomposition from goal exists Michael Sippel 2025-04-02 23:11:40 +02:00
• 72705e824e
  
  morphism type: add apply_subst() Michael Sippel 2025-04-02 20:11:03 +02:00
• 6fa46ae45d
  
  desugar: add missing seq/enum cases Michael Sippel 2025-04-02 20:10:23 +02:00
• 68627f140e
  
  add strip_halo() Michael Sippel 2025-04-02 13:58:58 +02:00
• c5fef299d8
  
  wip. rewrite path search & unification for Sugared Terms Michael Sippel 2025-04-01 18:21:27 +02:00
• d445e27293
  
  add get_interface_type() Michael Sippel 2025-03-25 16:31:04 +01:00
• cae616b7ae
  
  add substitution trait Michael Sippel 2025-03-24 14:06:16 +01:00
• bda36b4856
  
  type dict: get_typename_create Michael Sippel 2025-03-24 10:11:16 +01:00
• a730b48c49
  
  add SugaredStructMember & SugaredVariantEnum Michael Sippel 2025-03-23 14:56:44 +01:00
• e59d8baf0f
  
  morphism base into separate file Michael Sippel 2025-03-21 16:26:12 +01:00
• 89811cedd3
  
  move shortest path into separate file Michael Sippel 2025-03-21 16:13:54 +01:00
• 3eaca0dc37
  
  work on unification Michael Sippel 2025-03-15 11:33:48 +01:00
• dc6626833d
  
  add failing unification testcase Michael Sippel 2025-03-14 17:46:59 +01:00
• fe73c47504
  
  find_morphism_path(): param-normalize halo Michael Sippel 2025-03-14 17:44:27 +01:00
• 2c288dbff3
  
  fix tests Michael Sippel 2025-03-12 16:38:39 +01:00
• 53dbb7fc33
  
  add tests for subtype-unify & find_morphism_path Michael Sippel 2025-03-12 15:10:44 +01:00
• 8c6c7e4c00
  
  wip Michael Sippel 2025-03-10 18:20:00 +01:00
• 911411791a
  
  fix path search & unification Michael Sippel 2025-03-09 13:26:51 +01:00
• ee75d23755
  
  term strip(): flatten ladders Michael Sippel 2025-03-06 23:35:29 +01:00
• 893d09255d
  
  wip subtype unification Michael Sippel 2025-03-06 14:01:57 +01:00
• a6a6677920
  
  fix unification test topic-morphism-base Michael Sippel 2025-02-25 22:57:50 +01:00
• c60d55adba subtype unification: dont allow trait types as subtypes Michael Sippel 2025-02-25 22:56:12 +01:00
• 85f1e6384f
  
  add common_halo Michael Sippel 2025-02-25 22:55:41 +01:00
• c28120f09c
  
  steiner tree (?) Michael Sippel 2025-02-25 22:54:57 +01:00
• 4e89eeda91
  
  reactivate find_morphism() Michael Sippel 2025-02-25 22:54:18 +01:00
• 19e29759d2
  
  rewrite enum_morphisms & find_morphism_path Michael Sippel 2025-02-15 17:17:43 +01:00
• b0ebf49d03
  
  pretty format: use different colors for variables Michael Sippel 2025-02-14 20:55:02 +01:00
• 62a80fcd2f
  
  morphism base: store vec of seq-types Michael Sippel 2025-02-04 14:36:05 +01:00
• 75aaf096eb
  
  fix tests Michael Sippel 2025-02-04 14:34:55 +01:00
• 804c688f4c
  
  pretty: output escape character for \0 and \n Michael Sippel 2025-02-04 14:26:37 +01:00
• 2a8f7e0759
  
  steiner tree: eliminate identity loops Michael Sippel 2024-12-24 12:54:43 +01:00
• 32ca645778
  
  add Send+Sync trait bound to TypeDict Michael Sippel 2024-10-28 20:00:11 +01:00
• b869c5f59f
  
  fix find_morphism_path Michael Sippel 2024-10-28 19:58:59 +01:00
• bc1941d1bc
  
  check if term is empty Michael Sippel 2024-10-06 14:39:05 +02:00
• 27a0ca5e56
  
  add Debug for Bimap & BimapTypeDict Michael Sippel 2024-10-06 14:38:41 +02:00
• a144521566
  
  make TypeDict a trait & BimapTypeDict an impl Michael Sippel 2024-10-03 23:40:04 +02:00
• d795ba45e9
  
  add steiner tree solver based on shortest path Michael Sippel 2024-09-27 12:15:40 +02:00
• 8e6885197a
  
  initial implementation of solver for steiner trees Michael Sippel 2024-08-12 21:18:17 +02:00
• 81e87f111a
  
  morphism base: find shortest path instead of just some path Michael Sippel 2024-08-11 22:50:48 +02:00
• 802480d089
  
  fix returned halo type in find_morphism_with_subtyping() Michael Sippel 2024-08-06 15:37:23 +02:00
• a0f71b1223
  
  turn Morphism into trait and add find_morphism() function Michael Sippel 2024-08-05 02:54:35 +02:00
• 2ddd4c4a61
  
  add test for find_morphism_path() Michael Sippel 2024-08-04 23:47:59 +02:00
• e962dfb41a
  
  initial MorphismBase with DFS to find morphism paths Michael Sippel 2024-08-04 23:23:20 +02:00
• b502b62479
  
  unification: reject non-identity loops & add test cases topic-unification Michael Sippel 2025-02-15 17:21:12 +01:00
• f05ef07589
  
  subtype unification Michael Sippel 2025-02-13 12:27:48 +01:00
• e17a1a9462
  
  add subtype unification Michael Sippel 2025-02-09 16:58:58 +01:00
• e53edd23b9
  
  unification: remove unreachable pattern Michael Sippel 2025-02-08 17:05:33 +01:00
• 3c5d7111bc
  
  Merge branch 'fix-pnf' into dev dev Michael Sippel 2025-02-09 12:42:40 +01:00
• a9a35aed1b
  
  rewrite param_normalize() Michael Sippel 2025-02-05 11:06:49 +01:00
• 4a6a35a897
  
  pnf: add test for collapsing first application argument Michael Sippel 2025-02-04 15:15:09 +01:00
• 4aa62d4813
  
  Merge branch 'topic-sugar' into dev Michael Sippel 2025-02-09 12:40:11 +01:00
• c6bad6046a
  
  add sugared terms & pretty printing Michael Sippel 2024-10-02 22:37:06 +02:00
• c03db48fd2
  
  TypeID: add Copy trait Michael Sippel 2024-08-04 23:18:37 +02:00
• 71a8f4e06b wip sugar topic-sugar-wip Michael Sippel 2024-05-01 11:54:55 +02:00
• 91cd1cd7d8 add sugared terms & pretty printing Michael Sippel 2024-10-02 22:37:06 +02:00
• 2d387e6279 TypeID: add Copy trait Michael Sippel 2024-08-04 23:18:37 +02:00
• 3b85bd7621
  
  add find_semantic_subtype_matches() as potential alternative to is_semantic_subtype_of() topic-semantic-subtype Michael Sippel 2024-07-21 17:45:43 +02:00
• a4837038e6
  
  Merge branch 'topic-parameter-normal-form' into dev Michael Sippel 2024-08-05 00:10:03 +02:00
• 658134d56a
  
  readme: add syntax description and roadmap Michael Sippel 2024-05-01 17:07:47 +02:00
• 02d8815acd
  
  add param_normalize() to get Parameter-Normal-Form (PNF) Michael Sippel 2024-05-01 15:10:29 +02:00
• 5b45f164fb
  
  macro wip topic-marco Michael Sippel 2024-02-27 03:37:09 +01:00
• d7502e6af8
  
  add gitignore Michael Sippel 2023-12-02 17:03:27 +01:00
• 0fb3f6e212
  
  parser test: also test variable-ids Michael Sippel 2023-11-11 16:26:58 +01:00
• bd21a602f3
  
  unification Michael Sippel 2023-11-11 16:26:30 +01:00
• 5919b7df1f
  
  wip unification Michael Sippel 2023-10-31 16:26:54 +01:00
• 74177d1d30
  
  substitutions Michael Sippel 2023-10-30 17:22:00 +01:00
• aacafb318a
  
  README: minor improvements Michael Sippel 2023-10-03 04:34:47 +02:00
• f45593cfd5
  
  lnf: remove unnecessary mut Michael Sippel 2023-10-03 03:35:29 +02:00
• 45f49378fa
  
  is_syntactic_subtype(): remove option in Err variant Michael Sippel 2023-10-03 03:34:55 +02:00
• 29d1acd681
  
  implement unparse() Michael Sippel 2023-10-03 03:30:38 +02:00
• 167da369af
  
  improve README Michael Sippel 2023-10-03 01:39:50 +02:00
• 3b944d15c8
  
  add more subtype test-cases & fix normalize in case of normalizing sub-ladders Michael Sippel 2023-10-02 19:16:20 +02:00
• ccd60fc7bf
  
  implement subtype checks Michael Sippel 2023-10-02 18:58:39 +02:00
• 3014213aa7
  
  add more complex normalization test & fix normalization of application arguments Michael Sippel 2023-10-02 18:57:49 +02:00
• 7b22bdc170
  
  implement ladder normalization Michael Sippel 2023-10-02 18:48:04 +02:00
• 61c06d5d03
  
  fix warnings Michael Sippel 2023-10-02 15:15:58 +02:00
• c96218e318
  
  README: add small code example Michael Sippel 2023-10-02 15:09:59 +02:00
• c7585f353a
  
  make decoration comment style consistent Michael Sippel 2023-10-02 15:07:42 +02:00
• e60c60cbff
  
  parser: remove FromStr & always improve parse() function Michael Sippel 2023-10-02 15:05:25 +02:00
• 2d3b234e6e
  
  add curry/decurry Michael Sippel 2023-10-02 01:45:54 +02:00
• 3fc691acf2
  
  lexer: allow escaped characters in char-token Michael Sippel 2023-10-02 02:01:15 +02:00
• 601327f602
  
  dict: add type_from_str Michael Sippel 2023-10-02 02:00:47 +02:00
• da899192f5
  
  lexer: improve whitespace handling Michael Sippel 2023-10-02 01:30:10 +02:00
• 8fa38ca7d3
  
  initial parser implementation Michael Sippel 2023-10-02 01:28:22 +02:00
• 8ec95dfbed
  
  make decoration comments symmetric Michael Sippel 2023-10-02 01:27:50 +02:00
• cb91fa52de
  
  lexer: change num type to i64 Michael Sippel 2023-10-01 18:43:04 +02:00
• e89e16af61
  
  term: remove unused import Michael Sippel 2023-10-01 18:04:04 +02:00