Skip to content

GitLab

Switch branch/tag
  1. 26 May, 2021 5 commits
  3. 22 May, 2021 1 commit
  5. 21 May, 2021 1 commit
  7. 20 May, 2021 2 commits
  9. 14 May, 2021 1 commit
  11. 11 May, 2021 1 commit
  13. 09 May, 2021 1 commit
  15. 08 May, 2021 1 commit
  17. 07 May, 2021 9 commits
  19. 06 May, 2021 5 commits
  21. 05 May, 2021 1 commit
  23. 04 May, 2021 3 commits
  25. 02 May, 2021 1 commit
    • erwan's avatar
      Chore · 4eb78d9d
      erwan authored
      4eb78d9d
  27. 21 Apr, 2021 2 commits
  29. 16 Apr, 2021 3 commits
  31. 09 Apr, 2021 1 commit
    • erwan's avatar
      Some work on trees · bbde28ec
      erwan authored 
      - add sub_tree_size, parent, is_in_tree, is_out_tree
- fix height (was only working for out-trees)
- a predessors to Topology.t
- refactor a lot of strange things in the code
  - in the use of hashtbl in particular
      bbde28ec
  33. 08 Apr, 2021 2 commits