You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Convert misc/graph.rb to take JSON as input instead of CSV (#338)
* Convert misc/graph.rb to take JSON as input instead of CSV
* JSON is much easier to merge than CSV, so this makes
it possible to graph from multiple results files.
(`jq '. * input'` can be used to merge JSON files)
* The JSON is also more cleanly structured.
* If the input is a file ending in .csv automatically use
the neighbor .json file for compatibility.
* Update misc/graph.rb
Co-authored-by: Takashi Kokubun <[email protected]>
---------
Co-authored-by: Maxime Chevalier-Boisvert <[email protected]>
Co-authored-by: Takashi Kokubun <[email protected]>
0 commit comments