- Jun 02, 2022
-
-
Carlos Galindo authored
- Updated README.md - New module for benchmarks (sdg-bench) - Added representations for the original JSysDG and for the Allen&Horwitz SDG (graph and slicing algorithm) - Fixed bugs: * Accept abstract methods (without a body) * Avoid generating constructors for interfaces * Handle calls outside methods * Handle methods inside methods * Locate and handle all method calls (including on the left-hand side of assignments and in return statements). * Correctly determining the type of -output- nodes * Various errors related to object tree location and traversal
-
- May 05, 2021
-
-
Carlos Galindo authored
-
- Mar 11, 2021
-
-
Carlos Galindo authored
If a variable is provided, only nodes that represent that variable (or its MemberNode, if object) will be selected. Related tests updated.
-
- Feb 05, 2021
-
-
Carlos Galindo authored
-
- Nov 26, 2020
-
-
Carlos Galindo authored
-
- Sep 14, 2020
-
-
Carlos Galindo authored
-
Carlos Galindo authored
Removed WIP and development guidelines.
-