1. 07 May, 2021 9 commits
  2. 06 May, 2021 5 commits
  3. 05 May, 2021 1 commit
  4. 04 May, 2021 3 commits
  5. 02 May, 2021 1 commit
    • erwan's avatar
      Chore · 4eb78d9d
      erwan authored
      4eb78d9d
  6. 21 Apr, 2021 2 commits
  7. 16 Apr, 2021 3 commits
  8. 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
  9. 08 Apr, 2021 4 commits
  10. 02 Apr, 2021 4 commits
  11. 29 Mar, 2021 1 commit
  12. 25 Mar, 2021 4 commits
  13. 24 Mar, 2021 2 commits