Commits · c82bd528aaf2265dc92d023b9fd00f8628d53eb9 · Program Slicing / e-Knife for Erlang with Constrained Edges

Browse files

Feb 24, 2023
- 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
Nov 03, 2022
- Added examples folder to run e-Knife · 3f239493
  Sergio Pérez authored Nov 03, 2022
  
  3f239493
- Example folder added · 3763afc7
  Sergio Pérez authored Nov 03, 2022
  
  3763afc7
- Fixed compilation errors due to Bencher Tests · 13872997
  Sergio Pérez authored Nov 03, 2022
  
  13872997
Jul 26, 2022
- Merge remote-tracking branch 'origin/master' · ab7bbc53
  Sergio Pérez authored Jul 26, 2022
  
  ab7bbc53
- * Added Experimental execution · 4118cc15
  Sergio Pérez authored Jul 26, 2022
  4118cc15
- Add SDGId & fix to generate empty slices if necessary · bb713dbc
  Sergio Pérez authored Jul 26, 2022
  
  bb713dbc
May 31, 2022
- Makefile zip fix for Dockerfile (ubuntu:22:04) · 84f7be1e
  Sergio Pérez authored May 31, 2022
  
  84f7be1e
Mar 11, 2022
- Update EKnife.java · bebb6456
  Sergio Pérez authored Mar 11, 2022
  
  bebb6456
- Update DotFactory.java · ad602bab
  Sergio Pérez authored Mar 11, 2022
  
  ad602bab
- Update BencherTest.java · 562ab6a0
  Sergio Pérez authored Mar 11, 2022
  
  562ab6a0
Oct 27, 2021
- Implicit restrictions added to pattern matching · 1c87ee0f
  Sergio Pérez authored Oct 26, 2021
  
  1c87ee0f
- Timed Run changes · 53c4f341
  Sergio Pérez authored Oct 26, 2021
  
  53c4f341
- * Left Recursive Grammars transformed to Right Recursive avoiding infinite T... · 87c7b159
  Sergio Pérez authored Oct 26, 2021
  87c7b159
Oct 07, 2021
- Add live URL. · 87a2afef
  Carlos Galindo authored Oct 07, 2021
  
  87a2afef
Oct 05, 2021
- Timed Run: · 947bbe37
  Sergio Pérez authored Oct 05, 2021
  947bbe37
- Timed Run: · 787ed139
  Sergio Pérez authored Oct 05, 2021
  787ed139
Oct 01, 2021
- Bencher Test Class · 9c368fec
  Sergio Pérez authored Sep 29, 2021
  
  9c368fec
- * Library function lists:nth added to summary generation · de59be5e
  Sergio Pérez authored Sep 29, 2021
  de59be5e
- New implicit restriction treatment · 2366d705
  Sergio Pérez authored Sep 28, 2021
  
  2366d705
- Ignored GrammarConstraint before AsteriskConstraint in summary generation · 3cc887ed
  Sergio Pérez authored Sep 28, 2021
  
  3cc887ed
- Structural Constraint Removal · 69a10263
  Sergio Pérez authored Sep 28, 2021
  
  69a10263
- * LiteralConstraint in intraprocedural slicing · 333afe00
  Sergio Pérez authored Sep 24, 2021
  333afe00
- * Production class created and used · 61202372
  Sergio Pérez authored Sep 23, 2021
  61202372
- * Fix Empty stack asterisk constraints missbehaviour · 243dcc9b
  Sergio Pérez authored Sep 21, 2021
  243dcc9b
Sep 30, 2021
- README: improve explanation of jinterface replacement · 7a18e18a
  Carlos Galindo authored Sep 30, 2021
  
  7a18e18a
- Optional cli options to suppress arcs from the output · 9e6bf3cb
  Carlos Galindo authored Sep 30, 2021
  9e6bf3cb
- Improved error handling when parsing fails · 301e2aa6
  Carlos Galindo authored Sep 30, 2021
  
  301e2aa6
- Allow input files to not have .erl extension · 62753294
  Carlos Galindo authored Sep 30, 2021
  
  62753294
- Reorganize README, add troubleshooting steps and simple example. · 0612a5d2
  Carlos Galindo authored Sep 30, 2021
  
  0612a5d2
Sep 29, 2021
- When saving the sliced code, allow for relative paths · 4efe56bb
  Carlos Galindo authored Sep 29, 2021
  
  4efe56bb