- Mar 03, 2023
-
-
Carlos Galindo authored
-
Carlos Galindo authored
-
Carlos Galindo authored
check for exception when looking up slicing criterion See merge request program-slicing/e-knife-erlang!4
-
Carlos Galindo authored
-
- Feb 24, 2023
-
-
Carlos Galindo authored
Ignore constraints: add a new cli flag to toggle the use of constraints when performing a slice See merge request program-slicing/e-knife-erlang!3
-
Carlos Galindo authored
-
Carlos Galindo authored
-
Carlos Galindo authored
-
Carlos Galindo authored
-
- Feb 23, 2023
-
-
Carlos Galindo authored
-
Carlos Galindo authored
Add missing commits that weren't pushed for previous merge See merge request program-slicing/e-knife-erlang!2
-
Carlos Galindo authored
-
Sergio Pérez authored
-
Carlos Galindo authored
Stop condition change for slicing See merge request program-slicing/e-knife-erlang!1
-
Carlos Galindo authored
# Conflicts: # e-Knife/src/main/java/eknife/EKnife.java
-
- Feb 16, 2023
-
-
Sergio Pérez authored
* Statistical functions to build tables
-
- Nov 03, 2022
-
-
Sergio Pérez authored
-
Sergio Pérez authored
-
Sergio Pérez authored
-
- Jul 26, 2022
-
-
Sergio Pérez authored
-
Sergio Pérez authored
* Added bencher intra- and inter-procedural suits * Added Dockerfile
-
Sergio Pérez authored
-
- May 31, 2022
-
-
Sergio Pérez authored
-
- Mar 11, 2022
-
-
Sergio Pérez authored
-
Sergio Pérez authored
-
Sergio Pérez authored
-
- Oct 27, 2021
-
-
Sergio Pérez authored
-
Sergio Pérez authored
-
Sergio Pérez authored
* Left Recursive Grammars transformed to Right Recursive avoiding infinite T generations with suffix analysis * Grammar.printGrammarInFile
-
- Oct 07, 2021
-
-
Carlos Galindo authored
-
- Oct 05, 2021
-
-
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
-
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
-
- Oct 01, 2021
-
-
Sergio Pérez authored
-
Sergio Pérez authored
* Repeated recursive grammar states ignored in summary generation * Increased the number of constraints that the stack can contain to 20 * Slice of 3 benchmarks improved
-
Sergio Pérez authored
-
Sergio Pérez authored
-
Sergio Pérez authored
-
Sergio Pérez authored
* LiteralConstraint in switch structures
-
Sergio Pérez authored
* LiteralConstraint and its stack behaviour implemented
-
Sergio Pérez authored
* Fix CFG absorbent clauses
-