Dimitris Karnikis

Reproduce: ```sh $PASH_TOP/scripts/quickcheck.sh ``` Output: ```sh confirms the necessary components for running the artifact Git commit ID: ebe37942 $PASH_TOP: /home/dkarnikis/pash pash executable: /home/dkarnikis/pash/pa.sh Inputs: ls: cannot access '/home/dkarnikis/pash/evaluation/scripts/input/*': No such...

Automate tasks on new PaSh releases

2

Automate the following tasks when a new PaSh version is released: - [x] Update docker containers - [ ] Add a new github release - [ ] Update packages for...

Fix links/entries/benchmarks https://github.com/binpash/pash/blob/main/evaluation/benchmarks/README.md

Fix all broken tests named [fix-test-*](https://github.com/binpash/pash/tree/main/evaluation/tests/agg) to have the same behavior both on bash and pash (must also work on the latest pash distro/debian)

r_split needs exported functions

1

As @tammam1998 informed me, there is a bug when using `--r_split` flag in pash and calling functions. Reproduce: ```sh extract_text() { : } extract_tex() { : } test1() { :...

Due to [recent changes](https://github.com/binpash/pash/blob/3f5fcb7fefd05f92bebcfb5fd0848df7a05c4b3a/runtime/agg/cpp/Makefile#L7) in aggregators needing gcc10+ version to compile, the following command: https://github.com/binpash/pash/blob/3f5fcb7fefd05f92bebcfb5fd0848df7a05c4b3a/scripts/distro-deps.sh#L31 fails to execute (due to missing `software-properties-common` package which is about ~70Mb). Can we do...