Commit graph

Select branches

Hide pull requests

dev

topic-marco

topic-morphism-base

topic-parameter-normal-form

topic-semantic-subtype

topic-sugar

Mono Color

• f61605a865
  
  add Send+Sync trait bound to TypeDict topic-morphism-base Michael Sippel 2024-10-28 20:00:11 +0100
• eec78f24ab
  
  fix find_morphism_path Michael Sippel 2024-10-28 19:58:59 +0100
• 619c2dc3e4
  
  check if term is empty Michael Sippel 2024-10-06 14:39:05 +0200
• 96c523ada1
  
  add Debug for Bimap & BimapTypeDict Michael Sippel 2024-10-06 14:38:41 +0200
• 67477b8439
  
  make TypeDict a trait & BimapTypeDict an impl Michael Sippel 2024-10-03 23:40:04 +0200
• 4f758b8021
  
  add sugared terms & pretty printing Michael Sippel 2024-10-02 22:37:06 +0200
• db7e0173c4
  
  add steiner tree solver based on shortest path Michael Sippel 2024-09-27 12:15:40 +0200
• 5d7668573a
  
  initial implementation of solver for steiner trees Michael Sippel 2024-08-12 21:18:17 +0200
• 493b8a864c
  
  morphism base: find shortest path instead of just some path Michael Sippel 2024-08-11 22:50:48 +0200
• e0334f4d5c
  
  fix returned halo type in find_morphism_with_subtyping() Michael Sippel 2024-08-06 15:37:23 +0200
• 811adde1b9
  
  turn Morphism into trait and add find_morphism() function Michael Sippel 2024-08-05 02:54:35 +0200
• 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 +0200
• 42286bcadc
  
  add test for find_morphism_path() Michael Sippel 2024-08-04 23:47:59 +0200
• b835cddcf1
  
  initial MorphismBase with DFS to find morphism paths Michael Sippel 2024-08-04 23:23:20 +0200
• 486760f3e2
  
  TypeID: add Copy trait Michael Sippel 2024-08-04 23:18:37 +0200
• a4837038e6
  
  Merge branch 'topic-parameter-normal-form' into dev dev Michael Sippel 2024-08-05 00:10:03 +0200
• 6c574d620f
  
  add find_semantic_subtype_matches() as potential alternative to is_semantic_subtype_of() topic-parameter-normal-form Michael Sippel 2024-07-21 17:45:43 +0200
• 658134d56a
  
  readme: add syntax description and roadmap Michael Sippel 2024-05-01 17:07:47 +0200
• 02d8815acd
  
  add param_normalize() to get Parameter-Normal-Form (PNF) Michael Sippel 2024-05-01 15:10:29 +0200
• 3903cbdecd
  
  wip sugar topic-sugar Michael Sippel 2024-05-01 11:54:55 +0200
• 5b45f164fb
  
  macro wip topic-marco Michael Sippel 2024-02-27 03:37:09 +0100
• d7502e6af8
  
  add gitignore Michael Sippel 2023-12-02 17:03:27 +0100
• 0fb3f6e212
  
  parser test: also test variable-ids Michael Sippel 2023-11-11 16:26:58 +0100
• bd21a602f3
  
  unification Michael Sippel 2023-11-11 16:26:30 +0100
• 5919b7df1f
  
  wip unification Michael Sippel 2023-10-31 16:26:54 +0100
• 74177d1d30
  
  substitutions Michael Sippel 2023-10-30 17:22:00 +0100
• aacafb318a
  
  README: minor improvements Michael Sippel 2023-10-03 04:34:47 +0200
• f45593cfd5
  
  lnf: remove unnecessary mut Michael Sippel 2023-10-03 03:35:29 +0200
• 45f49378fa
  
  is_syntactic_subtype(): remove option in Err variant Michael Sippel 2023-10-03 03:34:55 +0200
• 29d1acd681
  
  implement unparse() Michael Sippel 2023-10-03 03:30:38 +0200
• 167da369af
  
  improve README Michael Sippel 2023-10-03 01:39:50 +0200
• 3b944d15c8
  
  add more subtype test-cases & fix normalize in case of normalizing sub-ladders Michael Sippel 2023-10-02 19:16:20 +0200
• ccd60fc7bf
  
  implement subtype checks Michael Sippel 2023-10-02 18:58:39 +0200
• 3014213aa7
  
  add more complex normalization test & fix normalization of application arguments Michael Sippel 2023-10-02 18:57:49 +0200
• 7b22bdc170
  
  implement ladder normalization Michael Sippel 2023-10-02 18:48:04 +0200
• 61c06d5d03
  
  fix warnings Michael Sippel 2023-10-02 15:15:58 +0200
• c96218e318
  
  README: add small code example Michael Sippel 2023-10-02 15:09:59 +0200
• c7585f353a
  
  make decoration comment style consistent Michael Sippel 2023-10-02 15:07:42 +0200
• e60c60cbff
  
  parser: remove FromStr & always improve parse() function Michael Sippel 2023-10-02 15:05:25 +0200
• 2d3b234e6e
  
  add curry/decurry Michael Sippel 2023-10-02 01:45:54 +0200
• 3fc691acf2
  
  lexer: allow escaped characters in char-token Michael Sippel 2023-10-02 02:01:15 +0200
• 601327f602
  
  dict: add type_from_str Michael Sippel 2023-10-02 02:00:47 +0200
• da899192f5
  
  lexer: improve whitespace handling Michael Sippel 2023-10-02 01:30:10 +0200
• 8fa38ca7d3
  
  initial parser implementation Michael Sippel 2023-10-02 01:28:22 +0200
• 8ec95dfbed
  
  make decoration comments symmetric Michael Sippel 2023-10-02 01:27:50 +0200
• cb91fa52de
  
  lexer: change num type to i64 Michael Sippel 2023-10-01 18:43:04 +0200
• e89e16af61
  
  term: remove unused import Michael Sippel 2023-10-01 18:04:04 +0200
• 0ac5460a32
  
  lexer: replace new with from Michael Sippel 2023-10-01 17:52:48 +0200
• f3353273c8
  
  extend lexer test Michael Sippel 2023-10-01 17:18:54 +0200
• 358ad4d147
  
  move tests into separate files Michael Sippel 2023-10-01 17:10:40 +0200
• 2f26dcc936
  
  add term, dict & bimap Michael Sippel 2023-10-01 17:03:47 +0200
• e12cbef99f
  
  README: fix spelling Michael Sippel 2023-10-01 17:02:26 +0200
• f54514b2ab
  Create cargo-test.yml Michael Sippel 2023-10-01 14:45:28 +0000
• 7a84aaba2e
  
  add README.md & COPYING Michael Sippel 2023-10-01 16:41:22 +0200
• b6117ec12d
  
  initial lexer Michael Sippel 2023-10-01 13:11:29 +0200