Skip to content
  1. Nov 03, 2022
  2. Jul 26, 2022
  3. May 31, 2022
  4. Mar 11, 2022
  5. Oct 27, 2021
  6. Oct 07, 2021
  7. Oct 05, 2021
    • Sergio Pérez's avatar
      Timed Run: · 947bbe37
      Sergio Pérez authored
      * Measured the generation time of the different graph edges
      * Added EKnife.timedRun to evaluate the slicer against all the possible slicing criteria of a program
      * Added intraprocedural bencher suite
      947bbe37
    • Sergio Pérez's avatar
      Timed Run: · 787ed139
      Sergio Pérez authored
      * Measured the generation time of the different graph edges
      * Added EKnife.timedRun to evaluate the slicer against all the possible slicing criteria of a program
      * Added intraprocedural bencher suite
      787ed139
  8. Oct 01, 2021
  9. Sep 30, 2021
  10. Sep 29, 2021
  11. Sep 16, 2021
  12. Sep 10, 2021
  13. Sep 08, 2021
  14. Sep 07, 2021
    • Sergio Pérez's avatar
      Map of visible edges for debugging · fd6f61ee
      Sergio Pérez authored
      fd6f61ee
    • Sergio Pérez's avatar
      New treatment for generators: · fc7ceba1
      Sergio Pérez authored
      - Generators implicit and explicit restrictions are now more accurately treated
      - Created +-[]S (List structure constraints)
      - Created +-{}S (Tuple structure constraints)
      - New kind of edges (ValueStructural Edges)
      - Prevented the interference of the traversal of (Black) Structural Edges with other edges
      fc7ceba1
Loading