syntaxAlchemist/lib-laddertypes
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
74 commits 10 branches 0 tags 3.7 MiB

Default branch

dev

5a2cdbf009 · github workflow: use '--features pretty' option · Updated 2025-06-01 20:25:39 +02:00

Branches

topic-morphgraph

c73818c620 · dictionary: add get_name() & get_varid() · Updated 2025-06-11 15:10:51 +02:00    senvas

1
25
topic-heuristic

c9b4d1c908 · move estimated_cost() to member of MorphismType · Updated 2025-06-11 15:10:02 +02:00    senvas

1
19
topic-debruijn

314f2141d8 · submodules for term & morphism_graph · Updated 2025-06-11 11:34:09 +02:00    senvas

1
17
topic-constraint-system

cb9b62b00c · add test with mixed constraints · Updated 2025-06-04 23:03:45 +02:00    senvas

1
15
topic-steiner-tree

6ef48468ec · steiner tree (?) · Updated 2025-06-01 19:02:34 +02:00    senvas

1
4
topic-cm2

9ab5a41ce7 · add common_halo · Updated 2025-06-01 18:03:34 +02:00    senvas

1
1
topic-sugar-wip

71a8f4e06b · wip sugar · Updated 2025-02-09 12:37:11 +01:00    senvas

40
3
topic-semantic-subtype

3b85bd7621 · add find_semantic_subtype_matches() as potential alternative to is_semantic_subtype_of() · Updated 2024-08-05 00:11:58 +02:00    senvas

37
1
topic-marco

5b45f164fb · macro wip · Updated 2024-02-27 03:37:09 +01:00    senvas

40
1