Skip to content
Snippets Groups Projects
  1. Aug 23, 2024
  2. Aug 06, 2024
  3. Jun 25, 2024
  4. Apr 15, 2024
  5. Mar 25, 2024
  6. Oct 08, 2023
  7. Apr 26, 2023
  8. 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
      Unverified
      5cbc378c
  9. 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
      Unverified
      7fd56760
  10. Dec 04, 2022
  11. Apr 18, 2022
  12. Apr 07, 2022
  13. Sep 24, 2021
  14. Jun 25, 2021
  15. May 22, 2021
  16. Mar 15, 2021
  17. Jan 04, 2021
  18. Dec 02, 2020
  19. Oct 15, 2020
  20. Oct 13, 2020
  21. Sep 29, 2020
  22. Sep 04, 2020
  23. Jul 28, 2020
  24. Jun 04, 2020
  25. May 18, 2020
  26. May 13, 2020
  27. Jun 14, 2017
Loading