Skip to content
Snippets Groups Projects
  1. Jan 23, 2025
  2. Dec 12, 2024
  3. Aug 23, 2024
  4. Aug 06, 2024
  5. Jun 25, 2024
  6. Apr 15, 2024
  7. Mar 25, 2024
  8. Oct 08, 2023
  9. Apr 26, 2023
  10. Dec 27, 2022
    • Matthias Diener's avatar
      add get_graph_dot_code and show_dot (#151) · 5cbc378c
      Matthias Diener authored
      * add visualize_graph
      
      * add package
      
      * replace graphviz
      
      * lint fixes
      
      * small style fixes
      
      * fix exception text
      
      * restructure
      
      * add a small test
      
      * skip test if dot not available
      
      * further restructure, rename to get_graph_dot_code
      
      * remove useless assert
      
      * small doc fix
      
      * change Iterable to Collection
      
      * flake8
      
      * fix log message
      
      * explicit return in non-svg case
      
      * make sure that nodes not in graph.keys() appear in output
      
      * rename dot.py -> graphviz.py
      
      * add foldmethod
      
      * add edge_labels
      
      * fix doc
      
      * trigger GitHub actions
      
      * bump CI again
      
      * rename to as_graphviz_dot and add noed_labels
      
      * remove explicit edges storage
      
      * test node_labels explicitly
      
      * flake8
      5cbc378c
  11. Dec 12, 2022
    • Matthias Diener's avatar
      graph: create GraphT (#166) · 7fd56760
      Matthias Diener authored
      * graph: create GraphT
      
      * shorten type display
      
      * re-add 'graph' in arg list
      
      * fix is_connected
      
      * minor doc fixes
      
      * another is_connected fix
      
      * make NodeT bound to Hashable
      
      * a few more type simplifications
      
      * make NodeT a TypeAlias too
      
      * add NodeT to aliases in docs
      
      * add return type doc to is_connected
      
      * remove GraphT from arg doc
      
      * change to full name
      7fd56760
  12. Dec 04, 2022
  13. Apr 18, 2022
  14. Apr 07, 2022
  15. Sep 24, 2021
  16. Jun 25, 2021
  17. May 22, 2021
  18. Mar 15, 2021
  19. Jan 04, 2021
  20. Dec 02, 2020
  21. Oct 15, 2020
  22. Oct 13, 2020
  23. Sep 29, 2020
  24. Sep 04, 2020
  25. Jul 28, 2020
  26. Jun 04, 2020
  27. May 18, 2020
  28. May 13, 2020
  29. Jun 14, 2017
Loading