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 |
|
