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