Go to file
Matej Focko 4e2e227f58
ci: add GitLab CI
Signed-off-by: Matej Focko <mfocko@redhat.com>
2022-05-24 16:24:58 +02:00
.vscode Add python implementation and tests 2021-01-04 10:46:12 +01:00
.gitignore chore: add gitignore 2022-01-30 14:41:34 +01:00
.gitlab-ci.yml ci: add GitLab CI 2022-05-24 16:24:58 +02:00
avl.py fix(mypy): fix major issues with mypy 2022-05-22 21:07:40 +02:00
comparator.py fix(comparator): propagate similarity 2022-05-07 15:38:44 +02:00
comparator_usage.py feat: add example usage of comparator 2022-05-07 15:42:06 +02:00
DCO chore: add license and agreement 2022-05-18 13:40:44 +02:00
LICENSE chore: add license and agreement 2022-05-18 13:40:44 +02:00
Makefile ci: add GitLab CI 2022-05-24 16:24:58 +02:00
node.py fix(mypy): fix major issues with mypy 2022-05-22 21:07:40 +02:00
Pipfile Add python implementation and tests 2021-01-04 10:46:12 +01:00
Pipfile.lock Add python implementation and tests 2021-01-04 10:46:12 +01:00
ranked_tree.py fix(mypy): fix major issues with mypy 2022-05-22 21:07:40 +02:00
ravl.py ravl: add ravl tree 2022-01-30 15:03:59 +01:00
rbt.py fix(mypy): fix major issues with mypy 2022-05-22 21:07:40 +02:00
README.md chore: add readme 2022-05-18 22:30:41 +02:00
test_avl.py chore(flake): fix flake remarks 2022-05-20 11:50:08 +02:00
test_generate.py feat: factor out property based tests 2022-05-18 13:39:54 +02:00
test_node.py chore: update tests and add avl tests 2022-01-30 15:04:08 +01:00
test_properties.py feat(rb): add mockup 2022-05-20 11:50:56 +02:00
test_ravl.py chore(flake): fix flake remarks 2022-05-20 11:50:08 +02:00
test_rbt.py feat(rbt): finish delete 2022-05-20 12:02:52 +02:00
test_wavl.py feat: factor out property based tests 2022-05-18 13:39:54 +02:00
wavl.py fix(rotations): move rotations to the tree 2022-05-22 21:00:18 +02:00

WAVL Tree Implementation

Used dependencies

Dependencies are used mainly in tests, namely:

  • hypothesis
  • pytest

Running tests

When finding a counter-example, hypothesis may generate a lot of DOT files with generated trees.