Commits · 3580ee31f38d1c2b7d391b3d2f06602295ed4a6b · Program Slicing / e-Knife for Erlang with Constrained Edges · GitLab

Dec 08, 2023
- ErlangCodeFactory: fix production of try-of structures. · 3580ee31
  Carlos Galindo authored Dec 08, 2023
  
  3580ee31
Dec 07, 2023
- Partially revert: All algorithms: improved lastEdgeType storing logic · f4864559
  Carlos Galindo authored Dec 07, 2023
  f4864559
- eKnife: fix bug for argument parsing · ba5dc266
  Carlos Galindo authored Dec 07, 2023
  
  ba5dc266
- jinterface: move from system dependency to custom repository · 3095b612
  Carlos Galindo authored Dec 07, 2023
  3095b612
Dec 06, 2023
- All algorithms: improved lastEdgeType storing logic. · 6bcaeab3
  Carlos Galindo authored Dec 06, 2023
  6bcaeab3
- eKnife: use newer algorithms and slight change to CLI arguments. · 0a6a570c
  Carlos Galindo authored Dec 06, 2023
  
  0a6a570c
Dec 05, 2023
- Slicing algorithms unification and overhaul. · 8fb45278
  Carlos Galindo authored Dec 05, 2023
  8fb45278
- OnePassConstrainedAlg: fix two bugs (loop detection and traversed edges) · 523c3112
  Carlos Galindo authored Dec 05, 2023
  523c3112
Dec 04, 2023
- EdgeList: optimize find loop operation. · e13622c1
  Carlos Galindo authored Dec 04, 2023
  e13622c1
- Constraints: remove NodeConstraints · 498f9ea7
  Carlos Galindo authored Dec 04, 2023
  498f9ea7
- Constrained Tabular algorithms: only use a PriorityQueue when relevant. · 28a21900
  Carlos Galindo authored Dec 04, 2023
  
  28a21900
- Work#isSuffix: fix ignored previousEdgeType on NodeWork. · 2a08a454
  Carlos Galindo authored Dec 04, 2023
  
  2a08a454
- WorkList: documentation and cleanup. · 3aad6343
  Carlos Galindo authored Dec 04, 2023
  
  3aad6343
- Benchmarks: assign tag to JSS and tabular. · 83d8b724
  Carlos Galindo authored Dec 04, 2023
  
  83d8b724
- Tabular algorithms: enable traversal of summaries · 6e8205cc
  Carlos Galindo authored Dec 04, 2023
  6e8205cc
- Remove caching in slicing algorithms and SummaryTable. · 8b40a41d
  Carlos Galindo authored Dec 04, 2023
  8b40a41d
- ErlConnection: merge with Launcher and add documentation. · c5d717b1
  Carlos Galindo authored Dec 04, 2023
  
  c5d717b1
- Work: simplify equals and make id final. · bc8fe4b7
  Carlos Galindo authored Dec 04, 2023
  
  bc8fe4b7
Nov 30, 2023
- Benchmarks: comparison between JSS R1 and tabular algorithms · 0299a6b7
  Carlos Galindo authored Nov 30, 2023
  
  0299a6b7
- EdgeList: fix bug on EMPTY_LIST.contains(...) calls · ea1dd865
  Carlos Galindo authored Nov 30, 2023
  
  ea1dd865
- TabularAlgorithm: update with everything learned on ConstrainedTabularAlgorithm. · d0104cb8
  Carlos Galindo authored Nov 30, 2023
  
  d0104cb8
- benchmarks: simplify timestamp · 25377390
  Carlos Galindo authored Nov 30, 2023
  
  25377390
- run.sh: set mvn log level to warning. · e49bfc71
  Carlos Galindo authored Nov 30, 2023
  
  e49bfc71
- run.sh: show size improvement by stack and file. · 44e94c4f
  Carlos Galindo authored Nov 30, 2023
  44e94c4f
- ConstrainedTabularAlgorithm: lookup table to speedup summary generation · 72d3f5cb
  Carlos Galindo authored Nov 30, 2023
  72d3f5cb
- run.sh: store results in sqlite db and detailed queries · 130f01d9
  Carlos Galindo authored Nov 30, 2023
  
  130f01d9
Nov 29, 2023
- constrained subsumed tabular algorithm fix · e2fca2b8
  Carlos Galindo authored Nov 29, 2023
  e2fca2b8
- benchmarks: swap labels (were incorrect) · 28d1ae52
  Carlos Galindo authored Nov 29, 2023
  
  28d1ae52
- run.sh: fix erroneous quotation · f0e62838
  Carlos Galindo authored Nov 29, 2023
  
  f0e62838
Nov 28, 2023
- Edge: efficiency changes. · b4534a52
  Carlos Galindo authored Nov 28, 2023
  b4534a52
- run.sh: analyze_results can be specific and won't fail for partial benchmarks · e523e438
  Carlos Galindo authored Nov 28, 2023
  e523e438
- Benchmarks: use SC's id instead of a counter · 8ea04ef3
  Carlos Galindo authored Nov 28, 2023
  
  8ea04ef3
- ConstrainedTabularAlgorithm.Work#lastEdgeType was not being taken into account for sets · 73d78e87
  Carlos Galindo authored Nov 28, 2023
  73d78e87
Nov 23, 2023
- Speedup the testing of printing slices. · c71aa21c
  Carlos Galindo authored Nov 23, 2023
  
  c71aa21c
- Move astCounter to correct location (based on run.sh) · eb04545e
  Carlos Galindo authored Nov 23, 2023
  
  eb04545e
- benchmark set without lambdas · 23253f0c
  Carlos Galindo authored Nov 23, 2023
  
  23253f0c
- Test new version of subsumption. · d54e19b5
  Carlos Galindo authored Nov 23, 2023
  
  d54e19b5
- Move jinterface from e-Knife/src to Maven. · 98dff65a
  Carlos Galindo authored Nov 23, 2023
  
  98dff65a
- Bug-fixing on tabular slicing algorithms and improvements for benchmarks. · 2f3d9abf
  Carlos Galindo authored Nov 23, 2023
  2f3d9abf
Nov 20, 2023
- Work-list based and Reps tabular slicing for recursive programs. · 58d95b2c
  Carlos Galindo authored Nov 20, 2023
  58d95b2c