• Joined on 2024-02-15
579 contributions in the last 12 months
AugSepOctNovDecJanFebMarAprMayJunJulMonWedFri
Less
More
senvas pushed to fix-graph-search at syntaxAlchemist/lib-laddertypes 2025-07-21 21:16:36 +02:00
a554f985bc WIP: add fn to check equivalence of decompositions
1b5c1862d0 WIP: search node: add weight member
ad235944ca heuristic: consider subtypes when comparing two ladders
1558fe59b2 add ExpandInfo to graph history
Compare 4 commits »
senvas pushed to topic-next-gen-graph at syntaxAlchemist/ldmc 2025-07-21 21:12:06 +02:00
91b938c291 morphisms: utf8_to_ascii : fix types;add missing <Restricted 0>
5171859e1e add all combinations of native.UInt morphisms
Compare 2 commits »
senvas pushed to topic-next-gen-graph at syntaxAlchemist/ldmc 2025-07-21 21:11:05 +02:00
c92af95834 update final search state after terminating without success; always insert start node even before first step
b76f6a8309 graph viewer: tweak physics
Compare 2 commits »
senvas pushed to fix-graph-search at syntaxAlchemist/lib-laddertypes 2025-07-21 16:10:01 +02:00
0116b094c7 add ExpandInfo to graph history
senvas pushed to topic-next-gen-graph at syntaxAlchemist/ldmc 2025-07-21 16:05:02 +02:00
1a63e107ca slightly increase default pane zoom
senvas pushed to topic-next-gen-graph at syntaxAlchemist/ldmc 2025-07-21 16:02:47 +02:00
ba80813289 greyed out nodes which would create loops
senvas pushed to fix-graph-search at syntaxAlchemist/lib-laddertypes 2025-07-21 16:01:53 +02:00
99b37b322e add ExpandInfo to graph history
senvas pushed to topic-next-gen-graph at syntaxAlchemist/ldmc 2025-07-21 01:49:11 +02:00
093d3ff26d graph view: improved default node placement
senvas pushed to topic-next-gen-graph at syntaxAlchemist/ldmc 2025-07-21 00:26:17 +02:00
7830afa463 graph view: improved default node placement
senvas pushed to topic-next-gen-graph at syntaxAlchemist/ldmc 2025-07-20 20:24:38 +02:00
839ddf0453 graph viewer: scale down halo type; add scale() in frontend
senvas pushed to topic-next-gen-graph at syntaxAlchemist/ldmc 2025-07-20 19:37:24 +02:00
24eeadfdbf graph viewer: dont reset pane on play/resume; only on new request
senvas pushed to topic-next-gen-graph at syntaxAlchemist/ldmc 2025-07-20 19:32:03 +02:00
f13d45c638 viz simulation: introduce mass, dependent on area the type needs on screen
senvas pushed to topic-next-gen-graph at syntaxAlchemist/ldmc 2025-07-20 17:59:42 +02:00
37db1c63eb viz: impove redering of types
senvas pushed to topic-next-gen-graph at syntaxAlchemist/ldmc 2025-07-20 12:33:02 +02:00
0736a81c80 viz: result bar style
senvas pushed to topic-next-gen-graph at syntaxAlchemist/ldmc 2025-07-20 01:32:34 +02:00
916a8aa5dc viz: element ordering when creating morphism-edge in graph
senvas pushed to topic-next-gen-graph at syntaxAlchemist/ldmc 2025-07-20 00:55:09 +02:00
638c1ca7e0 improve examples, dynamically center submit button inside text field
senvas pushed to topic-next-gen-graph at syntaxAlchemist/ldmc 2025-07-20 00:05:35 +02:00
12a236d55d viz: only display ψ and σ if they are non empty
senvas pushed to topic-next-gen-graph at syntaxAlchemist/ldmc 2025-07-19 23:47:23 +02:00
7207ab829b more frontend fiddling
senvas pushed to topic-next-gen-graph at syntaxAlchemist/ldmc 2025-07-19 22:03:29 +02:00
cecd283a9c server: correctly print out request result in log
senvas pushed to topic-next-gen-graph at syntaxAlchemist/ldmc 2025-07-19 21:51:30 +02:00
eb3549de55 viewer: improve toolbar
56d079e7a1 set graphAnimPAused after animation finishes, center symbol on search button
Compare 2 commits »