Commits · 130f01d92af931be28a59552f7455778129c26a5 · Program Slicing / e-Knife for Erlang with Constrained Edges · GitLab

Nov 30, 2023
- 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
Oct 25, 2023
- Benchmarks for non-recursive tabular slicing. · 4d630beb
  Carlos Galindo authored Oct 25, 2023
  4d630beb
Oct 19, 2023
- Tabular slicing (v1): non-recursive · 830c6df6
  Carlos Galindo authored Oct 19, 2023
  830c6df6
Jul 27, 2023
- Make slices interprocedural (part 2) · 52e49b10
  Carlos Galindo authored Jul 27, 2023
  52e49b10
Jul 26, 2023
- Make slices interprocedural · e9d7c3e5
  Carlos Galindo authored Jul 26, 2023
  e9d7c3e5
Jul 25, 2023
- Auto-start Erlang server connection. · db99fce8
  Carlos Galindo authored Jul 25, 2023
  db99fce8
Jul 24, 2023
- Updated benchmark system · 878d4fad
  Carlos Galindo authored Jul 24, 2023
  878d4fad
- Full support for records and code printing · ad8763fd
  Carlos Galindo authored Jul 24, 2023
  ad8763fd
Jul 13, 2023
- Benchmarks for JSS Revision 1 (erlsom) · b909e059
  Carlos Galindo authored Jul 13, 2023
  b909e059
Mar 03, 2023
- anoother mistake · 5a733894
  Carlos Galindo authored Mar 03, 2023
  
  5a733894
- yet another stupid mistake · c6b1d5ce
  Carlos Galindo authored Mar 03, 2023
  
  c6b1d5ce
- stupid variable declaration fix · 971e531b
  Carlos Galindo authored Mar 03, 2023
  
  971e531b
- Merge branch 'cargaji-master-patch-78567' into 'master' · 493ae688
  Carlos Galindo authored Mar 03, 2023
  493ae688
- check for exception when looking up slicing criterion · bf07cc6d
  Carlos Galindo authored Mar 03, 2023
  
  bf07cc6d
Feb 24, 2023
- Merge branch 'ignore-constraints' into 'master' · a8c029fc
  Carlos Galindo authored Feb 24, 2023
  a8c029fc
- add a cli flag to ignore constraints · f187fcc6
  Carlos Galindo authored Feb 24, 2023
  
  f187fcc6
- gitlab: enable web terminals · c82bd528
  Carlos Galindo authored Feb 24, 2023
  
  c82bd528
- Automatically compile on commit · 382d780b
  Carlos Galindo authored Feb 24, 2023
  
  382d780b
- EKnife: the graph shouldn't go to serperu's desktop · 440dec2a
  Carlos Galindo authored Feb 24, 2023
  
  440dec2a
Feb 23, 2023
- fix compilation error · 7439aea9
  Carlos Galindo authored Feb 23, 2023
  
  7439aea9
- Merge branch 'JSS_rainbow' into 'master' · 77b182b8
  Carlos Galindo authored Feb 23, 2023
  77b182b8
- fix merge conflicts · 6481b38d
  Carlos Galindo authored Feb 23, 2023
  
  6481b38d
- Missing Slicing Phase added · 76b73488
  Sergio Pérez authored Feb 23, 2023
  
  76b73488
- Merge branch 'JSS_rainbow' into 'master' · 2fb5c84f
  Carlos Galindo authored Feb 23, 2023
  2fb5c84f
- Merge branch 'master' into 'JSS_rainbow' · 04d23705
  Carlos Galindo authored Feb 23, 2023
  04d23705
Feb 16, 2023
- * Changes to implement the PDA for loop detection (ongoing) · 51767fa5
  Sergio Pérez authored Feb 16, 2023
  51767fa5