No description
Find a file
Matej Focko df787476ac
feat: fix root in rotation functions
Signed-off-by: Matej Focko <mfocko@redhat.com>
2022-05-20 15:29:50 +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: show trees in order they were defined 2022-05-17 17:14:09 +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: tie label and buttons for switching tree 2022-05-17 17:37:15 +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: fix root in rotation functions 2022-05-20 15:29:50 +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