Skip to content
Snippets Groups Projects
  1. Apr 26, 2023
  2. Mar 14, 2023
  3. Mar 07, 2023
  4. Jan 10, 2023
  5. Jan 09, 2023
  6. Dec 27, 2022
    • Andreas Klöckner's avatar
    • 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
  7. Dec 13, 2022
  8. 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
  9. Dec 08, 2022
  10. Dec 07, 2022
  11. Dec 04, 2022
  12. Nov 20, 2022
  13. Nov 18, 2022
  14. Nov 15, 2022
  15. Nov 14, 2022
  16. Nov 13, 2022
  17. Nov 12, 2022
  18. Nov 03, 2022
  19. Oct 21, 2022
  20. Oct 14, 2022
  21. Sep 16, 2022
  22. Jun 26, 2022
  23. Jun 22, 2022
  24. Jun 20, 2022
  25. Jun 18, 2022
  26. Jun 15, 2022
  27. May 23, 2022
  28. May 20, 2022
Loading