Skip to content
Snippets Groups Projects
serperu's avatar
Sergio Pérez authored
* ast.erl and saver.erl has been moved to e-knife resources folder
* CFG and Value arcs are now in e-Knife
* CFGs are built with a the visitor pattern
* The graph library is now jgrapht
* CFGs of the clauses of the same method are now independent
* Interprocedural clause matching has been improved to not link unreachable clauses
* Shadowed variables and its value are now delimited to their context
* Classic algorithm has been added to slicing computed algorithms
40b40855
History
Name Last commit Last update
..