Commits · develop · Program Slicing / SDG · GitLab

Feb 27, 2026
- Merge branch 'TFM-Jonathan' into develop · a00f0d82
  Carlos Galindo authored Feb 27, 2026
  
  a00f0d82
Oct 30, 2025
- ICFG: debug session · 03832b39
  Carlos Galindo authored Oct 30, 2025
  03832b39
Oct 18, 2025
- Adding minimum contra example for bug · 4cc0eb7c
  Jonathan Andrade authored Oct 18, 2025
  
  4cc0eb7c
Oct 13, 2025
- Fix: do not remove empty statements from if-else or loops · 8f7f2546
  Carlos Galindo authored Oct 13, 2025
  
  8f7f2546
- Empty statements are now deleted from the slice. · e7b9521c
  Carlos Galindo authored Oct 13, 2025
  e7b9521c
- fix: typo in last commit · abdb5999
  Carlos Galindo authored Oct 13, 2025
  
  abdb5999
Jul 29, 2025
- fix changes to nanda-ramesh algorithm for complex cases · aef650c1
  Jonathan Andrade authored Jul 29, 2025
  
  aef650c1
Jul 26, 2025
- changes to nanda-ramesh algorithm for complex cases · aca66fb2
  Jonathan Andrade authored Jul 26, 2025
  
  aca66fb2
- change GraphLogIntraSCR to receive a marked param, otherwise maintain functionality · 560b0c5e
  Jonathan Andrade authored Jul 26, 2025
  
  560b0c5e
- add new test with calls to l from different methods · 4e11ba31
  Jonathan Andrade authored Jul 26, 2025
  
  4e11ba31
Jul 24, 2025
- add method to find main declaration · ee600e94
  Jonathan Andrade authored Jul 24, 2025
  
  ee600e94
Jul 20, 2025
- fix to counterexample 3 · 1ec101c4
  Jonathan Andrade authored Jul 20, 2025
  
  1ec101c4
- fixes for counterexamples 1,2,5,6 · b28dc377
  Jonathan Andrade authored Jul 20, 2025
  
  b28dc377
- adding counter examples · 4c608c39
  Jonathan Andrade authored Jul 20, 2025
  
  4c608c39
- simple test cases · ae1c8dbb
  Jonathan Andrade authored Jul 20, 2025
  
  ae1c8dbb
- delete dead code from test · 0876807a
  Jonathan Andrade authored Jul 20, 2025
  
  0876807a
Jul 10, 2025
- Add citation example to README · ab624105
  Carlos Galindo authored Jul 11, 2025
  
  ab624105
Jul 09, 2025
- formatting: all classes touched on this branch · 05d5f3d6
  Carlos Galindo authored Jul 10, 2025
  
  05d5f3d6
- fix: remove topological numbers from GraphNode · fc1f38dd
  Carlos Galindo authored Jul 09, 2025
  
  fc1f38dd
- change topological numbers from GraphNode to ICFG · 02d469e1
  Jonathan Andrade authored Jul 09, 2025
  
  02d469e1
- add comment for documentation in topologicalNumbersSet created in GraphNode · 42e33b6f
  Jonathan Andrade authored Jul 09, 2025
  
  42e33b6f
- set topological numbers into ICFG · 3f27dd1a
  Jonathan Andrade authored Jul 09, 2025
  
  3f27dd1a
- fix: typos and names · ee6dea7f
  Carlos Galindo authored Jul 09, 2025
  
  ee6dea7f
- fix: remove unused types · 8d9643d1
  Carlos Galindo authored Jul 09, 2025
  
  8d9643d1
- fix: simplify callNodeProcessMap. · 0dfdf130
  Carlos Galindo authored Jul 09, 2025
  
  0dfdf130
- fix: remove or localize unnecessary sets · bab1facb
  Carlos Galindo authored Jul 09, 2025
  
  bab1facb
- fix: correction for numbering algorithm · 561258e0
  Carlos Galindo authored Jul 09, 2025
  
  561258e0
Jul 08, 2025
- set topological numbers into the IntraSCRs node · dd3857a4
  Jonathan Andrade authored Jul 08, 2025
  
  dd3857a4
- suppress warnings on unchecked casts · d7566813
  Carlos Galindo authored Jul 08, 2025
  
  d7566813
Jul 04, 2025
- finish buildISCRGraph algorithm, delete dummy nodes and processes that are not part of main process · 3ea95b25
  Jonathan Andrade authored Jul 04, 2025
  
  3ea95b25
Jul 03, 2025
- fix: make CondensedGraph#regionMap final. · ce3b2661
  Carlos Galindo authored Jul 03, 2025
  
  ce3b2661
- feat: add a vertex to region mapping to the condensed graphs. · 2276ed07
  Carlos Galindo authored Jul 03, 2025
  2276ed07
- fix: give condensations ids to enable modification. · efad178c
  Carlos Galindo authored Jul 03, 2025
  efad178c
- add mergeGraphs method · 9005b203
  Jonathan Andrade authored Jul 03, 2025
  
  9005b203
Jun 30, 2025
- fixing comments on last pr · ba1aa82f
  Jonathan Andrade authored Jun 30, 2025
  
  ba1aa82f
- first part of Nanda's algorithm: cacheTransitive method · 8b67353a
  Jonathan Andrade authored Jun 30, 2025
  
  8b67353a
Jun 27, 2025
- CallGraph modifications to make toString available · 0ff878a7
  Jonathan Andrade authored Jun 27, 2025
  
  0ff878a7
Jun 18, 2025
- feat: steps 2 and 3 of the ISCR (section 5.1) · 4aefcb42
  Carlos Galindo authored Jun 18, 2025
  
  4aefcb42
Jun 17, 2025
- fix: change comparison between call nodes when looking up call and return nodes. · 8c03d7d6
  Carlos Galindo authored Jun 17, 2025
  
  8c03d7d6
- get SRCs from graph · c12046bf
  Jonathan Andrade authored Jun 17, 2025
  
  c12046bf