Commits · eca0b61bd0ac71b03eabb0520ca605e08dd03789 · Program Slicing / SDG

Jan 23, 2020
- Renamed graphs and replaced @NonNull with @NotNull · 0d6593ad
  Carlos Galindo authored Jan 23, 2020
  
  Also optimized imports
  0d6593ad
Jan 20, 2020
- Using JGraphT, removed all graphlib + cleaned + improved API · 95abb158
  Javier Costa authored Jan 20, 2020
  
  95abb158
Jan 13, 2020
- Replace Config by graph-specific classes · a815ec9f
  Carlos Galindo authored Jan 13, 2020
  
  Renamed graphs to remove redundant `Graph` at end of class names.
  a815ec9f
Nov 14, 2019
- Restructured visitors + graphbuilding · 998bda29
  Javier Costa authored Nov 14, 2019
  
  998bda29