Commits · 87a2afef747130d4db11fed0ee431839d1ffcff1 · Program Slicing / e-Knife for Erlang with Constrained Edges · GitLab

Oct 05, 2021
- Timed Run: · 947bbe37
  Sergio Pérez authored Oct 05, 2021
  947bbe37
- 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
- New implicit restriction treatment · 2366d705
  Sergio Pérez authored Sep 28, 2021
  
  2366d705
- Ignored GrammarConstraint before AsteriskConstraint in summary generation · 3cc887ed
  Sergio Pérez authored Sep 28, 2021
  
  3cc887ed
- Structural Constraint Removal · 69a10263
  Sergio Pérez authored Sep 28, 2021
  
  69a10263
- * LiteralConstraint in intraprocedural slicing · 333afe00
  Sergio Pérez authored Sep 24, 2021
  333afe00
- * Production class created and used · 61202372
  Sergio Pérez authored Sep 23, 2021
  61202372
- * Fix Empty stack asterisk constraints missbehaviour · 243dcc9b
  Sergio Pérez authored Sep 21, 2021
  243dcc9b
Sep 30, 2021
- Optional cli options to suppress arcs from the output · 9e6bf3cb
  Carlos Galindo authored Sep 30, 2021
  9e6bf3cb
Sep 29, 2021
- Avoid printing ignored edges when exporting the graph · 2db6f88d
  Carlos Galindo authored Sep 29, 2021
  
  2db6f88d
Sep 16, 2021
- * Fix List structures in generators/definitions · 20bcffb3
  Sergio Pérez authored Sep 16, 2021
  
  20bcffb3
- * ValueStructural Dependence correctly traversed · d12b670d
  Sergio Pérez authored Sep 16, 2021
  d12b670d
Sep 10, 2021
- Fix ValueStructureEdges traversal in generators · 1e6aaa69
  Sergio Pérez authored Sep 10, 2021
  
  1e6aaa69
Sep 08, 2021
- Removed Left Recursive Grammars in Summary Edges (Problem Benchmark 8) · ffc8b55c
  Sergio Pérez authored Sep 08, 2021
  
  ffc8b55c
Sep 07, 2021
- New treatment for generators: · fc7ceba1
  Sergio Pérez authored Sep 07, 2021
  fc7ceba1
Jul 27, 2021
- FIXES AND SUMMARY IMPROVEMENTS · 91e8eaea
  Sergio Pérez authored Jul 27, 2021
  91e8eaea
Jul 23, 2021
- Restriction children position modification in getChild(node,Type) · 29d39027
  Sergio Pérez authored Jul 23, 2021
  
  29d39027
- * Summary Generation traversal fix · bcd4f364
  Sergio Pérez authored Jul 23, 2021
  bcd4f364
- * Improved CFG for List Comprehensions · 10f9343d
  Sergio Pérez authored Jul 23, 2021
  10f9343d
Jul 16, 2021
- Fixes · 4f86a8e4
  Sergio Pérez authored Jul 16, 2021
  4f86a8e4
Jul 12, 2021
- Improvement of anonymous functions and function calls · a70c8934
  Sergio Pérez authored Jul 12, 2021
  a70c8934
- * Node.Type.AnonymousRoutine added · 890a1bef
  Sergio Pérez authored Jul 12, 2021
  890a1bef
Jul 09, 2021
- LAST adapted to Erlang with some improvements: · 40b40855
  Sergio Pérez authored Jul 09, 2021
  40b40855