No description
Find a file
Matej Focko 12899489f4
chore: remove unnecessary CSS
Signed-off-by: Matej Focko <mfocko@redhat.com>
2022-05-17 17:11:24 +02:00
.editorconfig chore: add configs 2022-05-01 17:05:35 +02:00
.pre-commit-config.yaml fix: add ability to choose trees to comparator too 2022-05-16 16:47:27 +02:00
avl.js fix(avl): do not propagate all the way if not necessary 2022-05-16 19:27:43 +02:00
comparator.html fix: move predefined scenarios 2022-05-17 16:40:26 +02:00
comparator.js feat: implement comparator 2022-05-07 16:55:12 +02:00
comparator_visualization.js feat: add prepared scenarios for comparators 2022-05-17 14:39:33 +02:00
DCO chore: add formalities 2022-05-17 17:10:49 +02:00
index.html fix: move predefined scenarios 2022-05-17 16:40:26 +02:00
LICENSE chore: add formalities 2022-05-17 17:10:49 +02:00
Makefile chore: add makefile with run and deploy 2022-05-15 21:59:20 +02:00
node.js feat: implement backend for import/export 2022-05-15 18:15:37 +02:00
ranked_tree.js fix: improve deletion 2022-05-16 18:44:24 +02:00
ravl.js fix: Ensure all affected nodes are being highlighted 2022-05-16 18:36:31 +02:00
README.md chore: add formalities 2022-05-17 17:10:49 +02:00
recorder.js fix: Ensure all affected nodes are being highlighted 2022-05-16 18:36:31 +02:00
utils.js fix: move queue to utils 2022-05-15 22:46:10 +02:00
visualization.js feat: add tooltips to prepared scenarios 2022-05-17 14:39:09 +02:00
wavl.js fix: Ensure all affected nodes are being highlighted 2022-05-16 18:36:31 +02:00

WAVL Tree Visualization

Used dependencies

  • d3, d3-graphviz and WASM - used for rendering the DOT files and animating
  • bootstrap - used for CSS and frontend elements

They are fetched via CDN (Content Delivery Network), so you need internet connection, unless they are cached (may differ with browsers).

Running

Simply run an HTTP server from the root of the directory containing web, e.g.

mfocko@feynman on  main at 16:18:00
web λ python3 -m http.server
Serving HTTP on 0.0.0.0 port 8000 (http://0.0.0.0:8000/) ...

and follow the link it gives you :)

Makefile

Targets to ease the quality of life.

run

Alias to python3 -m http.server

deploy

Deploys the page to https://me.mfocko.xyz/wavl/web