rand00
|
48a6510409
|
Opam_graph: UI: New radius calculation for layer2 deps bg that is a tighter fit
|
2022-01-13 12:06:03 +01:00 |
|
rand00
|
f245509c80
|
Opam_graph: UI: Styling: Alternative layer2 deps bg
|
2022-01-13 12:02:32 +01:00 |
|
rand00
|
167b657a2f
|
Opam_graph: UI: Adding edges to layer2 deps blobs - beautiful visual bug
|
2022-01-13 11:50:27 +01:00 |
|
rand00
|
dae09527d2
|
Opam_graph: UI: Implemented radial-gradient bg behind layer2 deps blobs
|
2022-01-12 19:38:11 +01:00 |
|
rand00
|
ca489c91d2
|
Opam_graph: UI: Rendering layer2-deps 2 layers of spirals to exploit area better
|
2022-01-12 17:28:10 +01:00 |
|
rand00
|
99a90b91ae
|
Opam_graph: UI: Rendering layer2-deps in spirals
|
2022-01-12 16:34:47 +01:00 |
|
rand00
|
c985ecc156
|
Opam_graph: UI: More informative info box on direct deps
|
2022-01-12 15:59:22 +01:00 |
|
rand00
|
6f9b90eff9
|
Opam_graph: UI: Rendering direct-dep edges + some arbitrary styling
|
2022-01-12 15:44:05 +01:00 |
|
rand00
|
a251ec04da
|
Opam_graph: UI: Visualizing direct deps in the correct flat structure for future CSS selectors
|
2022-01-12 15:22:01 +01:00 |
|
rand00
|
fd0d6c3ee8
|
dune: Added gg
|
2022-01-12 15:20:16 +01:00 |
|
rand00
|
5592e146fd
|
Opam_graph: WIP: Implementing deps. UI: Now there is html output via CLI
|
2022-01-11 15:56:18 +01:00 |
|
rand00
|
47a4c37c76
|
WIP: Begun implementing svg UI based on scaleable idea for hover-effects + Changed cli-interface
|
2022-01-11 13:47:59 +01:00 |
|
rand00
|
0b21c30cc2
|
Implemented prototype UIs via graphviz output + Fixed bug introduced earlier
|
2022-01-10 17:49:21 +01:00 |
|
rand00
|
35ce449452
|
dune: Added rresult
|
2022-01-10 17:48:01 +01:00 |
|
rand00
|
fb9581ef2b
|
Consistency fix + added skeleton Ui_prototype for graphviz UI mockup
|
2022-01-07 14:38:30 +01:00 |
|
rand00
|
da630e7694
|
Implemented transitive deps output ('text_transitive' cli arg)
|
2022-01-07 14:09:34 +01:00 |
|
rand00
|
8440053608
|
Added output support for graphviz - select by passing 'text'/'dot' before opam-switch file
|
2022-01-06 14:53:36 +01:00 |
|
rand00
|
3a738d9299
|
app/dune: Gave public name to support dune exec
|
2022-01-05 20:53:16 +01:00 |
|
|
|
877137377a
|
initial
|
2021-12-20 14:25:23 +01:00 |
|
