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