Konstantinos Kallas

@nvasilakis I am thinking of deleting all images on github packages (debian, ubuntu, fedora) and just keep one that is named pash and runs on Ubuntu. The docker images are...

Copying older note from #54 for completeness. ``` ## This way of fixing the problem suffers from some issues. ## ## - First of all, gathering the children after the...

Thanks for posting that. PaSh currently does not take into account the size of input files during optimization. Since `split` is not free (it needs to do a pass over...

This might not be POSIX parseable. @thurstond, @mgree any idea?

🥲

I added a [script](https://github.com/andromeda/pash/blob/master/evaluation/scripts/innefficient_auto_split.sh) that becomes slower when using PaSh. I hypothesize that it is due to the addition of the auto-split and the fact that this script is very...

Thanks a lot for this suggestion! That would be a great way to debug these issues, and we could only enable it when doing heavyweight fine-grained debugging. > Do you...

Note that this is not as straightforward as it might sound! Some notes: - It is not clear if this issue still persists or if it only happened in previous...

If we can fix #500, then we should be able to fix this one here too.

The same for `set-diff.sh` for width = 2