Commits · 138729975e5b97516390ce7c8f97f3a23d2efb7e · Program Slicing / e-Knife for Erlang with Constrained Edges

Jul 26, 2022
- * Added Experimental execution · 4118cc15
  Sergio Pérez authored Jul 26, 2022
  4118cc15
Oct 27, 2021
- Implicit restrictions added to pattern matching · 1c87ee0f
  Sergio Pérez authored Oct 26, 2021
  
  1c87ee0f
Oct 05, 2021
- Timed Run: · 787ed139
  Sergio Pérez authored Oct 05, 2021
  787ed139
Oct 01, 2021
- * Library function lists:nth added to summary generation · de59be5e
  Sergio Pérez authored Sep 29, 2021
  de59be5e
Sep 16, 2021
- * ValueStructural Dependence correctly traversed · d12b670d
  Sergio Pérez authored Sep 16, 2021
  d12b670d
Jul 27, 2021
- Bencher benchmarks included: · aec5fda5
  Sergio Pérez authored Jul 27, 2021
  aec5fda5