Commits · e66f48188e346ef276740c9870e630d20fd942b8 · Program Slicing / SDG

Browse files

Mar 08, 2021
- Mega commit: object trees and their connections. · e7d95501
  Carlos Galindo authored Mar 08, 2021
  e7d95501
Mar 01, 2021
- Generate summary arcs between return nodes and actual-in. · 5617f6ff
  Carlos Galindo authored Feb 27, 2021
  
  5617f6ff
Feb 28, 2021
- remove unrelated comments from test case · 20b60fed
  Carlos Galindo authored Feb 27, 2021
  
  20b60fed
- Add implicit constructors · f8b7a13a
  Carlos Galindo authored Feb 27, 2021
  f8b7a13a
Feb 26, 2021
- Tree handling of objects, multiple fixes and improvements · a81337d6
  Carlos Galindo authored Feb 27, 2021
  a81337d6
Feb 25, 2021
- updated regression tests · a25d1ec8
  Carlos Galindo authored Feb 25, 2021
  
  a25d1ec8
Jan 21, 2021
- Polymorphic call graph. Naive version (no dynamic guessing) · 3c32b63e
  Carlos Galindo authored Jan 21, 2021
  3c32b63e
Jan 19, 2021
- Update expected test results. · 5f5562ea
  Carlos Galindo authored Jan 19, 2021
  5f5562ea
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