Commit graph

Select branches

Hide pull requests

dev

topic-cm2

topic-constraint-system

topic-debruijn

topic-heuristic

topic-marco

topic-morphgraph

topic-parser

topic-semantic-subtype

topic-steiner-tree

wip

Mono Color

• 52c92a156c
  
  wip? debug loop wip Michael Sippel 2025-07-10 12:43:56 +02:00
• cb45831e79
  
  disable debug prints Michael Sippel 2025-06-30 13:53:46 +02:00
• 9c308fd616
  
  graph search: weight heuristic less than actual weight Michael Sippel 2025-06-30 13:53:19 +02:00
• fdfcc1fb98
  
  heuristic: add penalty for ladders against atoms depending on ladder size Michael Sippel 2025-06-30 13:52:45 +02:00
• 2f8c5aa9d8
  
  rename add_explore_node -> add_search_node Michael Sippel 2025-06-30 08:48:16 +02:00
• 8d802b3aa6
  
  loop condition Michael Sippel 2025-06-30 08:46:03 +02:00
• 1f9534f98b
  
  pnf: try to fix normalization of seq-repr Michael Sippel 2025-06-30 08:42:36 +02:00
• cc808f9971
  
  graph search: fix: dont abort if sub search fails Michael Sippel 2025-06-30 08:41:48 +02:00
• 5b3e3761d5
  
  morphism decomposition: check seq/struct repr Michael Sippel 2025-06-30 08:34:16 +02:00
• 9bf5149145
  
  graph search: check if morphism decomposition is trivial Michael Sippel 2025-06-27 03:25:22 +02:00
• a24f94c45e
  
  GraphSearch: add id to searchNodes and record search history Michael Sippel 2025-06-26 23:28:15 +02:00
• f7150ed7fe
  
  rename ctx; TypeTerm::Seq: items->item Michael Sippel 2025-06-26 16:26:04 +02:00
• f34c4612df
  
  cycle detection Michael Sippel 2025-06-23 22:47:18 +02:00
• 7daf449be3
  
  remove debug prints Michael Sippel 2025-06-23 21:04:30 +02:00
• dd3d017c43
  
  ctx: implement addressing modes to simplify handling of contexts in graph construction topic-parser Michael Sippel 2025-06-23 14:05:15 +02:00
• f40c80e06e
  
  remove Ctx() from Morphism Michael Sippel 2025-06-21 23:25:25 +02:00
• d0ffcdbed3
  
  fix pnf: when collapsing seq-repr check if item types overlap, not just if they are equal Michael Sippel 2025-06-21 21:56:46 +02:00
• 63484c5a4f
  
  refactor ConstraintPair & TypeTerm::Univ Michael Sippel 2025-06-21 21:26:34 +02:00
• a03680d380
  
  parser: add parsing of sugared func/morph arrows Michael Sippel 2025-06-20 15:15:58 +02:00
• 9acf53945a
  
  lexer: add arrow tokens Michael Sippel 2025-06-20 14:35:43 +02:00
• 1ab5ac0c58
  
  parser: add parsing of sugared enums Michael Sippel 2025-06-20 14:16:12 +02:00
• 86c1d15d33
  
  begin extending parser Michael Sippel 2025-06-20 03:59:17 +02:00
• abc8e1fc1e
  
  restructure contexts & substitutions, topic-morphgraph Michael Sippel 2025-06-19 16:08:21 +02:00
• 7f844f2a2d
  
  morphism graph: cycle detection: exclude trivial loop through Id Step Michael Sippel 2025-06-13 17:37:37 +02:00
• e2f7a363d7
  
  morphism graph: make all structure reprs optional Michael Sippel 2025-06-13 17:27:52 +02:00
• 93634c2656
  
  add shift_variables() and in Morphism trait add ctx() Michael Sippel 2025-06-13 17:09:57 +02:00
• 5af2b59278
  
  pretty: fix dict call to get_varname Michael Sippel 2025-06-13 16:59:23 +02:00
• 1e29653c61
  
  avoid unwrap() due to unspecified struct repr; default to type-id magic for native representation Michael Sippel 2025-06-12 07:48:49 +02:00
• 3e1fee2ee4
  
  morphism graph: add structure representations Michael Sippel 2025-06-12 07:07:36 +02:00
• 821d233094
  
  rename morphism modules Michael Sippel 2025-06-12 05:05:19 +02:00
• c73818c620
  
  dictionary: add get_name() & get_varid() Michael Sippel 2025-06-11 15:02:42 +02:00
• 41e425cfd9
  
  test Michael Sippel 2025-06-11 13:33:37 +02:00
• d5ef37a433
  
  move heuristic into morphism graph module Michael Sippel 2025-06-11 13:30:30 +02:00
• b41cef5df3
  
  rewrite morphism search Michael Sippel 2025-05-29 17:38:21 +02:00
• 10306eebb6
  
  add Id as case for MorphismInstance Michael Sippel 2025-05-28 17:32:30 +02:00
• 9d996be6fa
  
  add #[derive(Hash)] to MorphismType Michael Sippel 2025-05-22 01:06:37 +02:00
• c9b4d1c908
  
  move estimated_cost() to member of MorphismType topic-heuristic Michael Sippel 2025-05-29 17:34:55 +02:00
• 8212174cc4
  
  initial cost heuristic for morphism types & accelerated graph search (wip) Michael Sippel 2025-05-29 13:13:52 +02:00
• 314f2141d8
  
  submodules for term & morphism_graph topic-debruijn Michael Sippel 2025-06-11 11:34:09 +02:00
• 6ee2e447d4
  
  rework variables & substitutions for debruijn indices in layered contexts Michael Sippel 2025-06-11 11:25:57 +02:00
• cb9b62b00c
  
  add test with mixed constraints topic-constraint-system Michael Sippel 2025-06-04 23:03:45 +02:00
• 0cd80c16d5
  
  initial trait type satisfaction Michael Sippel 2025-06-03 00:00:32 +02:00
• e8615aa42b
  
  initially add bounds to MorphismType Michael Sippel 2025-06-02 22:22:04 +02:00
• bf5b2447be
  
  terms: change Morph type to have src/dst instead of Vec Michael Sippel 2025-06-02 14:18:16 +02:00
• 8cb3b1b8ec
  
  move add_upper/lower_bound into subtype module Michael Sippel 2025-06-02 00:27:09 +02:00
• 936ea9a649
  
  split up constraint system unit tests Michael Sippel 2025-06-02 00:25:12 +02:00
• 5a2cdbf009
  
  github workflow: use '--features pretty' option dev Michael Sippel 2025-06-01 20:25:39 +02:00
• 6ef48468ec
  
  steiner tree (?) topic-steiner-tree Michael Sippel 2025-02-25 22:54:57 +01:00
• 505063ac8b
  
  steiner tree: eliminate identity loops Michael Sippel 2024-12-24 12:54:43 +01:00
• 89ca3de93f
  
  add steiner tree solver based on shortest path Michael Sippel 2024-09-27 12:15:40 +02:00
• e58722f522
  
  initial implementation of solver for steiner trees Michael Sippel 2024-08-12 21:18:17 +02:00
• 17ba81c817
  
  split constraint system into files Michael Sippel 2025-06-01 12:13:39 +02:00
• a1dd6a5121
  
  fix halo type in subtype-constraint Michael Sippel 2025-05-03 19:22:59 +02:00
• c8b2ffae95
  
  add test to break halo type Michael Sippel 2025-05-03 18:45:15 +02:00
• 10947ce791
  
  rename term&morphism structs to make Sugared* variant the default Michael Sippel 2025-05-01 06:10:30 +02:00
• 7b25b4472d
  
  MorphismType: add strip_common_rungs() Michael Sippel 2025-04-02 13:58:58 +02:00
• c75cf43900
  
  terms: rewrite of normalize (PNF, sugared variant) Michael Sippel 2025-04-05 22:55:20 +02:00
• c8b3e4f4a2
  
  add failing test (failed to find morphism instance) Michael Sippel 2025-04-03 15:57:18 +02:00
• 646dfcfc2a
  
  rewrite path search & unification for Sugared Terms Michael Sippel 2025-04-01 18:21:27 +02:00
• fd1515c0fb
  
  add SugaredStructMember & SugaredVariantEnum Michael Sippel 2025-03-23 14:56:44 +01:00
• 9ab5a41ce7
  
  add common_halo topic-cm2 Michael Sippel 2025-02-25 22:55:41 +01:00
• 804741cd62
  
  Merge branch 'topic-morphism-base' into dev Michael Sippel 2025-06-01 18:02:19 +02:00
• de86b3f153
  
  split path search & morphism base into separate files Michael Sippel 2025-03-21 16:13:54 +01:00
• d56d4089d1
  
  add test for find_morphism_path Michael Sippel 2025-03-12 15:10:44 +01:00
• 59d182135f
  
  rewrite enum_morphisms & find_morphism_path Michael Sippel 2025-02-15 17:17:43 +01:00
• aa7a39bf17
  
  improvements over initial graph search implementation Michael Sippel 2024-08-05 02:54:35 +02:00
• 0d891e8677
  
  add test for find_morphism_path() Michael Sippel 2024-08-04 23:47:59 +02:00
• 7c4fbf9298
  
  initial implementation of morphism base & graph search Michael Sippel 2024-08-04 23:23:20 +02:00
• ed9f309306
  
  add type alias for HashMapSubst Michael Sippel 2025-06-01 16:22:46 +02:00
• 08a9bad0ad
  
  add Substitution trait Michael Sippel 2025-03-24 14:06:16 +01:00
• fab6818fe9
  
  Merge branch 'topic-subtype-satisfaction' into dev Michael Sippel 2025-06-01 15:33:56 +02:00
• 63eb4798ac
  
  work on subtype satisfaction Michael Sippel 2025-03-12 16:38:39 +01:00
• a2fc025eea
  
  add (failing) tests for subtype-satisfaction Michael Sippel 2025-03-10 18:20:00 +01:00
• 229c6193c4
  
  subtype satisfaction: move rhs-variable assignment up in match-priority Michael Sippel 2025-03-09 13:26:51 +01:00
• 82a6a20a31
  
  unification: allow subtype and equality constraints in one problem, solve both at the same time Michael Sippel 2025-03-06 14:01:57 +01:00
• deb097acd3
  
  term: add get_interface_type() to get the top rung of a ladder Michael Sippel 2025-03-25 16:31:04 +01:00
• aa67520184
  
  term: add strip() to flatten ladders Michael Sippel 2025-03-06 23:35:29 +01:00
• c4a26d11da
  
  term: add check if term is empty Michael Sippel 2024-10-06 14:39:05 +02:00
• 9db57488dd
  
  Merge branch 'topic-dict' into dev Michael Sippel 2025-06-01 00:33:02 +02:00
• e15db9d1f3
  
  type dict: get_typename_create Michael Sippel 2025-03-24 10:11:16 +01:00
• fb2b54059d
  
  add Send+Sync trait bound to TypeDict Michael Sippel 2024-10-28 20:00:11 +01:00
• 25649084ab
  
  make TypeDict a trait & BimapTypeDict an impl Michael Sippel 2024-10-03 23:40:04 +02:00
• 9906972009
  
  Merge branch 'topic-pretty' into dev Michael Sippel 2025-05-31 21:38:49 +02:00
• af595bffde
  
  pretty format: use different colors for variables Michael Sippel 2025-02-14 20:55:02 +01:00
• 099ba9b0df
  
  pretty: output escape character for \0 and \n Michael Sippel 2025-02-04 14:26:37 +01:00
• 1b8768894e
  
  fix unification test Michael Sippel 2025-02-25 22:57:50 +01:00
• d861bba741
  
  Merge branch 'topic-unification' into dev Michael Sippel 2025-05-31 20:49:29 +02:00
• b502b62479
  
  unification: reject non-identity loops & add test cases 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 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
• 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