Commits · f119fa3f3f05c9df66f4e522463e53e99b8b689a · Program Slicing / SDG

Dec 16, 2020
- Removed test due to lack of support: nested calls are not yet supported · f293d418
  Carlos Galindo authored Dec 16, 2020
  
  f293d418
Dec 15, 2020
- Add test cases and their initial reference answer · f967bdb7
  Carlos Galindo authored Dec 15, 2020
  
  f967bdb7
- improve test generation · af492b3f
  Carlos Galindo authored Dec 10, 2020
  
  af492b3f
Dec 14, 2020
- move tests to /regression in test resources directory · 132316c8
  Carlos Galindo authored Nov 27, 2020
  
  132316c8
Sep 14, 2020
- Change package: tfm to es.upv.mist.slicing · 21d5f1f4
  Carlos Galindo authored Sep 14, 2020
  
  21d5f1f4
Jul 26, 2020
- Compute summary arcs by fixed point analysis · ad21e25e
  Javier Costa authored Jul 27, 2020
  
  ad21e25e
Jul 22, 2020
- Minor fixes · eeac3bbc
  Carlos Galindo authored Jul 22, 2020
  eeac3bbc
- Add exception-sensitive slicing · 8bf64119
  Carlos Galindo authored Jul 22, 2020
  8bf64119
Jun 11, 2020
- Moved the project to a module and created sdg-cli module · ed90b1f6
  Carlos Galindo authored Jun 01, 2020
  
  ed90b1f6